Commit 3f08073f7d2f0cd8aa086f1618a74106bf35086d | zig

author	Matthew Lugg <mlugg@mlugg.co.uk> 2025-12-20 19:01:43+00:00
committer	Matthew Lugg <mlugg@mlugg.co.uk> 2025-12-21 13:07:00+00:00
log	3f08073f7d2f0cd8aa086f1618a74106bf35086d
tree	9346e16f57883ffb87201fd1e8148d79622ec47b
parent	b27bdd5af0976d0b94819d6dda557d0dbb8f0d98
signature	Commit is signed but in an unrecognized format.

x86_64: hack around more OPV bugs

I would just fix this in Sema if it were easy to do so, but this is more
like a (minor) AIR data design issue than a straightforward Sema bug.

1 files changed, 8 insertions(+), 6 deletions(-)

src
- codegen
  - x86_64
    CodeGen.zig

src/codegen/x86_64/CodeGen.zig+8-6

 @@ -171444,12 +171444,14 @@ fn genBody(cg: *CodeGen, body: []const Air.Inst.Index) InnerError!void {
                             const elem_dies = bt.feed();
                             if (tuple_type.values.get(ip)[field_index] != .none) continue;
                             const field_type = Type.fromInterned(tuple_type.types.get(ip)[field_index]);
-                            elem_disp = @intCast(field_type.abiAlignment(zcu).forward(elem_disp));
+                            if (!hack_around_sema_opv_bugs or field_type.hasRuntimeBitsIgnoreComptime(zcu)) {
-                            var elem = try cg.tempFromOperand(elem_ref, elem_dies);
+                                elem_disp = @intCast(field_type.abiAlignment(zcu).forward(elem_disp));
-                            try res.write(&elem, .{ .disp = elem_disp }, cg);
+                                var elem = try cg.tempFromOperand(elem_ref, elem_dies);
-                            try elem.die(cg);
+                                try res.write(&elem, .{ .disp = elem_disp }, cg);
-                            try cg.resetTemps(reset_index);
+                                try elem.die(cg);
-                            elem_disp += @intCast(field_type.abiSize(zcu));
+                                try cg.resetTemps(reset_index);
+                                elem_disp += @intCast(field_type.abiSize(zcu));
+                            }
                         }
                     },
                     else => return cg.fail("failed to select {s} {f}", .{