andr3/zls
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

equality compare floats with bitcast in InternPool

Browse Source
This commit is contained in:
Techatrix 2023-01-24 16:59:01 +01:00
parent 95139e09ec
commit 3577e719fb
1 changed files with 38 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

39
src/analyser/InternPool.zig
View File

@ -1342,9 +1342,12 @@ fn deepEql(a: anytype, b: @TypeOf(a)) bool {
.C, .C,
=> @compileError("Unable to equality compare pointer " ++ @typeName(T)), => @compileError("Unable to equality compare pointer " ++ @typeName(T)),
}, },
.Float => {
const I = std.meta.Int(.unsigned, @bitSizeOf(T));
return @bitCast(I, a) == @bitCast(I, b);
},
.Bool, .Bool,
.Int, .Int,
.Float,
.Enum, .Enum,
=> return a == b, => return a == b,
else => @compileError("Unable to equality compare type " ++ @typeName(T)), else => @compileError("Unable to equality compare type " ++ @typeName(T)),
@ -2757,16 +2760,50 @@ test "float value" {
const f80_value = try ip.get(gpa, .{ .float_80_value = 2.0 }); const f80_value = try ip.get(gpa, .{ .float_80_value = 2.0 });
const f128_value = try ip.get(gpa, .{ .float_128_value = 2.75 }); const f128_value = try ip.get(gpa, .{ .float_128_value = 2.75 });
const f32_nan_value = try ip.get(gpa, .{ .float_32_value = std.math.nan_f32 });
const f32_qnan_value = try ip.get(gpa, .{ .float_32_value = std.math.qnan_f32 });
const f32_inf_value = try ip.get(gpa, .{ .float_32_value = std.math.inf_f32 });
const f32_ninf_value = try ip.get(gpa, .{ .float_32_value = -std.math.inf_f32 });
const f32_zero_value = try ip.get(gpa, .{ .float_32_value = 0.0 });
const f32_nzero_value = try ip.get(gpa, .{ .float_32_value = -0.0 });
try std.testing.expect(f16_value != f32_value); try std.testing.expect(f16_value != f32_value);
try std.testing.expect(f32_value != f64_value); try std.testing.expect(f32_value != f64_value);
try std.testing.expect(f64_value != f80_value); try std.testing.expect(f64_value != f80_value);
try std.testing.expect(f80_value != f128_value); try std.testing.expect(f80_value != f128_value);
try std.testing.expect(f32_nan_value != f32_qnan_value);
try std.testing.expect(f32_inf_value != f32_ninf_value);
try std.testing.expect(f32_zero_value != f32_nzero_value);
try std.testing.expect(!ip.indexToKey(f16_value).eql(ip.indexToKey(f32_value)));
try std.testing.expect(ip.indexToKey(f32_value).eql(ip.indexToKey(f32_value)));
try std.testing.expect(ip.indexToKey(f32_nan_value).eql(ip.indexToKey(f32_nan_value)));
try std.testing.expect(!ip.indexToKey(f32_nan_value).eql(ip.indexToKey(f32_qnan_value)));
try std.testing.expect(ip.indexToKey(f32_inf_value).eql(ip.indexToKey(f32_inf_value)));
try std.testing.expect(!ip.indexToKey(f32_inf_value).eql(ip.indexToKey(f32_ninf_value)));
try std.testing.expect(ip.indexToKey(f32_zero_value).eql(ip.indexToKey(f32_zero_value)));
try std.testing.expect(!ip.indexToKey(f32_zero_value).eql(ip.indexToKey(f32_nzero_value)));
try testExpectFmtValue(ip, f16_value, undefined, "0.25"); try testExpectFmtValue(ip, f16_value, undefined, "0.25");
try testExpectFmtValue(ip, f32_value, undefined, "0.5"); try testExpectFmtValue(ip, f32_value, undefined, "0.5");
try testExpectFmtValue(ip, f64_value, undefined, "1"); try testExpectFmtValue(ip, f64_value, undefined, "1");
try testExpectFmtValue(ip, f80_value, undefined, "2"); try testExpectFmtValue(ip, f80_value, undefined, "2");
try testExpectFmtValue(ip, f128_value, undefined, "2.75"); try testExpectFmtValue(ip, f128_value, undefined, "2.75");
try testExpectFmtValue(ip, f32_nan_value, undefined, "nan");
try testExpectFmtValue(ip, f32_qnan_value, undefined, "nan");
try testExpectFmtValue(ip, f32_inf_value, undefined, "inf");
try testExpectFmtValue(ip, f32_ninf_value, undefined, "-inf");
try testExpectFmtValue(ip, f32_zero_value, undefined, "0");
try testExpectFmtValue(ip, f32_nzero_value, undefined, "-0");
} }
test "pointer type" { test "pointer type" {