mirror of
https://codeberg.org/ziglang/zig.git
synced 2025-12-06 13:54:21 +00:00
stage2 RISCV64: remove MCValue.embedded_in_code
This commit is contained in:
parent
ad5770eba4
commit
956d9f4ce0
1 changed files with 17 additions and 53 deletions
|
|
@ -111,11 +111,6 @@ const MCValue = union(enum) {
|
||||||
/// A pointer-sized integer that fits in a register.
|
/// A pointer-sized integer that fits in a register.
|
||||||
/// If the type is a pointer, this is the pointer address in virtual address space.
|
/// If the type is a pointer, this is the pointer address in virtual address space.
|
||||||
immediate: u64,
|
immediate: u64,
|
||||||
/// The constant was emitted into the code, at this offset.
|
|
||||||
/// If the type is a pointer, it means the pointer address is embedded in the code.
|
|
||||||
embedded_in_code: usize,
|
|
||||||
/// The value is a pointer to a constant which was emitted into the code, at this offset.
|
|
||||||
ptr_embedded_in_code: usize,
|
|
||||||
/// The value is in a target-specific register.
|
/// The value is in a target-specific register.
|
||||||
register: Register,
|
register: Register,
|
||||||
/// The value is in memory at a hard-coded address.
|
/// The value is in memory at a hard-coded address.
|
||||||
|
|
@ -129,7 +124,7 @@ const MCValue = union(enum) {
|
||||||
|
|
||||||
fn isMemory(mcv: MCValue) bool {
|
fn isMemory(mcv: MCValue) bool {
|
||||||
return switch (mcv) {
|
return switch (mcv) {
|
||||||
.embedded_in_code, .memory, .stack_offset => true,
|
.memory, .stack_offset => true,
|
||||||
else => false,
|
else => false,
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
@ -148,10 +143,8 @@ const MCValue = union(enum) {
|
||||||
.dead => unreachable,
|
.dead => unreachable,
|
||||||
|
|
||||||
.immediate,
|
.immediate,
|
||||||
.embedded_in_code,
|
|
||||||
.memory,
|
.memory,
|
||||||
.ptr_stack_offset,
|
.ptr_stack_offset,
|
||||||
.ptr_embedded_in_code,
|
|
||||||
.undef,
|
.undef,
|
||||||
=> false,
|
=> false,
|
||||||
|
|
||||||
|
|
@ -1279,12 +1272,6 @@ fn load(self: *Self, dst_mcv: MCValue, ptr: MCValue, ptr_ty: Type) InnerError!vo
|
||||||
.dead => unreachable,
|
.dead => unreachable,
|
||||||
.immediate => |imm| try self.setRegOrMem(elem_ty, dst_mcv, .{ .memory = imm }),
|
.immediate => |imm| try self.setRegOrMem(elem_ty, dst_mcv, .{ .memory = imm }),
|
||||||
.ptr_stack_offset => |off| try self.setRegOrMem(elem_ty, dst_mcv, .{ .stack_offset = off }),
|
.ptr_stack_offset => |off| try self.setRegOrMem(elem_ty, dst_mcv, .{ .stack_offset = off }),
|
||||||
.ptr_embedded_in_code => |off| {
|
|
||||||
try self.setRegOrMem(elem_ty, dst_mcv, .{ .embedded_in_code = off });
|
|
||||||
},
|
|
||||||
.embedded_in_code => {
|
|
||||||
return self.fail("TODO implement loading from MCValue.embedded_in_code", .{});
|
|
||||||
},
|
|
||||||
.register => {
|
.register => {
|
||||||
return self.fail("TODO implement loading from MCValue.register", .{});
|
return self.fail("TODO implement loading from MCValue.register", .{});
|
||||||
},
|
},
|
||||||
|
|
@ -1327,27 +1314,19 @@ fn airLoad(self: *Self, inst: Air.Inst.Index) !void {
|
||||||
return self.finishAir(inst, result, .{ ty_op.operand, .none, .none });
|
return self.finishAir(inst, result, .{ ty_op.operand, .none, .none });
|
||||||
}
|
}
|
||||||
|
|
||||||
fn airStore(self: *Self, inst: Air.Inst.Index) !void {
|
fn store(self: *Self, ptr: MCValue, value: MCValue, ptr_ty: Type, value_ty: Type) !void {
|
||||||
const bin_op = self.air.instructions.items(.data)[inst].bin_op;
|
_ = ptr_ty;
|
||||||
const ptr = try self.resolveInst(bin_op.lhs);
|
|
||||||
const value = try self.resolveInst(bin_op.rhs);
|
|
||||||
const elem_ty = self.air.typeOf(bin_op.rhs);
|
|
||||||
switch (ptr) {
|
switch (ptr) {
|
||||||
.none => unreachable,
|
.none => unreachable,
|
||||||
.undef => unreachable,
|
.undef => unreachable,
|
||||||
.unreach => unreachable,
|
.unreach => unreachable,
|
||||||
.dead => unreachable,
|
.dead => unreachable,
|
||||||
.immediate => |imm| {
|
.immediate => |imm| {
|
||||||
try self.setRegOrMem(elem_ty, .{ .memory = imm }, value);
|
try self.setRegOrMem(value_ty, .{ .memory = imm }, value);
|
||||||
},
|
},
|
||||||
.ptr_stack_offset => |off| {
|
.ptr_stack_offset => |off| {
|
||||||
try self.genSetStack(elem_ty, off, value);
|
try self.genSetStack(value_ty, off, value);
|
||||||
},
|
|
||||||
.ptr_embedded_in_code => |off| {
|
|
||||||
try self.setRegOrMem(elem_ty, .{ .embedded_in_code = off }, value);
|
|
||||||
},
|
|
||||||
.embedded_in_code => {
|
|
||||||
return self.fail("TODO implement storing to MCValue.embedded_in_code", .{});
|
|
||||||
},
|
},
|
||||||
.register => {
|
.register => {
|
||||||
return self.fail("TODO implement storing to MCValue.register", .{});
|
return self.fail("TODO implement storing to MCValue.register", .{});
|
||||||
|
|
@ -1359,6 +1338,17 @@ fn airStore(self: *Self, inst: Air.Inst.Index) !void {
|
||||||
return self.fail("TODO implement storing to MCValue.stack_offset", .{});
|
return self.fail("TODO implement storing to MCValue.stack_offset", .{});
|
||||||
},
|
},
|
||||||
}
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fn airStore(self: *Self, inst: Air.Inst.Index) !void {
|
||||||
|
const bin_op = self.air.instructions.items(.data)[inst].bin_op;
|
||||||
|
const ptr = try self.resolveInst(bin_op.lhs);
|
||||||
|
const value = try self.resolveInst(bin_op.rhs);
|
||||||
|
const ptr_ty = self.air.typeOf(bin_op.lhs);
|
||||||
|
const value_ty = self.air.typeOf(bin_op.rhs);
|
||||||
|
|
||||||
|
try self.store(ptr, value, ptr_ty, value_ty);
|
||||||
|
|
||||||
return self.finishAir(inst, .dead, .{ bin_op.lhs, bin_op.rhs, .none });
|
return self.finishAir(inst, .dead, .{ bin_op.lhs, bin_op.rhs, .none });
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
@ -1504,7 +1494,6 @@ fn airCall(self: *Self, inst: Air.Inst.Index, modifier: std.builtin.CallOptions.
|
||||||
.immediate => unreachable,
|
.immediate => unreachable,
|
||||||
.unreach => unreachable,
|
.unreach => unreachable,
|
||||||
.dead => unreachable,
|
.dead => unreachable,
|
||||||
.embedded_in_code => unreachable,
|
|
||||||
.memory => unreachable,
|
.memory => unreachable,
|
||||||
.register => |reg| {
|
.register => |reg| {
|
||||||
try self.register_manager.getReg(reg, null);
|
try self.register_manager.getReg(reg, null);
|
||||||
|
|
@ -1516,9 +1505,6 @@ fn airCall(self: *Self, inst: Air.Inst.Index, modifier: std.builtin.CallOptions.
|
||||||
.ptr_stack_offset => {
|
.ptr_stack_offset => {
|
||||||
return self.fail("TODO implement calling with MCValue.ptr_stack_offset arg", .{});
|
return self.fail("TODO implement calling with MCValue.ptr_stack_offset arg", .{});
|
||||||
},
|
},
|
||||||
.ptr_embedded_in_code => {
|
|
||||||
return self.fail("TODO implement calling with MCValue.ptr_embedded_in_code arg", .{});
|
|
||||||
},
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
@ -2043,7 +2029,6 @@ fn genSetReg(self: *Self, ty: Type, reg: Register, mcv: MCValue) InnerError!void
|
||||||
switch (mcv) {
|
switch (mcv) {
|
||||||
.dead => unreachable,
|
.dead => unreachable,
|
||||||
.ptr_stack_offset => unreachable,
|
.ptr_stack_offset => unreachable,
|
||||||
.ptr_embedded_in_code => unreachable,
|
|
||||||
.unreach, .none => return, // Nothing to do.
|
.unreach, .none => return, // Nothing to do.
|
||||||
.undef => {
|
.undef => {
|
||||||
if (!self.wantSafety())
|
if (!self.wantSafety())
|
||||||
|
|
@ -2312,27 +2297,6 @@ fn getResolvedInstValue(self: *Self, inst: Air.Inst.Index) MCValue {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
/// If the MCValue is an immediate, and it does not fit within this type,
|
|
||||||
/// we put it in a register.
|
|
||||||
/// A potential opportunity for future optimization here would be keeping track
|
|
||||||
/// of the fact that the instruction is available both as an immediate
|
|
||||||
/// and as a register.
|
|
||||||
fn limitImmediateType(self: *Self, operand: Air.Inst.Ref, comptime T: type) !MCValue {
|
|
||||||
const mcv = try self.resolveInst(operand);
|
|
||||||
const ti = @typeInfo(T).Int;
|
|
||||||
switch (mcv) {
|
|
||||||
.immediate => |imm| {
|
|
||||||
// This immediate is unsigned.
|
|
||||||
const U = std.meta.Int(.unsigned, ti.bits - @boolToInt(ti.signedness == .signed));
|
|
||||||
if (imm >= math.maxInt(U)) {
|
|
||||||
return MCValue{ .register = try self.copyToTmpRegister(Type.initTag(.usize), mcv) };
|
|
||||||
}
|
|
||||||
},
|
|
||||||
else => {},
|
|
||||||
}
|
|
||||||
return mcv;
|
|
||||||
}
|
|
||||||
|
|
||||||
fn lowerDeclRef(self: *Self, tv: TypedValue, decl: *Module.Decl) InnerError!MCValue {
|
fn lowerDeclRef(self: *Self, tv: TypedValue, decl: *Module.Decl) InnerError!MCValue {
|
||||||
const ptr_bits = self.target.cpu.arch.ptrBitWidth();
|
const ptr_bits = self.target.cpu.arch.ptrBitWidth();
|
||||||
const ptr_bytes: u64 = @divExact(ptr_bits, 8);
|
const ptr_bytes: u64 = @divExact(ptr_bits, 8);
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue