STATIC_ASSERT to forbid device structs 4 GiB or larger

Author: lwaern-intel

py/dml/c_backend.py

@@ -268,6 +268,8 @@ def generate_hfile(device, headers, filename):
     reset_line_directive()
     out('\n')
 
+    out('#include <simics/util/help-macros.h>\n')
+    out('#include <stdint.h>\n')
     out('#include "'+os.path.basename(structfilename)+'"\n\n')
 
     for name in dml.globals.traits:
@@ -349,6 +351,10 @@ def generate_hfile(device, headers, filename):
 
     print_device_substruct(device)
 
+    out('// allows generated code to store device struct offsets in uint32,\n')
+    out('// which saves space\n')
+    out(f'STATIC_ASSERT(sizeof(struct {crep.cname(device)}) <= UINT32_MAX);\n')
+
     if dml.globals.log_groups:
         i = 1
         for g in dml.globals.log_groups: