diff options
| author | Andrew Kelley <andrew@ziglang.org> | 2023-10-23 03:19:03 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-23 03:19:03 -0400 |
| commit | 94d61ce964cd23fcf46dabeddc19837b4dd3209f (patch) | |
| tree | 00fc6af0a362d7d5744744e3f5e8008136957401 /src/codegen | |
| parent | b82459fa435c366c6af0fee96c3d9b95c24078f9 (diff) | |
| parent | ed82e4f7ac057286444135dda79fb7c6a579573a (diff) | |
| download | zig-94d61ce964cd23fcf46dabeddc19837b4dd3209f.tar.gz zig-94d61ce964cd23fcf46dabeddc19837b4dd3209f.zip | |
Merge pull request #17651 from Vexu/error-limit
Make distinct error limit configurable (attempt #2)
Diffstat (limited to 'src/codegen')
| -rw-r--r-- | src/codegen/c.zig | 33 | ||||
| -rw-r--r-- | src/codegen/llvm.zig | 103 | ||||
| -rw-r--r-- | src/codegen/llvm/Builder.zig | 1 | ||||
| -rw-r--r-- | src/codegen/spirv.zig | 5 |
4 files changed, 82 insertions, 60 deletions
diff --git a/src/codegen/c.zig b/src/codegen/c.zig index 897d0ea047..6630cbd9b1 100644 --- a/src/codegen/c.zig +++ b/src/codegen/c.zig @@ -1038,6 +1038,7 @@ pub const DeclGen = struct { .error_union => |error_union| { const payload_ty = ty.errorUnionPayload(mod); const error_ty = ty.errorUnionSet(mod); + const err_int_ty = try mod.errorIntType(); if (!payload_ty.hasRuntimeBitsIgnoreComptime(mod)) { switch (error_union.val) { .err_name => |err_name| return dg.renderValue( @@ -1051,8 +1052,8 @@ pub const DeclGen = struct { ), .payload => return dg.renderValue( writer, - Type.err_int, - try mod.intValue(Type.err_int, 0), + err_int_ty, + try mod.intValue(err_int_ty, 0), location, ), } @@ -1087,8 +1088,8 @@ pub const DeclGen = struct { ), .payload => try dg.renderValue( writer, - Type.err_int, - try mod.intValue(Type.err_int, 0), + err_int_ty, + try mod.intValue(err_int_ty, 0), location, ), } @@ -1244,7 +1245,7 @@ pub const DeclGen = struct { payload_ty, switch (opt.val) { .none => switch (payload_ty.zigTypeTag(mod)) { - .ErrorSet => try mod.intValue(Type.err_int, 0), + .ErrorSet => try mod.intValue(try mod.errorIntType(), 0), .Pointer => try mod.getCoerced(val, payload_ty), else => unreachable, }, @@ -5196,6 +5197,7 @@ fn airIsNull( const operand_ty = f.typeOf(un_op); const optional_ty = if (is_ptr) operand_ty.childType(mod) else operand_ty; const payload_ty = optional_ty.optionalChild(mod); + const err_int_ty = try mod.errorIntType(); const rhs = if (!payload_ty.hasRuntimeBitsIgnoreComptime(mod)) TypedValue{ .ty = Type.bool, .val = Value.true } @@ -5203,7 +5205,7 @@ fn airIsNull( // operand is a regular pointer, test `operand !=/== NULL` TypedValue{ .ty = optional_ty, .val = try mod.getCoerced(Value.null, optional_ty) } else if (payload_ty.zigTypeTag(mod) == .ErrorSet) - TypedValue{ .ty = Type.err_int, .val = try mod.intValue(Type.err_int, 0) } + TypedValue{ .ty = err_int_ty, .val = try mod.intValue(err_int_ty, 0) } else if (payload_ty.isSlice(mod) and optional_ty.optionalReprIsPayload(mod)) rhs: { try writer.writeAll(".ptr"); const slice_ptr_ty = payload_ty.slicePtrFieldType(mod); @@ -5689,8 +5691,10 @@ fn airUnwrapErrUnionErr(f: *Function, inst: Air.Inst.Index) !CValue { try f.writeCValueDerefMember(writer, operand, .{ .identifier = "error" }) else try f.writeCValueMember(writer, operand, .{ .identifier = "error" }) - else - try f.object.dg.renderValue(writer, Type.err_int, try mod.intValue(Type.err_int, 0), .Initializer); + else { + const err_int_ty = try mod.errorIntType(); + try f.object.dg.renderValue(writer, err_int_ty, try mod.intValue(err_int_ty, 0), .Initializer); + } } try writer.writeAll(";\n"); return local; @@ -5811,12 +5815,13 @@ fn airErrUnionPayloadPtrSet(f: *Function, inst: Air.Inst.Index) !CValue { const error_union_ty = f.typeOf(ty_op.operand).childType(mod); const payload_ty = error_union_ty.errorUnionPayload(mod); + const err_int_ty = try mod.errorIntType(); // First, set the non-error value. if (!payload_ty.hasRuntimeBitsIgnoreComptime(mod)) { try f.writeCValueDeref(writer, operand); try writer.writeAll(" = "); - try f.object.dg.renderValue(writer, Type.err_int, try mod.intValue(Type.err_int, 0), .Other); + try f.object.dg.renderValue(writer, err_int_ty, try mod.intValue(err_int_ty, 0), .Other); try writer.writeAll(";\n "); return operand; @@ -5824,7 +5829,7 @@ fn airErrUnionPayloadPtrSet(f: *Function, inst: Air.Inst.Index) !CValue { try reap(f, inst, &.{ty_op.operand}); try f.writeCValueDeref(writer, operand); try writer.writeAll(".error = "); - try f.object.dg.renderValue(writer, Type.err_int, try mod.intValue(Type.err_int, 0), .Other); + try f.object.dg.renderValue(writer, err_int_ty, try mod.intValue(err_int_ty, 0), .Other); try writer.writeAll(";\n"); // Then return the payload pointer (only if it is used) @@ -5880,7 +5885,8 @@ fn airWrapErrUnionPay(f: *Function, inst: Air.Inst.Index) !CValue { else try f.writeCValueMember(writer, local, .{ .identifier = "error" }); try a.assign(f, writer); - try f.object.dg.renderValue(writer, Type.err_int, try mod.intValue(Type.err_int, 0), .Other); + const err_int_ty = try mod.errorIntType(); + try f.object.dg.renderValue(writer, err_int_ty, try mod.intValue(err_int_ty, 0), .Other); try a.end(f, writer); } return local; @@ -5902,6 +5908,7 @@ fn airIsErr(f: *Function, inst: Air.Inst.Index, is_ptr: bool, operator: []const try f.writeCValue(writer, local, .Other); try writer.writeAll(" = "); + const err_int_ty = try mod.errorIntType(); if (!error_ty.errorSetIsEmpty(mod)) if (payload_ty.hasRuntimeBits(mod)) if (is_ptr) @@ -5911,11 +5918,11 @@ fn airIsErr(f: *Function, inst: Air.Inst.Index, is_ptr: bool, operator: []const else try f.writeCValue(writer, operand, .Other) else - try f.object.dg.renderValue(writer, Type.err_int, try mod.intValue(Type.err_int, 0), .Other); + try f.object.dg.renderValue(writer, err_int_ty, try mod.intValue(err_int_ty, 0), .Other); try writer.writeByte(' '); try writer.writeAll(operator); try writer.writeByte(' '); - try f.object.dg.renderValue(writer, Type.err_int, try mod.intValue(Type.err_int, 0), .Other); + try f.object.dg.renderValue(writer, err_int_ty, try mod.intValue(err_int_ty, 0), .Other); try writer.writeAll(";\n"); return local; } diff --git a/src/codegen/llvm.zig b/src/codegen/llvm.zig index ed4f1bdf6c..7fcc668934 100644 --- a/src/codegen/llvm.zig +++ b/src/codegen/llvm.zig @@ -1111,7 +1111,7 @@ pub const Object = struct { // } const lhs = wip.arg(0); - const rhs = try o.builder.intValue(Builder.Type.err_int, errors_len); + const rhs = try o.builder.intValue(try o.errorIntType(), errors_len); const is_lt = try wip.icmp(.ult, lhs, rhs, ""); _ = try wip.ret(is_lt); try wip.finish(); @@ -3121,6 +3121,10 @@ pub const Object = struct { return variable_index; } + fn errorIntType(o: *Object) Allocator.Error!Builder.Type { + return o.builder.intType(o.module.errorSetBits()); + } + fn lowerType(o: *Object, t: Type) Allocator.Error!Builder.Type { const ty = try o.lowerTypeInner(t); const mod = o.module; @@ -3192,7 +3196,7 @@ pub const Object = struct { .bool_type => .i1, .void_type => .void, .type_type => unreachable, - .anyerror_type => Builder.Type.err_int, + .anyerror_type => try o.errorIntType(), .comptime_int_type, .comptime_float_type, .noreturn_type, @@ -3213,7 +3217,7 @@ pub const Object = struct { .optional_noreturn_type => unreachable, .anyerror_void_error_union_type, .adhoc_inferred_error_set_type, - => Builder.Type.err_int, + => try o.errorIntType(), .generic_poison_type, .empty_struct_type, => unreachable, @@ -3282,16 +3286,17 @@ pub const Object = struct { }, .anyframe_type => @panic("TODO implement lowerType for AnyFrame types"), .error_union_type => |error_union_type| { - const error_type = Builder.Type.err_int; + const error_type = try o.errorIntType(); if (!error_union_type.payload_type.toType().hasRuntimeBitsIgnoreComptime(mod)) return error_type; const payload_type = try o.lowerType(error_union_type.payload_type.toType()); + const err_int_ty = try mod.errorIntType(); const payload_align = error_union_type.payload_type.toType().abiAlignment(mod); - const error_align = Type.err_int.abiAlignment(mod); + const error_align = err_int_ty.abiAlignment(mod); const payload_size = error_union_type.payload_type.toType().abiSize(mod); - const error_size = Type.err_int.abiSize(mod); + const error_size = err_int_ty.abiSize(mod); var fields: [3]Builder.Type = undefined; var fields_len: usize = 2; @@ -3552,7 +3557,7 @@ pub const Object = struct { }, .enum_type => |enum_type| try o.lowerType(enum_type.tag_ty.toType()), .func_type => |func_type| try o.lowerTypeFn(func_type), - .error_set_type, .inferred_error_set_type => Builder.Type.err_int, + .error_set_type, .inferred_error_set_type => try o.errorIntType(), // values, not types .undef, .runtime_value, @@ -3735,7 +3740,7 @@ pub const Object = struct { }, .err => |err| { const int = try mod.getErrorValue(err.name); - const llvm_int = try o.builder.intConst(Builder.Type.err_int, int); + const llvm_int = try o.builder.intConst(try o.errorIntType(), int); return llvm_int; }, .error_union => |error_union| { @@ -3744,8 +3749,9 @@ pub const Object = struct { .ty = ty.errorUnionSet(mod).toIntern(), .name = err_name, } }), - .payload => (try mod.intValue(Type.err_int, 0)).toIntern(), + .payload => (try mod.intValue(try mod.errorIntType(), 0)).toIntern(), }; + const err_int_ty = try mod.errorIntType(); const payload_type = ty.errorUnionPayload(mod); if (!payload_type.hasRuntimeBitsIgnoreComptime(mod)) { // We use the error type directly as the type. @@ -3753,7 +3759,7 @@ pub const Object = struct { } const payload_align = payload_type.abiAlignment(mod); - const error_align = Type.err_int.abiAlignment(mod); + const error_align = err_int_ty.abiAlignment(mod); const llvm_error_value = try o.lowerValue(err_val); const llvm_payload_value = try o.lowerValue(switch (error_union.val) { .err_name => try mod.intern(.{ .undef = payload_type.toIntern() }), @@ -4288,8 +4294,9 @@ pub const Object = struct { return parent_ptr; } + const err_int_ty = try mod.errorIntType(); const payload_align = payload_ty.abiAlignment(mod); - const err_align = Type.err_int.abiAlignment(mod); + const err_align = err_int_ty.abiAlignment(mod); const index: u32 = if (payload_align.compare(.gt, err_align)) 2 else 1; return o.builder.gepConst(.inbounds, try o.lowerType(eu_ty), parent_ptr, null, &.{ try o.builder.intConst(.i32, 0), try o.builder.intConst(.i32, index), @@ -5404,7 +5411,7 @@ pub const FuncGen = struct { // Functions with an empty error set are emitted with an error code // return type and return zero so they can be function pointers coerced // to functions that return anyerror. - _ = try self.wip.ret(try o.builder.intValue(Builder.Type.err_int, 0)); + _ = try self.wip.ret(try o.builder.intValue(try o.errorIntType(), 0)); } else { _ = try self.wip.retVoid(); } @@ -5446,7 +5453,7 @@ pub const FuncGen = struct { // Functions with an empty error set are emitted with an error code // return type and return zero so they can be function pointers coerced // to functions that return anyerror. - _ = try self.wip.ret(try o.builder.intValue(Builder.Type.err_int, 0)); + _ = try self.wip.ret(try o.builder.intValue(try o.errorIntType(), 0)); } else { _ = try self.wip.retVoid(); } @@ -5793,24 +5800,25 @@ pub const FuncGen = struct { const payload_ty = err_union_ty.errorUnionPayload(mod); const payload_has_bits = payload_ty.hasRuntimeBitsIgnoreComptime(mod); const err_union_llvm_ty = try o.lowerType(err_union_ty); + const error_type = try o.errorIntType(); if (!err_union_ty.errorUnionSet(mod).errorSetIsEmpty(mod)) { const loaded = loaded: { if (!payload_has_bits) { // TODO add alignment to this load break :loaded if (operand_is_ptr) - try fg.wip.load(.normal, Builder.Type.err_int, err_union, .default, "") + try fg.wip.load(.normal, error_type, err_union, .default, "") else err_union; } - const err_field_index = errUnionErrorOffset(payload_ty, mod); + const err_field_index = try errUnionErrorOffset(payload_ty, mod); if (operand_is_ptr or isByRef(err_union_ty, mod)) { const err_field_ptr = try fg.wip.gepStruct(err_union_llvm_ty, err_union, err_field_index, ""); // TODO add alignment to this load break :loaded try fg.wip.load( .normal, - Builder.Type.err_int, + error_type, err_field_ptr, .default, "", @@ -5818,7 +5826,7 @@ pub const FuncGen = struct { } break :loaded try fg.wip.extractValue(err_union, &.{err_field_index}, ""); }; - const zero = try o.builder.intValue(Builder.Type.err_int, 0); + const zero = try o.builder.intValue(error_type, 0); const is_err = try fg.wip.icmp(.ne, loaded, zero, ""); const return_block = try fg.wip.block(1, "TryRet"); @@ -5832,7 +5840,7 @@ pub const FuncGen = struct { } if (is_unused) return .none; if (!payload_has_bits) return if (operand_is_ptr) err_union else .none; - const offset = errUnionPayloadOffset(payload_ty, mod); + const offset = try errUnionPayloadOffset(payload_ty, mod); if (operand_is_ptr) { return fg.wip.gepStruct(err_union_llvm_ty, err_union, offset, ""); } else if (isByRef(err_union_ty, mod)) { @@ -7058,7 +7066,8 @@ pub const FuncGen = struct { const operand_ty = self.typeOf(un_op); const err_union_ty = if (operand_is_ptr) operand_ty.childType(mod) else operand_ty; const payload_ty = err_union_ty.errorUnionPayload(mod); - const zero = try o.builder.intValue(Builder.Type.err_int, 0); + const error_type = try o.errorIntType(); + const zero = try o.builder.intValue(error_type, 0); if (err_union_ty.errorUnionSet(mod).errorSetIsEmpty(mod)) { const val: Builder.Constant = switch (cond) { @@ -7077,13 +7086,13 @@ pub const FuncGen = struct { return self.wip.icmp(cond, loaded, zero, ""); } - const err_field_index = errUnionErrorOffset(payload_ty, mod); + const err_field_index = try errUnionErrorOffset(payload_ty, mod); const loaded = if (operand_is_ptr or isByRef(err_union_ty, mod)) loaded: { const err_union_llvm_ty = try o.lowerType(err_union_ty); const err_field_ptr = try self.wip.gepStruct(err_union_llvm_ty, operand, err_field_index, ""); - break :loaded try self.wip.load(.normal, Builder.Type.err_int, err_field_ptr, .default, ""); + break :loaded try self.wip.load(.normal, error_type, err_field_ptr, .default, ""); } else try self.wip.extractValue(operand, &.{err_field_index}, ""); return self.wip.icmp(cond, loaded, zero, ""); } @@ -7178,7 +7187,7 @@ pub const FuncGen = struct { if (!payload_ty.hasRuntimeBitsIgnoreComptime(mod)) { return if (operand_is_ptr) operand else .none; } - const offset = errUnionPayloadOffset(payload_ty, mod); + const offset = try errUnionPayloadOffset(payload_ty, mod); const err_union_llvm_ty = try o.lowerType(err_union_ty); if (operand_is_ptr) { return self.wip.gepStruct(err_union_llvm_ty, operand, offset, ""); @@ -7205,27 +7214,28 @@ pub const FuncGen = struct { const ty_op = self.air.instructions.items(.data)[inst].ty_op; const operand = try self.resolveInst(ty_op.operand); const operand_ty = self.typeOf(ty_op.operand); + const error_type = try o.errorIntType(); const err_union_ty = if (operand_is_ptr) operand_ty.childType(mod) else operand_ty; if (err_union_ty.errorUnionSet(mod).errorSetIsEmpty(mod)) { if (operand_is_ptr) { return operand; } else { - return o.builder.intValue(Builder.Type.err_int, 0); + return o.builder.intValue(error_type, 0); } } const payload_ty = err_union_ty.errorUnionPayload(mod); if (!payload_ty.hasRuntimeBitsIgnoreComptime(mod)) { if (!operand_is_ptr) return operand; - return self.wip.load(.normal, Builder.Type.err_int, operand, .default, ""); + return self.wip.load(.normal, error_type, operand, .default, ""); } - const offset = errUnionErrorOffset(payload_ty, mod); + const offset = try errUnionErrorOffset(payload_ty, mod); if (operand_is_ptr or isByRef(err_union_ty, mod)) { const err_union_llvm_ty = try o.lowerType(err_union_ty); const err_field_ptr = try self.wip.gepStruct(err_union_llvm_ty, operand, offset, ""); - return self.wip.load(.normal, Builder.Type.err_int, err_field_ptr, .default, ""); + return self.wip.load(.normal, error_type, err_field_ptr, .default, ""); } return self.wip.extractValue(operand, &.{offset}, ""); @@ -7239,15 +7249,16 @@ pub const FuncGen = struct { const err_union_ty = self.typeOf(ty_op.operand).childType(mod); const payload_ty = err_union_ty.errorUnionPayload(mod); - const non_error_val = try o.builder.intValue(Builder.Type.err_int, 0); + const non_error_val = try o.builder.intValue(try o.errorIntType(), 0); if (!payload_ty.hasRuntimeBitsIgnoreComptime(mod)) { _ = try self.wip.store(.normal, non_error_val, operand, .default); return operand; } const err_union_llvm_ty = try o.lowerType(err_union_ty); { - const error_alignment = Type.err_int.abiAlignment(mod).toLlvm(); - const error_offset = errUnionErrorOffset(payload_ty, mod); + const err_int_ty = try mod.errorIntType(); + const error_alignment = err_int_ty.abiAlignment(mod).toLlvm(); + const error_offset = try errUnionErrorOffset(payload_ty, mod); // First set the non-error value. const non_null_ptr = try self.wip.gepStruct(err_union_llvm_ty, operand, error_offset, ""); _ = try self.wip.store(.normal, non_error_val, non_null_ptr, error_alignment); @@ -7255,7 +7266,7 @@ pub const FuncGen = struct { // Then return the payload pointer (only if it is used). if (self.liveness.isUnused(inst)) return .none; - const payload_offset = errUnionPayloadOffset(payload_ty, mod); + const payload_offset = try errUnionPayloadOffset(payload_ty, mod); return self.wip.gepStruct(err_union_llvm_ty, operand, payload_offset, ""); } @@ -7358,11 +7369,11 @@ pub const FuncGen = struct { if (!payload_ty.hasRuntimeBitsIgnoreComptime(mod)) { return operand; } - const ok_err_code = try o.builder.intValue(Builder.Type.err_int, 0); + const ok_err_code = try o.builder.intValue(try o.errorIntType(), 0); const err_un_llvm_ty = try o.lowerType(err_un_ty); - const payload_offset = errUnionPayloadOffset(payload_ty, mod); - const error_offset = errUnionErrorOffset(payload_ty, mod); + const payload_offset = try errUnionPayloadOffset(payload_ty, mod); + const error_offset = try errUnionErrorOffset(payload_ty, mod); if (isByRef(err_un_ty, mod)) { const directReturn = self.isNextRet(body_tail); const result_ptr = if (directReturn) @@ -7374,7 +7385,8 @@ pub const FuncGen = struct { }; const err_ptr = try self.wip.gepStruct(err_un_llvm_ty, result_ptr, error_offset, ""); - const error_alignment = Type.err_int.abiAlignment(mod).toLlvm(); + const err_int_ty = try mod.errorIntType(); + const error_alignment = err_int_ty.abiAlignment(mod).toLlvm(); _ = try self.wip.store(.normal, ok_err_code, err_ptr, error_alignment); const payload_ptr = try self.wip.gepStruct(err_un_llvm_ty, result_ptr, payload_offset, ""); const payload_ptr_ty = try mod.singleMutPtrType(payload_ty); @@ -7398,8 +7410,8 @@ pub const FuncGen = struct { if (!payload_ty.hasRuntimeBitsIgnoreComptime(mod)) return operand; const err_un_llvm_ty = try o.lowerType(err_un_ty); - const payload_offset = errUnionPayloadOffset(payload_ty, mod); - const error_offset = errUnionErrorOffset(payload_ty, mod); + const payload_offset = try errUnionPayloadOffset(payload_ty, mod); + const error_offset = try errUnionErrorOffset(payload_ty, mod); if (isByRef(err_un_ty, mod)) { const directReturn = self.isNextRet(body_tail); const result_ptr = if (directReturn) @@ -7411,7 +7423,8 @@ pub const FuncGen = struct { }; const err_ptr = try self.wip.gepStruct(err_un_llvm_ty, result_ptr, error_offset, ""); - const error_alignment = Type.err_int.abiAlignment(mod).toLlvm(); + const err_int_ty = try mod.errorIntType(); + const error_alignment = err_int_ty.abiAlignment(mod).toLlvm(); _ = try self.wip.store(.normal, operand, err_ptr, error_alignment); const payload_ptr = try self.wip.gepStruct(err_un_llvm_ty, result_ptr, payload_offset, ""); const payload_ptr_ty = try mod.singleMutPtrType(payload_ty); @@ -9368,7 +9381,7 @@ pub const FuncGen = struct { for (names) |name| { const err_int = mod.global_error_set.getIndex(name).?; - const this_tag_int_value = try o.builder.intConst(Builder.Type.err_int, err_int); + const this_tag_int_value = try o.builder.intConst(try o.errorIntType(), err_int); try wip_switch.addCase(this_tag_int_value, valid_block, &self.wip); } self.wip.cursor = .{ .block = valid_block }; @@ -9550,7 +9563,7 @@ pub const FuncGen = struct { if (o.builder.getGlobal(name)) |llvm_fn| return llvm_fn.ptrConst(&o.builder).kind.function; const function_index = try o.builder.addFunction( - try o.builder.fnType(.i1, &.{Builder.Type.err_int}, .normal), + try o.builder.fnType(.i1, &.{try o.errorIntType()}, .normal), name, toLlvmAddressSpace(.generic, o.module.getTarget()), ); @@ -10885,7 +10898,7 @@ fn lowerFnRetTy(o: *Object, fn_info: InternPool.Key.FuncType) Allocator.Error!Bu // If the return type is an error set or an error union, then we make this // anyerror return type instead, so that it can be coerced into a function // pointer type which has anyerror as the return type. - return if (return_type.isError(mod)) Builder.Type.err_int else .void; + return if (return_type.isError(mod)) try o.errorIntType() else .void; } const target = mod.getTarget(); switch (fn_info.cc) { @@ -11638,12 +11651,14 @@ fn buildAllocaInner( return wip.conv(.unneeded, alloca, .ptr, ""); } -fn errUnionPayloadOffset(payload_ty: Type, mod: *Module) u1 { - return @intFromBool(Type.err_int.abiAlignment(mod).compare(.gt, payload_ty.abiAlignment(mod))); +fn errUnionPayloadOffset(payload_ty: Type, mod: *Module) !u1 { + const err_int_ty = try mod.errorIntType(); + return @intFromBool(err_int_ty.abiAlignment(mod).compare(.gt, payload_ty.abiAlignment(mod))); } -fn errUnionErrorOffset(payload_ty: Type, mod: *Module) u1 { - return @intFromBool(Type.err_int.abiAlignment(mod).compare(.lte, payload_ty.abiAlignment(mod))); +fn errUnionErrorOffset(payload_ty: Type, mod: *Module) !u1 { + const err_int_ty = try mod.errorIntType(); + return @intFromBool(err_int_ty.abiAlignment(mod).compare(.lte, payload_ty.abiAlignment(mod))); } /// Returns true for asm constraint (e.g. "=*m", "=r") if it accepts a memory location diff --git a/src/codegen/llvm/Builder.zig b/src/codegen/llvm/Builder.zig index 4f971db1de..b3c39f3362 100644 --- a/src/codegen/llvm/Builder.zig +++ b/src/codegen/llvm/Builder.zig @@ -159,7 +159,6 @@ pub const Type = enum(u32) { none = std.math.maxInt(u32), _, - pub const err_int = Type.i16; pub const ptr_amdgpu_constant = @field(Type, std.fmt.comptimePrint("ptr{ }", .{AddrSpace.amdgpu.constant})); diff --git a/src/codegen/spirv.zig b/src/codegen/spirv.zig index e7e6ebdef3..40fc2f50bb 100644 --- a/src/codegen/spirv.zig +++ b/src/codegen/spirv.zig @@ -742,16 +742,17 @@ const DeclGen = struct { .error_union => |error_union| { // TODO: Error unions may be constructed with constant instructions if the payload type // allows it. For now, just generate it here regardless. + const err_int_ty = try mod.errorIntType(); const err_ty = switch (error_union.val) { .err_name => ty.errorUnionSet(mod), - .payload => Type.err_int, + .payload => err_int_ty, }; const err_val = switch (error_union.val) { .err_name => |err_name| (try mod.intern(.{ .err = .{ .ty = ty.errorUnionSet(mod).toIntern(), .name = err_name, } })).toValue(), - .payload => try mod.intValue(Type.err_int, 0), + .payload => try mod.intValue(err_int_ty, 0), }; const payload_ty = ty.errorUnionPayload(mod); const eu_layout = self.errorUnionLayout(payload_ty); |
