1 // RUN: %clang_builtins %s %librt -o %t && %run %t
2 // REQUIRES: librt_has_floatuntitf
3 //===-- floatuntitf.c - Test __floatuntitf --------------------------------===//
5 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
6 // See https://llvm.org/LICENSE.txt for license information.
7 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
9 //===----------------------------------------------------------------------===//
11 // This file tests __floatuntitf for the compiler_rt library.
13 //===----------------------------------------------------------------------===//
15 #define QUAD_PRECISION
21 #if defined(CRT_HAS_128BIT) && defined(CRT_LDBL_128BIT)
23 /* Returns: convert a tu_int to a fp_t, rounding toward even. */
25 /* Assumption: fp_t is a IEEE 128 bit floating point type
26 * tu_int is a 128 bit integral type
29 /* seee eeee eeee eeee mmmm mmmm mmmm mmmm | mmmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm |
30 * mmmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm | mmmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm
33 COMPILER_RT_ABI fp_t
__floatuntitf(tu_int a
);
35 int test__floatuntitf(tu_int a
, fp_t expected
) {
36 fp_t x
= __floatuntitf(a
);
40 printf("error in __floatuntitf(0x%.16llX%.16llX) = %LA, expected %LA\n",
41 at
.s
.high
, at
.s
.low
, x
, expected
);
46 char assumption_1
[sizeof(tu_int
) == 2*sizeof(du_int
)] = {0};
47 char assumption_2
[sizeof(tu_int
)*CHAR_BIT
== 128] = {0};
48 char assumption_3
[sizeof(fp_t
)*CHAR_BIT
== 128] = {0};
53 #if defined(CRT_HAS_128BIT) && defined(CRT_LDBL_128BIT)
54 if (test__floatuntitf(0, 0.0))
57 if (test__floatuntitf(1, 1.0))
59 if (test__floatuntitf(2, 2.0))
61 if (test__floatuntitf(20, 20.0))
64 if (test__floatuntitf(0x7FFFFF8000000000ULL
, 0x1.FFFFFEp
+62))
66 if (test__floatuntitf(0x7FFFFFFFFFFFF800ULL
, 0x1.FFFFFFFFFFFFEp
+62))
68 if (test__floatuntitf(0x7FFFFF0000000000ULL
, 0x1.FFFFFCp
+62))
70 if (test__floatuntitf(0x7FFFFFFFFFFFF000ULL
, 0x1.FFFFFFFFFFFFCp
+62))
72 if (test__floatuntitf(0x7FFFFFFFFFFFFFFFULL
, 0xF.FFFFFFFFFFFFFFEp
+59L))
74 if (test__floatuntitf(0xFFFFFFFFFFFFFFFEULL
, 0xF.FFFFFFFFFFFFFFEp
+60L))
76 if (test__floatuntitf(0xFFFFFFFFFFFFFFFFULL
, 0xF.FFFFFFFFFFFFFFFp
+60L))
79 if (test__floatuntitf(0x8000008000000000ULL
, 0x8.000008p
+60))
81 if (test__floatuntitf(0x8000000000000800ULL
, 0x8.0000000000008p
+60))
83 if (test__floatuntitf(0x8000010000000000ULL
, 0x8.00001p
+60))
85 if (test__floatuntitf(0x8000000000001000ULL
, 0x8.000000000001p
+60))
88 if (test__floatuntitf(0x8000000000000000ULL
, 0x8p
+60))
90 if (test__floatuntitf(0x8000000000000001ULL
, 0x8.000000000000001p
+60L))
93 if (test__floatuntitf(0x0007FB72E8000000LL
, 0x1.FEDCBAp
+50))
96 if (test__floatuntitf(0x0007FB72EA000000LL
, 0x1.FEDCBA8p
+50))
98 if (test__floatuntitf(0x0007FB72EB000000LL
, 0x1.FEDCBACp
+50))
100 if (test__floatuntitf(0x0007FB72EBFFFFFFLL
, 0x1.FEDCBAFFFFFFCp
+50))
102 if (test__floatuntitf(0x0007FB72EC000000LL
, 0x1.FEDCBBp
+50))
104 if (test__floatuntitf(0x0007FB72E8000001LL
, 0x1.FEDCBA0000004p
+50))
107 if (test__floatuntitf(0x0007FB72E6000000LL
, 0x1.FEDCB98p
+50))
109 if (test__floatuntitf(0x0007FB72E7000000LL
, 0x1.FEDCB9Cp
+50))
111 if (test__floatuntitf(0x0007FB72E7FFFFFFLL
, 0x1.FEDCB9FFFFFFCp
+50))
113 if (test__floatuntitf(0x0007FB72E4000001LL
, 0x1.FEDCB90000004p
+50))
115 if (test__floatuntitf(0x0007FB72E4000000LL
, 0x1.FEDCB9p
+50))
118 if (test__floatuntitf(0x023479FD0E092DC0LL
, 0x1.1A3CFE870496Ep
+57))
120 if (test__floatuntitf(0x023479FD0E092DA1LL
, 0x1.1A3CFE870496D08p
+57L))
122 if (test__floatuntitf(0x023479FD0E092DB0LL
, 0x1.1A3CFE870496D8p
+57L))
124 if (test__floatuntitf(0x023479FD0E092DB8LL
, 0x1.1A3CFE870496DCp
+57L))
126 if (test__floatuntitf(0x023479FD0E092DB6LL
, 0x1.1A3CFE870496DBp
+57L))
128 if (test__floatuntitf(0x023479FD0E092DBFLL
, 0x1.1A3CFE870496DF8p
+57L))
130 if (test__floatuntitf(0x023479FD0E092DC1LL
, 0x1.1A3CFE870496E08p
+57L))
132 if (test__floatuntitf(0x023479FD0E092DC7LL
, 0x1.1A3CFE870496E38p
+57L))
134 if (test__floatuntitf(0x023479FD0E092DC8LL
, 0x1.1A3CFE870496E4p
+57L))
136 if (test__floatuntitf(0x023479FD0E092DCFLL
, 0x1.1A3CFE870496E78p
+57L))
138 if (test__floatuntitf(0x023479FD0E092DD0LL
, 0x1.1A3CFE870496E8p
+57L))
140 if (test__floatuntitf(0x023479FD0E092DD1LL
, 0x1.1A3CFE870496E88p
+57L))
142 if (test__floatuntitf(0x023479FD0E092DD8LL
, 0x1.1A3CFE870496ECp
+57L))
144 if (test__floatuntitf(0x023479FD0E092DDFLL
, 0x1.1A3CFE870496EF8p
+57L))
146 if (test__floatuntitf(0x023479FD0E092DE0LL
, 0x1.1A3CFE870496Fp
+57))
149 if (test__floatuntitf(make_ti(0x023479FD0E092DC0LL
, 0), 0x1.1A3CFE870496Ep
+121L))
151 if (test__floatuntitf(make_ti(0x023479FD0E092DA1LL
, 1), 0x1.1A3CFE870496D08p
+121L))
153 if (test__floatuntitf(make_ti(0x023479FD0E092DB0LL
, 2), 0x1.1A3CFE870496D8p
+121L))
155 if (test__floatuntitf(make_ti(0x023479FD0E092DB8LL
, 3), 0x1.1A3CFE870496DCp
+121L))
157 if (test__floatuntitf(make_ti(0x023479FD0E092DB6LL
, 4), 0x1.1A3CFE870496DBp
+121L))
159 if (test__floatuntitf(make_ti(0x023479FD0E092DBFLL
, 5), 0x1.1A3CFE870496DF8p
+121L))
161 if (test__floatuntitf(make_ti(0x023479FD0E092DC1LL
, 6), 0x1.1A3CFE870496E08p
+121L))
163 if (test__floatuntitf(make_ti(0x023479FD0E092DC7LL
, 7), 0x1.1A3CFE870496E38p
+121L))
165 if (test__floatuntitf(make_ti(0x023479FD0E092DC8LL
, 8), 0x1.1A3CFE870496E4p
+121L))
167 if (test__floatuntitf(make_ti(0x023479FD0E092DCFLL
, 9), 0x1.1A3CFE870496E78p
+121L))
169 if (test__floatuntitf(make_ti(0x023479FD0E092DD0LL
, 0), 0x1.1A3CFE870496E8p
+121L))
171 if (test__floatuntitf(make_ti(0x023479FD0E092DD1LL
, 11), 0x1.1A3CFE870496E88p
+121L))
173 if (test__floatuntitf(make_ti(0x023479FD0E092DD8LL
, 12), 0x1.1A3CFE870496ECp
+121L))
175 if (test__floatuntitf(make_ti(0x023479FD0E092DDFLL
, 13), 0x1.1A3CFE870496EF8p
+121L))
177 if (test__floatuntitf(make_ti(0x023479FD0E092DE0LL
, 14), 0x1.1A3CFE870496Fp
+121L))
180 if (test__floatuntitf(make_ti(0, 0xFFFFFFFFFFFFFFFFLL
), 0x1.FFFFFFFFFFFFFFFEp
+63L))
183 if (test__floatuntitf(make_ti(0xFFFFFFFFFFFFFFFFLL
, 0x0000000000000000LL
),
184 0x1.FFFFFFFFFFFFFFFEp
+127L))
186 if (test__floatuntitf(make_ti(0xFFFFFFFFFFFFFFFFLL
, 0xFFFFFFFFFFFFFFFFLL
),
187 0x1.0000000000000000p
+128L))
190 if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL
, 0x123456789ABC2801LL
),
191 0x1.23456789ABCDEF0123456789ABC3p
+124L))
193 if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL
, 0x123456789ABC3000LL
),
194 0x1.23456789ABCDEF0123456789ABC3p
+124L))
196 if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL
, 0x123456789ABC37FFLL
),
197 0x1.23456789ABCDEF0123456789ABC3p
+124L))
199 if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL
, 0x123456789ABC3800LL
),
200 0x1.23456789ABCDEF0123456789ABC4p
+124L))
202 if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL
, 0x123456789ABC4000LL
),
203 0x1.23456789ABCDEF0123456789ABC4p
+124L))
205 if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL
, 0x123456789ABC47FFLL
),
206 0x1.23456789ABCDEF0123456789ABC4p
+124L))
208 if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL
, 0x123456789ABC4800LL
),
209 0x1.23456789ABCDEF0123456789ABC4p
+124L))
211 if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL
, 0x123456789ABC4801LL
),
212 0x1.23456789ABCDEF0123456789ABC5p
+124L))
214 if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL
, 0x123456789ABC57FFLL
),
215 0x1.23456789ABCDEF0123456789ABC5p
+124L))