rune unsigned mapping

This commit is contained in:
kalsprite
2026-08-15 20:53:03 -07:00
parent 36d0b056a2
commit ae742cb9f3
2 changed files with 19 additions and 0 deletions

View File

@@ -6995,6 +6995,13 @@ gb_internal bool check_builtin_procedure(CheckerContext *c, Operand *operand, As
return false;
}
if (bt->Basic.kind == Basic_rune) {
gbString t = type_to_string(operand->type);
error(operand->expr, "Type %s does not have an unsigned integer mapping for '%.*s'", t, LIT(builtin_name));
gb_string_free(t);
return false;
}
Type *u_type = &basic_types[bt->Basic.kind + 1];
operand->type = u_type;

View File

@@ -12,6 +12,18 @@ example_usage :: proc(#any_int x: int) -> intrinsics.type_integer_to_unsigned(ty
@test
test_intrinsic_integer_to :: proc(t: ^testing.T) {
testing.expect_value(t, typeid_of(intrinsics.type_integer_to_unsigned(i8)), typeid_of(u8))
testing.expect_value(t, typeid_of(intrinsics.type_integer_to_unsigned(i16)), typeid_of(u16))
testing.expect_value(t, typeid_of(intrinsics.type_integer_to_unsigned(i32)), typeid_of(u32))
testing.expect_value(t, typeid_of(intrinsics.type_integer_to_unsigned(i64)), typeid_of(u64))
testing.expect_value(t, typeid_of(intrinsics.type_integer_to_unsigned(i128)), typeid_of(u128))
testing.expect_value(t, typeid_of(intrinsics.type_integer_to_signed(u8)), typeid_of(i8))
testing.expect_value(t, typeid_of(intrinsics.type_integer_to_signed(u16)), typeid_of(i16))
testing.expect_value(t, typeid_of(intrinsics.type_integer_to_signed(u32)), typeid_of(i32))
testing.expect_value(t, typeid_of(intrinsics.type_integer_to_signed(u64)), typeid_of(i64))
testing.expect_value(t, typeid_of(intrinsics.type_integer_to_signed(u128)), typeid_of(i128))
testing.expect_value(t, typeid_of(intrinsics.type_integer_to_unsigned(i16le)), typeid_of(u16le))
testing.expect_value(t, typeid_of(intrinsics.type_integer_to_unsigned(i32le)), typeid_of(u32le))
testing.expect_value(t, typeid_of(intrinsics.type_integer_to_unsigned(i64le)), typeid_of(u64le))