diff options
| author | Jakub Konka <kubkon@jakubkonka.com> | 2022-02-28 18:19:25 +0100 |
|---|---|---|
| committer | Jakub Konka <kubkon@jakubkonka.com> | 2022-02-28 23:20:05 +0100 |
| commit | 12cdb36c5ba1fd9dfa5985d36a2f5955528c2de7 (patch) | |
| tree | b28b98a8c43ad1a81eeac26e2a07d7acbb38ebf9 /src | |
| parent | 05431d7c4a8cb20a3a70553ef0d0f8ed00a05402 (diff) | |
| download | zig-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.zig | 4 | ||||
| -rw-r--r-- | src/codegen.zig | 45 |
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 = {} }; |
