Ditto for ELF

Author: brandtbucher

Tools/jit/_schema.py

@@ -102,6 +102,7 @@ class ELFSection(typing.TypedDict):
     Info: int
     Relocations: list[dict[typing.Literal["Relocation"], ELFRelocation]]
     SectionData: dict[typing.Literal["Bytes"], list[int]]
+    Size: int
     Symbols: list[dict[typing.Literal["Symbol"], _ELFSymbol]]
     Type: dict[typing.Literal["Name"], str]
 

Tools/jit/_targets.py

@@ -390,7 +390,7 @@ def _handle_section(
                 relocation = wrapped_relocation["Relocation"]
                 hole = self._handle_relocation(base, relocation, stencil.body)
                 stencil.holes.append(hole)
-        elif section_type == "SHT_PROGBITS":
+        elif section_type in {"SHT_PROGBITS", "SHT_NOBITS"}:
             if "SHF_ALLOC" not in flags:
                 return
             if "SHF_EXECINSTR" in flags:
@@ -399,7 +399,11 @@ def _handle_section(
             else:
                 value = _stencils.HoleValue.DATA
                 stencil = group.data
-            section_data_bytes = section["SectionData"]["Bytes"]
+            if section_type == "SHT_PROGBITS":
+                section_data_bytes = section["SectionData"]["Bytes"]
+            else:
+                # Zeroed BSS data:
+                section_data_bytes = [0] * section["Size"]
             if "SHF_WRITE" in flags:
                 assert value is _stencils.HoleValue.DATA
                 value = _stencils.HoleValue.WRITABLE