1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
|
// Ported from:
//
// https://github.com/llvm/llvm-project/commit/d674d96bc56c0f377879d01c9d8dfdaaa7859cdb/compiler-rt/test/builtins/Unit/comparesf2_test.c
const std = @import("std");
const builtin = @import("builtin");
const __eqsf2 = @import("./cmpsf2.zig").__eqsf2;
const __lesf2 = @import("./cmpsf2.zig").__lesf2;
const __ltsf2 = @import("./cmpsf2.zig").__ltsf2;
const __nesf2 = @import("./cmpsf2.zig").__nesf2;
const __gesf2 = @import("./gesf2.zig").__gesf2;
const __gtsf2 = @import("./gesf2.zig").__gtsf2;
const __unordsf2 = @import("./unordsf2.zig").__unordsf2;
const TestVector = struct {
a: f32,
b: f32,
eqReference: c_int,
geReference: c_int,
gtReference: c_int,
leReference: c_int,
ltReference: c_int,
neReference: c_int,
unReference: c_int,
};
fn test__cmpsf2(vector: TestVector) bool {
if (__eqsf2(vector.a, vector.b) != vector.eqReference) {
return false;
}
if (__gesf2(vector.a, vector.b) != vector.geReference) {
return false;
}
if (__gtsf2(vector.a, vector.b) != vector.gtReference) {
return false;
}
if (__lesf2(vector.a, vector.b) != vector.leReference) {
return false;
}
if (__ltsf2(vector.a, vector.b) != vector.ltReference) {
return false;
}
if (__nesf2(vector.a, vector.b) != vector.neReference) {
return false;
}
if (__unordsf2(vector.a, vector.b) != vector.unReference) {
return false;
}
return true;
}
const arguments = [_]f32{
std.math.nan(f32),
-std.math.inf(f32),
-0x1.fffffep127,
-0x1.000002p0 - 0x1.000000p0,
-0x1.fffffep-1,
-0x1.000000p-126,
-0x0.fffffep-126,
-0x0.000002p-126,
-0.0,
0.0,
0x0.000002p-126,
0x0.fffffep-126,
0x1.000000p-126,
0x1.fffffep-1,
0x1.000000p0,
0x1.000002p0,
0x1.fffffep127,
std.math.inf(f32),
};
fn generateVector(comptime a: f32, comptime b: f32) TestVector {
const leResult = if (a < b) -1 else if (a == b) 0 else 1;
const geResult = if (a > b) 1 else if (a == b) 0 else -1;
const unResult = if (a != a or b != b) 1 else 0;
return TestVector{
.a = a,
.b = b,
.eqReference = leResult,
.geReference = geResult,
.gtReference = geResult,
.leReference = leResult,
.ltReference = leResult,
.neReference = leResult,
.unReference = unResult,
};
}
const test_vectors = init: {
@setEvalBranchQuota(10000);
var vectors: [arguments.len * arguments.len]TestVector = undefined;
for (arguments[0..], 0..) |arg_i, i| {
for (arguments[0..], 0..) |arg_j, j| {
vectors[(i * arguments.len) + j] = generateVector(arg_i, arg_j);
}
}
break :init vectors;
};
test "compare f32" {
for (test_vectors) |vector| {
try std.testing.expect(test__cmpsf2(vector));
}
}
|
