aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorJakub Konka <kubkon@jakubkonka.com>2022-02-28 18:19:25 +0100
committerJakub Konka <kubkon@jakubkonka.com>2022-02-28 23:20:05 +0100
commit12cdb36c5ba1fd9dfa5985d36a2f5955528c2de7 (patch)
treeb28b98a8c43ad1a81eeac26e2a07d7acbb38ebf9 /src
parent05431d7c4a8cb20a3a70553ef0d0f8ed00a05402 (diff)
downloadzig-12cdb36c5ba1fd9dfa5985d36a2f5955528c2de7.tar.gz
zig-12cdb36c5ba1fd9dfa5985d36a2f5955528c2de7.zip
codegen: fix padding calculation for error unions when lowering
* do not track `rdi` register before `call` inst, but instead freeze it from further use, until `call` has been realised * pass more error union tests
Diffstat (limited to 'src')
-rw-r--r--src/arch/x86_64/CodeGen.zig4
-rw-r--r--src/codegen.zig45
2 files changed, 21 insertions, 28 deletions
diff --git a/src/arch/x86_64/CodeGen.zig b/src/arch/x86_64/CodeGen.zig
index 6bfea043c6..4fcd57161c 100644
--- a/src/arch/x86_64/CodeGen.zig
+++ b/src/arch/x86_64/CodeGen.zig
@@ -3167,11 +3167,13 @@ fn airCall(self: *Self, inst: Air.Inst.Index) !void {
const ret_abi_align = @intCast(u32, ret_ty.abiAlignment(self.target.*));
const stack_offset = @intCast(i32, try self.allocMem(inst, ret_abi_size, ret_abi_align));
- try self.register_manager.getReg(.rdi, inst);
+ try self.register_manager.getReg(.rdi, null);
+ self.register_manager.freezeRegs(&.{.rdi});
try self.genSetReg(Type.usize, .rdi, .{ .ptr_stack_offset = stack_offset });
info.return_value.stack_offset = stack_offset;
}
+ defer if (info.return_value == .stack_offset) self.register_manager.unfreezeRegs(&.{.rdi});
for (args) |arg, arg_i| {
const mc_arg = info.args[arg_i];
diff --git a/src/codegen.zig b/src/codegen.zig
index 2484cb0e59..d72c2efb5b 100644
--- a/src/codegen.zig
+++ b/src/codegen.zig
@@ -553,31 +553,21 @@ pub fn generateSymbol(
const target = bin_file.options.target;
const abi_align = typed_value.ty.abiAlignment(target);
- {
- const error_val = if (!is_payload) typed_value.val else Value.initTag(.zero);
- const begin = code.items.len;
- switch (try generateSymbol(bin_file, parent_atom_index, src_loc, .{
- .ty = error_ty,
- .val = error_val,
- }, code, debug_output)) {
- .appended => {},
- .externally_managed => |external_slice| {
- code.appendSliceAssumeCapacity(external_slice);
- },
- .fail => |em| return Result{ .fail = em },
- }
- const unpadded_end = code.items.len - begin;
- const padded_end = mem.alignForwardGeneric(u64, unpadded_end, abi_align);
- const padding = try math.cast(usize, padded_end - unpadded_end);
-
- if (padding > 0) {
- try code.writer().writeByteNTimes(0, padding);
- }
+ const error_val = if (!is_payload) typed_value.val else Value.initTag(.zero);
+ const begin = code.items.len;
+ switch (try generateSymbol(bin_file, parent_atom_index, src_loc, .{
+ .ty = error_ty,
+ .val = error_val,
+ }, code, debug_output)) {
+ .appended => {},
+ .externally_managed => |external_slice| {
+ code.appendSliceAssumeCapacity(external_slice);
+ },
+ .fail => |em| return Result{ .fail = em },
}
if (payload_ty.hasRuntimeBits()) {
const payload_val = if (typed_value.val.castTag(.eu_payload)) |val| val.data else Value.initTag(.undef);
- const begin = code.items.len;
switch (try generateSymbol(bin_file, parent_atom_index, src_loc, .{
.ty = payload_ty,
.val = payload_val,
@@ -588,13 +578,14 @@ pub fn generateSymbol(
},
.fail => |em| return Result{ .fail = em },
}
- const unpadded_end = code.items.len - begin;
- const padded_end = mem.alignForwardGeneric(u64, unpadded_end, abi_align);
- const padding = try math.cast(usize, padded_end - unpadded_end);
+ }
- if (padding > 0) {
- try code.writer().writeByteNTimes(0, padding);
- }
+ const unpadded_end = code.items.len - begin;
+ const padded_end = mem.alignForwardGeneric(u64, unpadded_end, abi_align);
+ const padding = try math.cast(usize, padded_end - unpadded_end);
+
+ if (padding > 0) {
+ try code.writer().writeByteNTimes(0, padding);
}
return Result{ .appended = {} };