1 | // RUN: %clang_builtins %s %librt -o %t && %run %t |
2 | // REQUIRES: librt_has_floattidf |
3 | // REQUIRES: int128 |
4 | |
5 | #include "int_lib.h" |
6 | #include <float.h> |
7 | #include <stdio.h> |
8 | |
9 | #ifdef CRT_HAS_128BIT |
10 | |
11 | // Returns: convert a to a double, rounding toward even. |
12 | |
13 | // Assumption: double is a IEEE 64 bit floating point type |
14 | // ti_int is a 64 bit integral type |
15 | |
16 | // seee eeee eeee mmmm mmmm mmmm mmmm mmmm | mmmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm |
17 | |
18 | COMPILER_RT_ABI double __floattidf(ti_int a); |
19 | |
20 | int test__floattidf(ti_int a, double expected) |
21 | { |
22 | double x = __floattidf(a); |
23 | if (x != expected) |
24 | { |
25 | twords at; |
26 | at.all = a; |
27 | printf(format: "error in __floattidf(0x%.16llX%.16llX) = %a, expected %a\n" , |
28 | at.s.high, at.s.low, x, expected); |
29 | } |
30 | return x != expected; |
31 | } |
32 | |
33 | char assumption_1[sizeof(ti_int) == 2*sizeof(di_int)] = {0}; |
34 | char assumption_2[sizeof(ti_int)*CHAR_BIT == 128] = {0}; |
35 | char assumption_3[sizeof(double)*CHAR_BIT == 64] = {0}; |
36 | |
37 | #endif |
38 | |
39 | int main() |
40 | { |
41 | #ifdef CRT_HAS_128BIT |
42 | if (test__floattidf(a: 0, expected: 0.0)) |
43 | return 1; |
44 | |
45 | if (test__floattidf(a: 1, expected: 1.0)) |
46 | return 1; |
47 | if (test__floattidf(a: 2, expected: 2.0)) |
48 | return 1; |
49 | if (test__floattidf(a: 20, expected: 20.0)) |
50 | return 1; |
51 | if (test__floattidf(a: -1, expected: -1.0)) |
52 | return 1; |
53 | if (test__floattidf(a: -2, expected: -2.0)) |
54 | return 1; |
55 | if (test__floattidf(a: -20, expected: -20.0)) |
56 | return 1; |
57 | |
58 | if (test__floattidf(a: 0x7FFFFF8000000000LL, expected: 0x1.FFFFFEp+62)) |
59 | return 1; |
60 | if (test__floattidf(a: 0x7FFFFFFFFFFFF800LL, expected: 0x1.FFFFFFFFFFFFEp+62)) |
61 | return 1; |
62 | if (test__floattidf(a: 0x7FFFFF0000000000LL, expected: 0x1.FFFFFCp+62)) |
63 | return 1; |
64 | if (test__floattidf(a: 0x7FFFFFFFFFFFF000LL, expected: 0x1.FFFFFFFFFFFFCp+62)) |
65 | return 1; |
66 | |
67 | if (test__floattidf(a: make_ti(h: 0x8000008000000000LL, l: 0), expected: -0x1.FFFFFEp+126)) |
68 | return 1; |
69 | if (test__floattidf(a: make_ti(h: 0x8000000000000800LL, l: 0), expected: -0x1.FFFFFFFFFFFFEp+126)) |
70 | return 1; |
71 | if (test__floattidf(a: make_ti(h: 0x8000010000000000LL, l: 0), expected: -0x1.FFFFFCp+126)) |
72 | return 1; |
73 | if (test__floattidf(a: make_ti(h: 0x8000000000001000LL, l: 0), expected: -0x1.FFFFFFFFFFFFCp+126)) |
74 | return 1; |
75 | |
76 | if (test__floattidf(a: make_ti(h: 0x8000000000000000LL, l: 0), expected: -0x1.000000p+127)) |
77 | return 1; |
78 | if (test__floattidf(a: make_ti(h: 0x8000000000000001LL, l: 0), expected: -0x1.000000p+127)) |
79 | return 1; |
80 | |
81 | if (test__floattidf(a: 0x0007FB72E8000000LL, expected: 0x1.FEDCBAp+50)) |
82 | return 1; |
83 | |
84 | if (test__floattidf(a: 0x0007FB72EA000000LL, expected: 0x1.FEDCBA8p+50)) |
85 | return 1; |
86 | if (test__floattidf(a: 0x0007FB72EB000000LL, expected: 0x1.FEDCBACp+50)) |
87 | return 1; |
88 | if (test__floattidf(a: 0x0007FB72EBFFFFFFLL, expected: 0x1.FEDCBAFFFFFFCp+50)) |
89 | return 1; |
90 | if (test__floattidf(a: 0x0007FB72EC000000LL, expected: 0x1.FEDCBBp+50)) |
91 | return 1; |
92 | if (test__floattidf(a: 0x0007FB72E8000001LL, expected: 0x1.FEDCBA0000004p+50)) |
93 | return 1; |
94 | |
95 | if (test__floattidf(a: 0x0007FB72E6000000LL, expected: 0x1.FEDCB98p+50)) |
96 | return 1; |
97 | if (test__floattidf(a: 0x0007FB72E7000000LL, expected: 0x1.FEDCB9Cp+50)) |
98 | return 1; |
99 | if (test__floattidf(a: 0x0007FB72E7FFFFFFLL, expected: 0x1.FEDCB9FFFFFFCp+50)) |
100 | return 1; |
101 | if (test__floattidf(a: 0x0007FB72E4000001LL, expected: 0x1.FEDCB90000004p+50)) |
102 | return 1; |
103 | if (test__floattidf(a: 0x0007FB72E4000000LL, expected: 0x1.FEDCB9p+50)) |
104 | return 1; |
105 | |
106 | if (test__floattidf(a: 0x023479FD0E092DC0LL, expected: 0x1.1A3CFE870496Ep+57)) |
107 | return 1; |
108 | if (test__floattidf(a: 0x023479FD0E092DA1LL, expected: 0x1.1A3CFE870496Dp+57)) |
109 | return 1; |
110 | if (test__floattidf(a: 0x023479FD0E092DB0LL, expected: 0x1.1A3CFE870496Ep+57)) |
111 | return 1; |
112 | if (test__floattidf(a: 0x023479FD0E092DB8LL, expected: 0x1.1A3CFE870496Ep+57)) |
113 | return 1; |
114 | if (test__floattidf(a: 0x023479FD0E092DB6LL, expected: 0x1.1A3CFE870496Ep+57)) |
115 | return 1; |
116 | if (test__floattidf(a: 0x023479FD0E092DBFLL, expected: 0x1.1A3CFE870496Ep+57)) |
117 | return 1; |
118 | if (test__floattidf(a: 0x023479FD0E092DC1LL, expected: 0x1.1A3CFE870496Ep+57)) |
119 | return 1; |
120 | if (test__floattidf(a: 0x023479FD0E092DC7LL, expected: 0x1.1A3CFE870496Ep+57)) |
121 | return 1; |
122 | if (test__floattidf(a: 0x023479FD0E092DC8LL, expected: 0x1.1A3CFE870496Ep+57)) |
123 | return 1; |
124 | if (test__floattidf(a: 0x023479FD0E092DCFLL, expected: 0x1.1A3CFE870496Ep+57)) |
125 | return 1; |
126 | if (test__floattidf(a: 0x023479FD0E092DD0LL, expected: 0x1.1A3CFE870496Ep+57)) |
127 | return 1; |
128 | if (test__floattidf(a: 0x023479FD0E092DD1LL, expected: 0x1.1A3CFE870496Fp+57)) |
129 | return 1; |
130 | if (test__floattidf(a: 0x023479FD0E092DD8LL, expected: 0x1.1A3CFE870496Fp+57)) |
131 | return 1; |
132 | if (test__floattidf(a: 0x023479FD0E092DDFLL, expected: 0x1.1A3CFE870496Fp+57)) |
133 | return 1; |
134 | if (test__floattidf(a: 0x023479FD0E092DE0LL, expected: 0x1.1A3CFE870496Fp+57)) |
135 | return 1; |
136 | |
137 | if (test__floattidf(a: make_ti(h: 0x023479FD0E092DC0LL, l: 0), expected: 0x1.1A3CFE870496Ep+121)) |
138 | return 1; |
139 | if (test__floattidf(a: make_ti(h: 0x023479FD0E092DA1LL, l: 1), expected: 0x1.1A3CFE870496Dp+121)) |
140 | return 1; |
141 | if (test__floattidf(a: make_ti(h: 0x023479FD0E092DB0LL, l: 2), expected: 0x1.1A3CFE870496Ep+121)) |
142 | return 1; |
143 | if (test__floattidf(a: make_ti(h: 0x023479FD0E092DB8LL, l: 3), expected: 0x1.1A3CFE870496Ep+121)) |
144 | return 1; |
145 | if (test__floattidf(a: make_ti(h: 0x023479FD0E092DB6LL, l: 4), expected: 0x1.1A3CFE870496Ep+121)) |
146 | return 1; |
147 | if (test__floattidf(a: make_ti(h: 0x023479FD0E092DBFLL, l: 5), expected: 0x1.1A3CFE870496Ep+121)) |
148 | return 1; |
149 | if (test__floattidf(a: make_ti(h: 0x023479FD0E092DC1LL, l: 6), expected: 0x1.1A3CFE870496Ep+121)) |
150 | return 1; |
151 | if (test__floattidf(a: make_ti(h: 0x023479FD0E092DC7LL, l: 7), expected: 0x1.1A3CFE870496Ep+121)) |
152 | return 1; |
153 | if (test__floattidf(a: make_ti(h: 0x023479FD0E092DC8LL, l: 8), expected: 0x1.1A3CFE870496Ep+121)) |
154 | return 1; |
155 | if (test__floattidf(a: make_ti(h: 0x023479FD0E092DCFLL, l: 9), expected: 0x1.1A3CFE870496Ep+121)) |
156 | return 1; |
157 | if (test__floattidf(a: make_ti(h: 0x023479FD0E092DD0LL, l: 0), expected: 0x1.1A3CFE870496Ep+121)) |
158 | return 1; |
159 | if (test__floattidf(a: make_ti(h: 0x023479FD0E092DD1LL, l: 11), expected: 0x1.1A3CFE870496Fp+121)) |
160 | return 1; |
161 | if (test__floattidf(a: make_ti(h: 0x023479FD0E092DD8LL, l: 12), expected: 0x1.1A3CFE870496Fp+121)) |
162 | return 1; |
163 | if (test__floattidf(a: make_ti(h: 0x023479FD0E092DDFLL, l: 13), expected: 0x1.1A3CFE870496Fp+121)) |
164 | return 1; |
165 | if (test__floattidf(a: make_ti(h: 0x023479FD0E092DE0LL, l: 14), expected: 0x1.1A3CFE870496Fp+121)) |
166 | return 1; |
167 | #else |
168 | printf("skipped\n" ); |
169 | #endif |
170 | return 0; |
171 | } |
172 | |