Print relocs

main.py

@@ -96,6 +96,18 @@ def compile(compiler, flags, source):
     # Filter out .text
     json_relocs = [r for r in json_relocs if r["Symbol"]["Name"] != ".text"]
 
+    def reloc_type2size(s):
+        match s:
+            case "R_X86_64_PC32":
+                return 32
+            case "R_X86_64_PLT32":
+                return 32
+            case _:
+                assert False, f"Unknown reloc {s}"
+
+    relocs = [(r["Offset"], reloc_type2size(r["Type"]["Name"])) for r in json_relocs]
+    print(f"relocs: {relocs}")
+
     if result.returncode == 0:
         return json_relocs, compiled_bytes, compile_output, disassembly
     else: