mirrors/zig
1
0
Fork 0
mirror of https://codeberg.org/ziglang/zig.git synced 2025-12-06 13:54:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

x86_64: rewrite float @mod

Browse source
This commit is contained in:
Jacob Young 2025-02-06 08:08:54 -05:00
parent 288d3062d0
commit c2718c4803
2 changed files with 2131 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2095
src/arch/x86_64/CodeGen.zig
View file

File diff suppressed because it is too large Load diff

39
test/behavior/x86_64/math.zig
View file

@ -11479,6 +11479,45 @@ test rem {
try test_rem.testFloatVectors(); try test_rem.testFloatVectors();
} }
inline fn mod(comptime Type: type, lhs: Type, rhs: Type) Type {
if (@inComptime()) {
const scalarMod = struct {
fn scalarMod(scalar_lhs: Scalar(Type), scalar_rhs: Scalar(Type)) Scalar(Type) {
// workaround https://github.com/ziglang/zig/issues/22748
if (scalar_rhs == 0) return nan(Scalar(Type));
const scalar_rem = @rem(scalar_lhs, scalar_rhs);
return if (scalar_rem == 0 or math.signbit(scalar_rem) == math.signbit(scalar_rhs)) scalar_rem else scalar_rem + scalar_rhs;
}
}.scalarMod;
// workaround https://github.com/ziglang/zig/issues/22748
switch (@typeInfo(Type)) {
// workaround llvm backend bugs
// TODO: else => return if (rhs != 0) @mod(lhs, rhs) else nan(Type),
// TODO: .vector => |info| {
// TODO: var res: Type = undefined;
// TODO: inline for (0..info.len) |i| res[i] = if (rhs[i] != 0) @mod(lhs[i], rhs[i]) else nan(Scalar(Type));
// TODO: return res;
// TODO: },
else => return scalarMod(lhs, rhs),
.vector => |info| {
var res: Type = undefined;
inline for (0..info.len) |i| res[i] = scalarMod(lhs[i], rhs[i]);
return res;
},
}
}
// workaround https://github.com/ziglang/zig/issues/22748
// TODO: return @mod(lhs, rhs);
var rt_rhs = rhs;
_ = &rt_rhs;
return @mod(lhs, rt_rhs);
}
test mod {
const test_mod = binary(mod, .{});
try test_mod.testFloats();
try test_mod.testFloatVectors();
}
inline fn bitNot(comptime Type: type, rhs: Type) @TypeOf(~rhs) { inline fn bitNot(comptime Type: type, rhs: Type) @TypeOf(~rhs) {
return ~rhs; return ~rhs;
} }