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
|
#include "test_static.isph"
task void f_f(uniform float RET[], uniform float aFOO[]) {
RET[programIndex] = 0;
// Case 1: x and y are generic positive values
float16 x = aFOO[programIndex] - (programCount / 2);
float16 y = 0.8;
float16 testVal = fmod(x, y);
float16 baseRes = x - trunc(x * rcp(y)) * y;
RET[programIndex] += (abs(baseRes - testVal) < 1e-6) ? 0 : 1;
// Case 2: x is negative, y is positive
x = -aFOO[programCount / 2];
y = 0.8;
testVal = fmod(x, y);
baseRes = x - trunc(x * rcp(y)) * y;
RET[programIndex] += (abs(baseRes - testVal) < 1e-6) ? 0 : 1;
// Case 3: x is positive, y is negative
x = aFOO[programCount / 2];
y = -0.8;
testVal = fmod(x, y);
baseRes = x - trunc(x * rcp(y)) * y;
RET[programIndex] += (abs(baseRes - testVal) < 1e-6) ? 0 : 1;
// Case 4: x and y are negative
x = -aFOO[programCount / 2];
y = -0.8;
testVal = fmod(x, y);
baseRes = x - trunc(x * rcp(y)) * y;
RET[programIndex] += (abs(baseRes - testVal) < 1e-6) ? 0 : 1;
// Case 5.1: x is +inf, y is positive
x = aFOO[programCount / 2] / 0.0;
y = 0.8;
testVal = fmod(x, y);
RET[programIndex] += (isnan(testVal) && (signbits(testVal) == signbits(x))) ? 0 : 1;
// Case 5.2: x is -inf, y is positive
x = -aFOO[programCount / 2] / 0.0;
y = 0.8;
testVal = fmod(x, y);
RET[programIndex] += (isnan(testVal) && (signbits(testVal) == signbits(x))) ? 0 : 1;
// Case 6: x is positive, y is 0.0
x = aFOO[programCount / 2];
y = 0.0;
testVal = fmod(x, y);
RET[programIndex] += (isnan(testVal) && (signbits(testVal) == signbits(x))) ? 0 : 1;
// Case 7.1: x is positive, y is inf
x = aFOO[programCount / 2];
y = 0.8 / 0.0;
testVal = fmod(x, y);
RET[programIndex] += (testVal == x) ? 0 : 1;
// Case 7.1: x is negative, y is inf
x = -aFOO[programCount / 2];
y = 0.8 / 0.0;
testVal = fmod(x, y);
RET[programIndex] += (testVal == x) ? 0 : 1;
// Case 8.1: x is +0.0, y is positive
x = 0.0;
y = 0.8;
testVal = fmod(x, y);
RET[programIndex] += (testVal == x) ? 0 : 1;
// Case 8.2: x is -0.0, y is positive
x = -0.0;
y = 0.8;
testVal = fmod(x, y);
RET[programIndex] += (testVal == x) ? 0 : 1;
// Case 9.1: x is +0.0, y is 0.0
x = 0.0;
y = 0.0;
testVal = fmod(x, y);
RET[programIndex] += (isnan(testVal) && (signbits(testVal) == signbits(x))) ? 0 : 1;
// Case 9.2: x is -0.0, y is 0.0
x = -0.0;
y = 0.0;
testVal = fmod(x, y);
RET[programIndex] += (isnan(testVal) && (signbits(testVal) == signbits(x))) ? 0 : 1;
}
task void result(uniform float RET[]) { RET[0] = 0; }
|
