testFunction.h revision 1.1 1 1.1 ross
2 1.1 ross /*
3 1.1 ross ===============================================================================
4 1.1 ross
5 1.1 ross This C header file is part of TestFloat, Release 2a, a package of programs
6 1.1 ross for testing the correctness of floating-point arithmetic complying to the
7 1.1 ross IEC/IEEE Standard for Floating-Point.
8 1.1 ross
9 1.1 ross Written by John R. Hauser. More information is available through the Web
10 1.1 ross page `http://HTTP.CS.Berkeley.EDU/~jhauser/arithmetic/TestFloat.html'.
11 1.1 ross
12 1.1 ross THIS SOFTWARE IS DISTRIBUTED AS IS, FOR FREE. Although reasonable effort
13 1.1 ross has been made to avoid it, THIS SOFTWARE MAY CONTAIN FAULTS THAT WILL AT
14 1.1 ross TIMES RESULT IN INCORRECT BEHAVIOR. USE OF THIS SOFTWARE IS RESTRICTED TO
15 1.1 ross PERSONS AND ORGANIZATIONS WHO CAN AND WILL TAKE FULL RESPONSIBILITY FOR ANY
16 1.1 ross AND ALL LOSSES, COSTS, OR OTHER PROBLEMS ARISING FROM ITS USE.
17 1.1 ross
18 1.1 ross Derivative works are acceptable, even for commercial purposes, so long as
19 1.1 ross (1) they include prominent notice that the work is derivative, and (2) they
20 1.1 ross include prominent notice akin to these four paragraphs for those parts of
21 1.1 ross this code that are retained.
22 1.1 ross
23 1.1 ross ===============================================================================
24 1.1 ross */
25 1.1 ross
26 1.1 ross enum {
27 1.1 ross INT32_TO_FLOAT32 = 1,
28 1.1 ross INT32_TO_FLOAT64,
29 1.1 ross INT32_TO_FLOATX80,
30 1.1 ross INT32_TO_FLOAT128,
31 1.1 ross INT64_TO_FLOAT32,
32 1.1 ross INT64_TO_FLOAT64,
33 1.1 ross INT64_TO_FLOATX80,
34 1.1 ross INT64_TO_FLOAT128,
35 1.1 ross FLOAT32_TO_INT32,
36 1.1 ross FLOAT32_TO_INT32_ROUND_TO_ZERO,
37 1.1 ross FLOAT32_TO_INT64,
38 1.1 ross FLOAT32_TO_INT64_ROUND_TO_ZERO,
39 1.1 ross FLOAT32_TO_FLOAT64,
40 1.1 ross FLOAT32_TO_FLOATX80,
41 1.1 ross FLOAT32_TO_FLOAT128,
42 1.1 ross FLOAT32_ROUND_TO_INT,
43 1.1 ross FLOAT32_ADD,
44 1.1 ross FLOAT32_SUB,
45 1.1 ross FLOAT32_MUL,
46 1.1 ross FLOAT32_DIV,
47 1.1 ross FLOAT32_REM,
48 1.1 ross FLOAT32_SQRT,
49 1.1 ross FLOAT32_EQ,
50 1.1 ross FLOAT32_LE,
51 1.1 ross FLOAT32_LT,
52 1.1 ross FLOAT32_EQ_SIGNALING,
53 1.1 ross FLOAT32_LE_QUIET,
54 1.1 ross FLOAT32_LT_QUIET,
55 1.1 ross FLOAT64_TO_INT32,
56 1.1 ross FLOAT64_TO_INT32_ROUND_TO_ZERO,
57 1.1 ross FLOAT64_TO_INT64,
58 1.1 ross FLOAT64_TO_INT64_ROUND_TO_ZERO,
59 1.1 ross FLOAT64_TO_FLOAT32,
60 1.1 ross FLOAT64_TO_FLOATX80,
61 1.1 ross FLOAT64_TO_FLOAT128,
62 1.1 ross FLOAT64_ROUND_TO_INT,
63 1.1 ross FLOAT64_ADD,
64 1.1 ross FLOAT64_SUB,
65 1.1 ross FLOAT64_MUL,
66 1.1 ross FLOAT64_DIV,
67 1.1 ross FLOAT64_REM,
68 1.1 ross FLOAT64_SQRT,
69 1.1 ross FLOAT64_EQ,
70 1.1 ross FLOAT64_LE,
71 1.1 ross FLOAT64_LT,
72 1.1 ross FLOAT64_EQ_SIGNALING,
73 1.1 ross FLOAT64_LE_QUIET,
74 1.1 ross FLOAT64_LT_QUIET,
75 1.1 ross FLOATX80_TO_INT32,
76 1.1 ross FLOATX80_TO_INT32_ROUND_TO_ZERO,
77 1.1 ross FLOATX80_TO_INT64,
78 1.1 ross FLOATX80_TO_INT64_ROUND_TO_ZERO,
79 1.1 ross FLOATX80_TO_FLOAT32,
80 1.1 ross FLOATX80_TO_FLOAT64,
81 1.1 ross FLOATX80_TO_FLOAT128,
82 1.1 ross FLOATX80_ROUND_TO_INT,
83 1.1 ross FLOATX80_ADD,
84 1.1 ross FLOATX80_SUB,
85 1.1 ross FLOATX80_MUL,
86 1.1 ross FLOATX80_DIV,
87 1.1 ross FLOATX80_REM,
88 1.1 ross FLOATX80_SQRT,
89 1.1 ross FLOATX80_EQ,
90 1.1 ross FLOATX80_LE,
91 1.1 ross FLOATX80_LT,
92 1.1 ross FLOATX80_EQ_SIGNALING,
93 1.1 ross FLOATX80_LE_QUIET,
94 1.1 ross FLOATX80_LT_QUIET,
95 1.1 ross FLOAT128_TO_INT32,
96 1.1 ross FLOAT128_TO_INT32_ROUND_TO_ZERO,
97 1.1 ross FLOAT128_TO_INT64,
98 1.1 ross FLOAT128_TO_INT64_ROUND_TO_ZERO,
99 1.1 ross FLOAT128_TO_FLOAT32,
100 1.1 ross FLOAT128_TO_FLOAT64,
101 1.1 ross FLOAT128_TO_FLOATX80,
102 1.1 ross FLOAT128_ROUND_TO_INT,
103 1.1 ross FLOAT128_ADD,
104 1.1 ross FLOAT128_SUB,
105 1.1 ross FLOAT128_MUL,
106 1.1 ross FLOAT128_DIV,
107 1.1 ross FLOAT128_REM,
108 1.1 ross FLOAT128_SQRT,
109 1.1 ross FLOAT128_EQ,
110 1.1 ross FLOAT128_LE,
111 1.1 ross FLOAT128_LT,
112 1.1 ross FLOAT128_EQ_SIGNALING,
113 1.1 ross FLOAT128_LE_QUIET,
114 1.1 ross FLOAT128_LT_QUIET,
115 1.1 ross NUM_FUNCTIONS
116 1.1 ross };
117 1.1 ross
118 1.1 ross typedef struct {
119 1.1 ross char *name;
120 1.1 ross int8 numInputs;
121 1.1 ross flag roundingPrecision, roundingMode;
122 1.1 ross } functionT;
123 1.1 ross extern const functionT functions[ NUM_FUNCTIONS ];
124 1.1 ross extern const flag functionExists[ NUM_FUNCTIONS ];
125 1.1 ross
126 1.1 ross enum {
127 1.1 ross ROUND_NEAREST_EVEN = 1,
128 1.1 ross ROUND_TO_ZERO,
129 1.1 ross ROUND_DOWN,
130 1.1 ross ROUND_UP,
131 1.1 ross NUM_ROUNDINGMODES
132 1.1 ross };
133 1.1 ross
134 1.1 ross void testFunction( uint8, int8, int8 );
135 1.1 ross
136