1// RUN: %clang_builtins %s %librt -o %t && %run %t
2//===-- floatuntitf.c - Test __floatuntitf --------------------------------===//
3//
4// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
5// See https://llvm.org/LICENSE.txt for license information.
6// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7//
8//===----------------------------------------------------------------------===//
9//
10// This file tests __floatuntitf for the compiler_rt library.
11//
12//===----------------------------------------------------------------------===//
13
14#define QUAD_PRECISION
15#include "fp_lib.h"
16#include "int_lib.h"
17#include <float.h>
18#include <stdio.h>
19
20#if defined(CRT_HAS_128BIT) && defined(CRT_LDBL_128BIT)
21
22/* Returns: convert a tu_int to a fp_t, rounding toward even. */
23
24/* Assumption: fp_t is a IEEE 128 bit floating point type
25 *             tu_int is a 128 bit integral type
26 */
27
28/* seee eeee eeee eeee mmmm mmmm mmmm mmmm | mmmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm |
29 * mmmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm | mmmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm
30 */
31
32COMPILER_RT_ABI fp_t __floatuntitf(tu_int a);
33
34int test__floatuntitf(tu_int a, fp_t expected) {
35    fp_t x = __floatuntitf(a);
36    if (x != expected) {
37        utwords at;
38        at.all = a;
39        printf("error in __floatuntitf(0x%.16llX%.16llX) = %LA, expected %LA\n",
40               at.s.high, at.s.low, x, expected);
41    }
42    return x != expected;
43}
44
45char assumption_1[sizeof(tu_int) == 2*sizeof(du_int)] = {0};
46char assumption_2[sizeof(tu_int)*CHAR_BIT == 128] = {0};
47char assumption_3[sizeof(fp_t)*CHAR_BIT == 128] = {0};
48
49#endif
50
51int main() {
52#if defined(CRT_HAS_128BIT) && defined(CRT_LDBL_128BIT)
53    if (test__floatuntitf(0, 0.0))
54        return 1;
55
56    if (test__floatuntitf(1, 1.0))
57        return 1;
58    if (test__floatuntitf(2, 2.0))
59        return 1;
60    if (test__floatuntitf(20, 20.0))
61        return 1;
62
63    if (test__floatuntitf(0x7FFFFF8000000000ULL, 0x1.FFFFFEp+62))
64        return 1;
65    if (test__floatuntitf(0x7FFFFFFFFFFFF800ULL, 0x1.FFFFFFFFFFFFEp+62))
66        return 1;
67    if (test__floatuntitf(0x7FFFFF0000000000ULL, 0x1.FFFFFCp+62))
68        return 1;
69    if (test__floatuntitf(0x7FFFFFFFFFFFF000ULL, 0x1.FFFFFFFFFFFFCp+62))
70        return 1;
71    if (test__floatuntitf(0x7FFFFFFFFFFFFFFFULL, 0xF.FFFFFFFFFFFFFFEp+59L))
72        return 1;
73    if (test__floatuntitf(0xFFFFFFFFFFFFFFFEULL, 0xF.FFFFFFFFFFFFFFEp+60L))
74        return 1;
75    if (test__floatuntitf(0xFFFFFFFFFFFFFFFFULL, 0xF.FFFFFFFFFFFFFFFp+60L))
76        return 1;
77
78    if (test__floatuntitf(0x8000008000000000ULL, 0x8.000008p+60))
79        return 1;
80    if (test__floatuntitf(0x8000000000000800ULL, 0x8.0000000000008p+60))
81        return 1;
82    if (test__floatuntitf(0x8000010000000000ULL, 0x8.00001p+60))
83        return 1;
84    if (test__floatuntitf(0x8000000000001000ULL, 0x8.000000000001p+60))
85        return 1;
86
87    if (test__floatuntitf(0x8000000000000000ULL, 0x8p+60))
88        return 1;
89    if (test__floatuntitf(0x8000000000000001ULL, 0x8.000000000000001p+60L))
90        return 1;
91
92    if (test__floatuntitf(0x0007FB72E8000000LL, 0x1.FEDCBAp+50))
93        return 1;
94
95    if (test__floatuntitf(0x0007FB72EA000000LL, 0x1.FEDCBA8p+50))
96        return 1;
97    if (test__floatuntitf(0x0007FB72EB000000LL, 0x1.FEDCBACp+50))
98        return 1;
99    if (test__floatuntitf(0x0007FB72EBFFFFFFLL, 0x1.FEDCBAFFFFFFCp+50))
100        return 1;
101    if (test__floatuntitf(0x0007FB72EC000000LL, 0x1.FEDCBBp+50))
102        return 1;
103    if (test__floatuntitf(0x0007FB72E8000001LL, 0x1.FEDCBA0000004p+50))
104        return 1;
105
106    if (test__floatuntitf(0x0007FB72E6000000LL, 0x1.FEDCB98p+50))
107        return 1;
108    if (test__floatuntitf(0x0007FB72E7000000LL, 0x1.FEDCB9Cp+50))
109        return 1;
110    if (test__floatuntitf(0x0007FB72E7FFFFFFLL, 0x1.FEDCB9FFFFFFCp+50))
111        return 1;
112    if (test__floatuntitf(0x0007FB72E4000001LL, 0x1.FEDCB90000004p+50))
113        return 1;
114    if (test__floatuntitf(0x0007FB72E4000000LL, 0x1.FEDCB9p+50))
115        return 1;
116
117    if (test__floatuntitf(0x023479FD0E092DC0LL, 0x1.1A3CFE870496Ep+57))
118        return 1;
119    if (test__floatuntitf(0x023479FD0E092DA1LL, 0x1.1A3CFE870496D08p+57L))
120        return 1;
121    if (test__floatuntitf(0x023479FD0E092DB0LL, 0x1.1A3CFE870496D8p+57L))
122        return 1;
123    if (test__floatuntitf(0x023479FD0E092DB8LL, 0x1.1A3CFE870496DCp+57L))
124        return 1;
125    if (test__floatuntitf(0x023479FD0E092DB6LL, 0x1.1A3CFE870496DBp+57L))
126        return 1;
127    if (test__floatuntitf(0x023479FD0E092DBFLL, 0x1.1A3CFE870496DF8p+57L))
128        return 1;
129    if (test__floatuntitf(0x023479FD0E092DC1LL, 0x1.1A3CFE870496E08p+57L))
130        return 1;
131    if (test__floatuntitf(0x023479FD0E092DC7LL, 0x1.1A3CFE870496E38p+57L))
132        return 1;
133    if (test__floatuntitf(0x023479FD0E092DC8LL, 0x1.1A3CFE870496E4p+57L))
134        return 1;
135    if (test__floatuntitf(0x023479FD0E092DCFLL, 0x1.1A3CFE870496E78p+57L))
136        return 1;
137    if (test__floatuntitf(0x023479FD0E092DD0LL, 0x1.1A3CFE870496E8p+57L))
138        return 1;
139    if (test__floatuntitf(0x023479FD0E092DD1LL, 0x1.1A3CFE870496E88p+57L))
140        return 1;
141    if (test__floatuntitf(0x023479FD0E092DD8LL, 0x1.1A3CFE870496ECp+57L))
142        return 1;
143    if (test__floatuntitf(0x023479FD0E092DDFLL, 0x1.1A3CFE870496EF8p+57L))
144        return 1;
145    if (test__floatuntitf(0x023479FD0E092DE0LL, 0x1.1A3CFE870496Fp+57))
146        return 1;
147
148    if (test__floatuntitf(make_ti(0x023479FD0E092DC0LL, 0), 0x1.1A3CFE870496Ep+121L))
149        return 1;
150    if (test__floatuntitf(make_ti(0x023479FD0E092DA1LL, 1), 0x1.1A3CFE870496D08p+121L))
151        return 1;
152    if (test__floatuntitf(make_ti(0x023479FD0E092DB0LL, 2), 0x1.1A3CFE870496D8p+121L))
153        return 1;
154    if (test__floatuntitf(make_ti(0x023479FD0E092DB8LL, 3), 0x1.1A3CFE870496DCp+121L))
155        return 1;
156    if (test__floatuntitf(make_ti(0x023479FD0E092DB6LL, 4), 0x1.1A3CFE870496DBp+121L))
157        return 1;
158    if (test__floatuntitf(make_ti(0x023479FD0E092DBFLL, 5), 0x1.1A3CFE870496DF8p+121L))
159        return 1;
160    if (test__floatuntitf(make_ti(0x023479FD0E092DC1LL, 6), 0x1.1A3CFE870496E08p+121L))
161        return 1;
162    if (test__floatuntitf(make_ti(0x023479FD0E092DC7LL, 7), 0x1.1A3CFE870496E38p+121L))
163        return 1;
164    if (test__floatuntitf(make_ti(0x023479FD0E092DC8LL, 8), 0x1.1A3CFE870496E4p+121L))
165        return 1;
166    if (test__floatuntitf(make_ti(0x023479FD0E092DCFLL, 9), 0x1.1A3CFE870496E78p+121L))
167        return 1;
168    if (test__floatuntitf(make_ti(0x023479FD0E092DD0LL, 0), 0x1.1A3CFE870496E8p+121L))
169        return 1;
170    if (test__floatuntitf(make_ti(0x023479FD0E092DD1LL, 11), 0x1.1A3CFE870496E88p+121L))
171        return 1;
172    if (test__floatuntitf(make_ti(0x023479FD0E092DD8LL, 12), 0x1.1A3CFE870496ECp+121L))
173        return 1;
174    if (test__floatuntitf(make_ti(0x023479FD0E092DDFLL, 13), 0x1.1A3CFE870496EF8p+121L))
175        return 1;
176    if (test__floatuntitf(make_ti(0x023479FD0E092DE0LL, 14), 0x1.1A3CFE870496Fp+121L))
177        return 1;
178
179    if (test__floatuntitf(make_ti(0, 0xFFFFFFFFFFFFFFFFLL), 0x1.FFFFFFFFFFFFFFFEp+63L))
180        return 1;
181
182    if (test__floatuntitf(make_ti(0xFFFFFFFFFFFFFFFFLL, 0x0000000000000000LL),
183                          0x1.FFFFFFFFFFFFFFFEp+127L))
184        return 1;
185    if (test__floatuntitf(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),
186                          0x1.0000000000000000p+128L))
187        return 1;
188
189    if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC2801LL),
190                        0x1.23456789ABCDEF0123456789ABC3p+124L))
191        return 1;
192    if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC3000LL),
193                        0x1.23456789ABCDEF0123456789ABC3p+124L))
194        return 1;
195    if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC37FFLL),
196                        0x1.23456789ABCDEF0123456789ABC3p+124L))
197        return 1;
198    if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC3800LL),
199                        0x1.23456789ABCDEF0123456789ABC4p+124L))
200        return 1;
201    if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC4000LL),
202                        0x1.23456789ABCDEF0123456789ABC4p+124L))
203        return 1;
204    if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC47FFLL),
205                        0x1.23456789ABCDEF0123456789ABC4p+124L))
206        return 1;
207    if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC4800LL),
208                        0x1.23456789ABCDEF0123456789ABC4p+124L))
209        return 1;
210    if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC4801LL),
211                        0x1.23456789ABCDEF0123456789ABC5p+124L))
212        return 1;
213    if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC57FFLL),
214                        0x1.23456789ABCDEF0123456789ABC5p+124L))
215        return 1;
216#else
217    printf("skipped\n");
218#endif
219   return 0;
220}
221