mlokis/hblang
2
1
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

shrinking teh type repr to 32 bits

Browse source 
Signed-off-by: Jakub Doka <jakub.doka2@gmail.com>
This commit is contained in:
Jakub Doka 2025-03-17 18:42:39 +01:00
parent a23c48d29e
commit 6b83b5b320
No known key found for this signature in database
GPG key ID: C6E9A89936B8C143
2 changed files with 10 additions and 7 deletions

10
src/frontend/Codegen.zig
View file

@ -1350,8 +1350,10 @@ pub fn emit(self: *Codegen, ctx: Ctx, expr: Ast.Id) EmitError!Value {
const prefix = 3;
const args = self.bl.allocCallArgs(tmp.arena, prefix + e.captures.len() * 2, 1);
@memset(args.params, .int);
@memset(args.returns, .int);
@memset(args.params, self.abiCata(.type).ByValue);
args.params[0] = .int;
args.params[2] = .int;
args.returns[0] = self.abiCata(.type).ByValue;
args.arg_slots[0] = self.bl.addIntImm(.int, @intFromEnum(@field(Comptime.InteruptCode, @tagName(t))));
args.arg_slots[1] = self.emitTyConst(self.parent_scope.perm()).id.Value;
@ -1634,7 +1636,7 @@ pub fn emitTyped(self: *Codegen, ctx: Ctx, ty: Types.Id, expr: Ast.Id) !Value {
}
pub fn emitTyConst(self: *Codegen, ty: Types.Id) Value {
return .mkv(.type, self.bl.addIntImm(.int, @intCast(@as(isize, @intFromEnum(ty)))));
return .mkv(.type, self.bl.addIntImm(self.abiCata(.type).ByValue, @intCast(@as(isize, @intFromEnum(ty)))));
}
pub fn unwrapTyConst(self: *Codegen, pos: anytype, cnst: *Value) !Types.Id {
@ -1691,7 +1693,7 @@ pub fn resolveGlobal(self: *Codegen, name: []const u8, bsty: Types.Id, ast: *con
const global = self.types.store.get(global_id).*;
if (path.len != 0) {
if (global.ty != .type) return self.report(vari.value, "expected a global holding a type, {} is not", .{global.ty});
var cur: Types.Id = @enumFromInt(@as(u64, @bitCast(global.data[0..8].*)));
var cur: Types.Id = @enumFromInt(@as(Types.IdRepr, @bitCast(global.data[0..@sizeOf(Types.Id)].*)));
for (path) |ps| {
var vl = try self.lookupScopeItem(ps, cur, ast.tokenSrc(ps.index));
cur = try self.unwrapTyConst(ps, &vl);

7
src/frontend/Types.zig
View file

@ -265,8 +265,9 @@ pub const Id = enum(IdRepr) {
.void => 0,
.u8, .i8, .bool => 1,
.u16, .i16 => 2,
.type => @sizeOf(Id),
.u32, .i32, .f32 => 4,
.uint, .int, .f64, .type, .u64, .i64 => 8,
.uint, .int, .f64, .u64, .i64 => 8,
},
.Pointer => 8,
.Enum => |e| {
@ -469,8 +470,8 @@ pub const Abi = enum {
.void => return .Imaginary,
.u8, .i8, .bool => .i8,
.u16, .i16 => .i16,
.u32, .i32 => .i32,
.uint, .int, .type, .i64, .u64 => .int,
.u32, .type, .i32 => .i32,
.uint, .int, .i64, .u64 => .int,
.f32 => .f32,
.f64 => .f64,
} },