Nixyri/zig
1
0
Fork 0
mirror of https://github.com/ziglang/zig.git synced 2024-11-16 17:15:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #17913 from jacobly0/vararg-int

Browse Source 
Sema: implement vararg integer promotions
This commit is contained in:
Andrew Kelley 2023-11-08 23:52:59 -07:00 committed by GitHub
commit a1d688b86a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 29 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
src/Sema.zig
View File

@ -29419,10 +29419,10 @@ fn coerceVarArgParam(
"integer and float literals passed to variadic function must be casted to a fixed-size number type",
.{},
),
.Fn => blk: {
.Fn => fn_ptr: {
const fn_val = try sema.resolveConstDefinedValue(block, .unneeded, inst, undefined);
const fn_decl = fn_val.pointerDecl(mod).?;
break :blk try sema.analyzeDeclRef(fn_decl);
break :fn_ptr try sema.analyzeDeclRef(fn_decl);
},
.Array => return sema.fail(block, inst_src, "arrays must be passed by reference to variadic function", .{}),
.Float => float: {
@ -29436,7 +29436,33 @@ fn coerceVarArgParam(
else => unreachable,
}
},
else => inst,
else => if (uncasted_ty.isAbiInt(mod)) int: {
if (!try sema.validateExternType(uncasted_ty, .param_ty)) break :int inst;
const target = sema.mod.getTarget();
const uncasted_info = uncasted_ty.intInfo(mod);
if (uncasted_info.bits <= target.c_type_bit_size(switch (uncasted_info.signedness) {
.signed => .int,
.unsigned => .uint,
})) break :int try sema.coerce(block, switch (uncasted_info.signedness) {
.signed => Type.c_int,
.unsigned => Type.c_uint,
}, inst, inst_src);
if (uncasted_info.bits <= target.c_type_bit_size(switch (uncasted_info.signedness) {
.signed => .long,
.unsigned => .ulong,
})) break :int try sema.coerce(block, switch (uncasted_info.signedness) {
.signed => Type.c_long,
.unsigned => Type.c_ulong,
}, inst, inst_src);
if (uncasted_info.bits <= target.c_type_bit_size(switch (uncasted_info.signedness) {
.signed => .longlong,
.unsigned => .ulonglong,
})) break :int try sema.coerce(block, switch (uncasted_info.signedness) {
.signed => Type.c_longlong,
.unsigned => Type.c_ulonglong,
}, inst, inst_src);
break :int inst;
} else inst,
};
const coerced_ty = sema.typeOf(coerced);