| ... | @@ -115,11 +115,6 @@ const MCValue = union(enum) { | ... | @@ -115,11 +115,6 @@ const MCValue = union(enum) { |
| 115 | /// A pointer-sized integer that fits in a register. | 115 | /// A pointer-sized integer that fits in a register. |
| 116 | /// If the type is a pointer, this is the pointer address in virtual address space. | 116 | /// If the type is a pointer, this is the pointer address in virtual address space. |
| 117 | immediate: u64, | 117 | immediate: u64, |
| 118 | /// The constant was emitted into the code, at this offset. | | |
| 119 | /// If the type is a pointer, it means the pointer address is embedded in the code. | | |
| 120 | embedded_in_code: usize, | | |
| 121 | /// The value is a pointer to a constant which was emitted into the code, at this offset. | | |
| 122 | ptr_embedded_in_code: usize, | | |
| 123 | /// The value is in a target-specific register. | 118 | /// The value is in a target-specific register. |
| 124 | register: Register, | 119 | register: Register, |
| 125 | /// The value is in memory at a hard-coded address. | 120 | /// The value is in memory at a hard-coded address. |
| ... | @@ -147,7 +142,7 @@ const MCValue = union(enum) { | ... | @@ -147,7 +142,7 @@ const MCValue = union(enum) { |
| 147 | | 142 | |
| 148 | fn isMemory(mcv: MCValue) bool { | 143 | fn isMemory(mcv: MCValue) bool { |
| 149 | return switch (mcv) { | 144 | return switch (mcv) { |
| 150 | .embedded_in_code, .memory, .stack_offset => true, | 145 | .memory, .stack_offset => true, |
| 151 | else => false, | 146 | else => false, |
| 152 | }; | 147 | }; |
| 153 | } | 148 | } |
| ... | @@ -166,12 +161,10 @@ const MCValue = union(enum) { | ... | @@ -166,12 +161,10 @@ const MCValue = union(enum) { |
| 166 | .dead => unreachable, | 161 | .dead => unreachable, |
| 167 | | 162 | |
| 168 | .immediate, | 163 | .immediate, |
| 169 | .embedded_in_code, | | |
| 170 | .memory, | 164 | .memory, |
| 171 | .compare_flags_unsigned, | 165 | .compare_flags_unsigned, |
| 172 | .compare_flags_signed, | 166 | .compare_flags_signed, |
| 173 | .ptr_stack_offset, | 167 | .ptr_stack_offset, |
| 174 | .ptr_embedded_in_code, | | |
| 175 | .undef, | 168 | .undef, |
| 176 | => false, | 169 | => false, |
| 177 | | 170 | |
| ... | @@ -1966,12 +1959,6 @@ fn load(self: *Self, dst_mcv: MCValue, ptr: MCValue, ptr_ty: Type) InnerError!vo | ... | @@ -1966,12 +1959,6 @@ fn load(self: *Self, dst_mcv: MCValue, ptr: MCValue, ptr_ty: Type) InnerError!vo |
| 1966 | .compare_flags_signed => unreachable, | 1959 | .compare_flags_signed => unreachable, |
| 1967 | .immediate => |imm| try self.setRegOrMem(elem_ty, dst_mcv, .{ .memory = imm }), | 1960 | .immediate => |imm| try self.setRegOrMem(elem_ty, dst_mcv, .{ .memory = imm }), |
| 1968 | .ptr_stack_offset => |off| try self.setRegOrMem(elem_ty, dst_mcv, .{ .stack_offset = off }), | 1961 | .ptr_stack_offset => |off| try self.setRegOrMem(elem_ty, dst_mcv, .{ .stack_offset = off }), |
| 1969 | .ptr_embedded_in_code => |off| { | | |
| 1970 | try self.setRegOrMem(elem_ty, dst_mcv, .{ .embedded_in_code = off }); | | |
| 1971 | }, | | |
| 1972 | .embedded_in_code => { | | |
| 1973 | return self.fail("TODO implement loading from MCValue.embedded_in_code", .{}); | | |
| 1974 | }, | | |
| 1975 | .register => |addr_reg| { | 1962 | .register => |addr_reg| { |
| 1976 | self.register_manager.freezeRegs(&.{addr_reg}); | 1963 | self.register_manager.freezeRegs(&.{addr_reg}); |
| 1977 | defer self.register_manager.unfreezeRegs(&.{addr_reg}); | 1964 | defer self.register_manager.unfreezeRegs(&.{addr_reg}); |
| ... | @@ -1980,7 +1967,6 @@ fn load(self: *Self, dst_mcv: MCValue, ptr: MCValue, ptr_ty: Type) InnerError!vo | ... | @@ -1980,7 +1967,6 @@ fn load(self: *Self, dst_mcv: MCValue, ptr: MCValue, ptr_ty: Type) InnerError!vo |
| 1980 | .dead => unreachable, | 1967 | .dead => unreachable, |
| 1981 | .undef => unreachable, | 1968 | .undef => unreachable, |
| 1982 | .compare_flags_signed, .compare_flags_unsigned => unreachable, | 1969 | .compare_flags_signed, .compare_flags_unsigned => unreachable, |
| 1983 | .embedded_in_code => unreachable, | | |
| 1984 | .register => |dst_reg| { | 1970 | .register => |dst_reg| { |
| 1985 | try self.genLdrRegister(dst_reg, addr_reg, elem_size); | 1971 | try self.genLdrRegister(dst_reg, addr_reg, elem_size); |
| 1986 | }, | 1972 | }, |
| ... | @@ -2243,12 +2229,6 @@ fn store(self: *Self, ptr: MCValue, value: MCValue, ptr_ty: Type, value_ty: Type | ... | @@ -2243,12 +2229,6 @@ fn store(self: *Self, ptr: MCValue, value: MCValue, ptr_ty: Type, value_ty: Type |
| 2243 | .ptr_stack_offset => |off| { | 2229 | .ptr_stack_offset => |off| { |
| 2244 | try self.genSetStack(value_ty, off, value); | 2230 | try self.genSetStack(value_ty, off, value); |
| 2245 | }, | 2231 | }, |
| 2246 | .ptr_embedded_in_code => |off| { | | |
| 2247 | try self.setRegOrMem(value_ty, .{ .embedded_in_code = off }, value); | | |
| 2248 | }, | | |
| 2249 | .embedded_in_code => { | | |
| 2250 | return self.fail("TODO implement storing to MCValue.embedded_in_code", .{}); | | |
| 2251 | }, | | |
| 2252 | .register => |addr_reg| { | 2232 | .register => |addr_reg| { |
| 2253 | self.register_manager.freezeRegs(&.{addr_reg}); | 2233 | self.register_manager.freezeRegs(&.{addr_reg}); |
| 2254 | defer self.register_manager.unfreezeRegs(&.{addr_reg}); | 2234 | defer self.register_manager.unfreezeRegs(&.{addr_reg}); |
| ... | @@ -2461,7 +2441,6 @@ fn airCall(self: *Self, inst: Air.Inst.Index, modifier: std.builtin.CallOptions. | ... | @@ -2461,7 +2441,6 @@ fn airCall(self: *Self, inst: Air.Inst.Index, modifier: std.builtin.CallOptions. |
| 2461 | .immediate => unreachable, | 2441 | .immediate => unreachable, |
| 2462 | .unreach => unreachable, | 2442 | .unreach => unreachable, |
| 2463 | .dead => unreachable, | 2443 | .dead => unreachable, |
| 2464 | .embedded_in_code => unreachable, | | |
| 2465 | .memory => unreachable, | 2444 | .memory => unreachable, |
| 2466 | .compare_flags_signed => unreachable, | 2445 | .compare_flags_signed => unreachable, |
| 2467 | .compare_flags_unsigned => unreachable, | 2446 | .compare_flags_unsigned => unreachable, |
| ... | @@ -2477,9 +2456,6 @@ fn airCall(self: *Self, inst: Air.Inst.Index, modifier: std.builtin.CallOptions. | ... | @@ -2477,9 +2456,6 @@ fn airCall(self: *Self, inst: Air.Inst.Index, modifier: std.builtin.CallOptions. |
| 2477 | .ptr_stack_offset => { | 2456 | .ptr_stack_offset => { |
| 2478 | return self.fail("TODO implement calling with MCValue.ptr_stack_offset arg", .{}); | 2457 | return self.fail("TODO implement calling with MCValue.ptr_stack_offset arg", .{}); |
| 2479 | }, | 2458 | }, |
| 2480 | .ptr_embedded_in_code => { | | |
| 2481 | return self.fail("TODO implement calling with MCValue.ptr_embedded_in_code arg", .{}); | | |
| 2482 | }, | | |
| 2483 | } | 2459 | } |
| 2484 | } | 2460 | } |
| 2485 | | 2461 | |
| ... | @@ -3337,15 +3313,10 @@ fn genSetStack(self: *Self, ty: Type, stack_offset: u32, mcv: MCValue) InnerErro | ... | @@ -3337,15 +3313,10 @@ fn genSetStack(self: *Self, ty: Type, stack_offset: u32, mcv: MCValue) InnerErro |
| 3337 | .compare_flags_signed, | 3313 | .compare_flags_signed, |
| 3338 | .immediate, | 3314 | .immediate, |
| 3339 | .ptr_stack_offset, | 3315 | .ptr_stack_offset, |
| 3340 | .ptr_embedded_in_code, | | |
| 3341 | => { | 3316 | => { |
| 3342 | const reg = try self.copyToTmpRegister(ty, mcv); | 3317 | const reg = try self.copyToTmpRegister(ty, mcv); |
| 3343 | return self.genSetStack(ty, stack_offset, MCValue{ .register = reg }); | 3318 | return self.genSetStack(ty, stack_offset, MCValue{ .register = reg }); |
| 3344 | }, | 3319 | }, |
| 3345 | .embedded_in_code => |code_offset| { | | |
| 3346 | _ = code_offset; | | |
| 3347 | return self.fail("TODO implement set stack variable from embedded_in_code", .{}); | | |
| 3348 | }, | | |
| 3349 | .register => |reg| { | 3320 | .register => |reg| { |
| 3350 | const adj_off = stack_offset + abi_size; | 3321 | const adj_off = stack_offset + abi_size; |
| 3351 | | 3322 | |
| ... | @@ -3448,7 +3419,6 @@ fn genSetStack(self: *Self, ty: Type, stack_offset: u32, mcv: MCValue) InnerErro | ... | @@ -3448,7 +3419,6 @@ fn genSetStack(self: *Self, ty: Type, stack_offset: u32, mcv: MCValue) InnerErro |
| 3448 | fn genSetReg(self: *Self, ty: Type, reg: Register, mcv: MCValue) InnerError!void { | 3419 | fn genSetReg(self: *Self, ty: Type, reg: Register, mcv: MCValue) InnerError!void { |
| 3449 | switch (mcv) { | 3420 | switch (mcv) { |
| 3450 | .dead => unreachable, | 3421 | .dead => unreachable, |
| 3451 | .ptr_embedded_in_code => unreachable, | | |
| 3452 | .unreach, .none => return, // Nothing to do. | 3422 | .unreach, .none => return, // Nothing to do. |
| 3453 | .undef => { | 3423 | .undef => { |
| 3454 | if (!self.wantSafety()) | 3424 | if (!self.wantSafety()) |
| ... | @@ -3586,7 +3556,6 @@ fn genSetReg(self: *Self, ty: Type, reg: Register, mcv: MCValue) InnerError!void | ... | @@ -3586,7 +3556,6 @@ fn genSetReg(self: *Self, ty: Type, reg: Register, mcv: MCValue) InnerError!void |
| 3586 | else => unreachable, | 3556 | else => unreachable, |
| 3587 | } | 3557 | } |
| 3588 | }, | 3558 | }, |
| 3589 | else => return self.fail("TODO implement genSetReg for aarch64 {}", .{mcv}), | | |
| 3590 | } | 3559 | } |
| 3591 | } | 3560 | } |
| 3592 | | 3561 | |