xref: /llvm-project/compiler-rt/test/builtins/Unit/floatdixf_test.c (revision 70f9cfc857f14ce7ae4057aea7b3568e6aa41d38)
1 // RUN: %clang_builtins %s %librt -o %t && %run %t
2 // REQUIRES: librt_has_floatdixf
3 
4 #include "int_lib.h"
5 #include <stdio.h>
6 
7 #if HAS_80_BIT_LONG_DOUBLE
8 // Returns: convert a to a long double, rounding toward even.
9 
10 // Assumption: long double is a IEEE 80 bit floating point type padded to 128 bits
11 //             di_int is a 64 bit integral type
12 
13 // gggg gggg gggg gggg gggg gggg gggg gggg | gggg gggg gggg gggg seee eeee eeee eeee |
14 // 1mmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm | mmmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm
15 
16 long COMPILER_RT_ABI double __floatdixf(di_int a);
17 
test__floatdixf(di_int a,long double expected)18 int test__floatdixf(di_int a, long double expected)
19 {
20     long double x = __floatdixf(a);
21     if (x != expected)
22         printf("error in __floatdixf(%llX) = %LA, expected %LA\n",
23                a, x, expected);
24     return x != expected;
25 }
26 
27 char assumption_1[sizeof(di_int) == 2*sizeof(si_int)] = {0};
28 char assumption_2[sizeof(di_int)*CHAR_BIT == 64] = {0};
29 char assumption_3[sizeof(long double)*CHAR_BIT == 128] = {0};
30 #endif
31 
main()32 int main()
33 {
34 #if HAS_80_BIT_LONG_DOUBLE
35     if (test__floatdixf(0, 0.0))
36         return 1;
37 
38     if (test__floatdixf(1, 1.0))
39         return 1;
40     if (test__floatdixf(2, 2.0))
41         return 1;
42     if (test__floatdixf(20, 20.0))
43         return 1;
44     if (test__floatdixf(-1, -1.0))
45         return 1;
46     if (test__floatdixf(-2, -2.0))
47         return 1;
48     if (test__floatdixf(-20, -20.0))
49         return 1;
50 
51     if (test__floatdixf(0x7FFFFF8000000000LL, 0x1.FFFFFEp+62))
52         return 1;
53     if (test__floatdixf(0x7FFFFFFFFFFFF800LL, 0x1.FFFFFFFFFFFFEp+62))
54         return 1;
55     if (test__floatdixf(0x7FFFFF0000000000LL, 0x1.FFFFFCp+62))
56         return 1;
57     if (test__floatdixf(0x7FFFFFFFFFFFF000LL, 0x1.FFFFFFFFFFFFCp+62))
58         return 1;
59 
60     if (test__floatdixf(0x8000008000000000LL, -0x1.FFFFFEp+62))
61         return 1;
62     if (test__floatdixf(0x8000000000000800LL, -0x1.FFFFFFFFFFFFEp+62))
63         return 1;
64     if (test__floatdixf(0x8000010000000000LL, -0x1.FFFFFCp+62))
65         return 1;
66     if (test__floatdixf(0x8000000000001000LL, -0x1.FFFFFFFFFFFFCp+62))
67         return 1;
68 
69     if (test__floatdixf(0x8000000000000000LL, -0x1.000000p+63))
70         return 1;
71     if (test__floatdixf(0x8000000000000001LL, -0x1.FFFFFFFFFFFFFFFCp+62L))
72         return 1;
73 
74     if (test__floatdixf(0x0007FB72E8000000LL, 0x1.FEDCBAp+50))
75         return 1;
76 
77     if (test__floatdixf(0x0007FB72EA000000LL, 0x1.FEDCBA8p+50))
78         return 1;
79     if (test__floatdixf(0x0007FB72EB000000LL, 0x1.FEDCBACp+50))
80         return 1;
81     if (test__floatdixf(0x0007FB72EBFFFFFFLL, 0x1.FEDCBAFFFFFFCp+50))
82         return 1;
83     if (test__floatdixf(0x0007FB72EC000000LL, 0x1.FEDCBBp+50))
84         return 1;
85     if (test__floatdixf(0x0007FB72E8000001LL, 0x1.FEDCBA0000004p+50))
86         return 1;
87 
88     if (test__floatdixf(0x0007FB72E6000000LL, 0x1.FEDCB98p+50))
89         return 1;
90     if (test__floatdixf(0x0007FB72E7000000LL, 0x1.FEDCB9Cp+50))
91         return 1;
92     if (test__floatdixf(0x0007FB72E7FFFFFFLL, 0x1.FEDCB9FFFFFFCp+50))
93         return 1;
94     if (test__floatdixf(0x0007FB72E4000001LL, 0x1.FEDCB90000004p+50))
95         return 1;
96     if (test__floatdixf(0x0007FB72E4000000LL, 0x1.FEDCB9p+50))
97         return 1;
98 
99     if (test__floatdixf(0x023479FD0E092DC0LL, 0x1.1A3CFE870496Ep+57))
100         return 1;
101     if (test__floatdixf(0x023479FD0E092DA1LL, 0x8.D1E7F43824B684p+54L))
102         return 1;
103     if (test__floatdixf(0x023479FD0E092DB0LL, 0x8.D1E7f43824B6Cp+54L))
104         return 1;
105     if (test__floatdixf(0x023479FD0E092DB8LL, 0x8.D1E7F43824B6Ep+54L))
106         return 1;
107     if (test__floatdixf(0x023479FD0E092DB6LL, 0x8.D1E7F43824B6D8p+54L))
108         return 1;
109     if (test__floatdixf(0x023479FD0E092DBFLL, 0x8.D1E7F43824B6FCp+54L))
110         return 1;
111     if (test__floatdixf(0x023479FD0E092DC1LL, 0x8.D1E7F43824B704p+54L))
112         return 1;
113     if (test__floatdixf(0x023479FD0E092DC7LL, 0x8.D1E7F43824B71Cp+54L))
114         return 1;
115     if (test__floatdixf(0x023479FD0E092DC8LL, 0x8.D1E7F43824B72p+54L))
116         return 1;
117     if (test__floatdixf(0x023479FD0E092DCFLL, 0x8.D1E7F43824B73Cp+54L))
118         return 1;
119     if (test__floatdixf(0x023479FD0E092DD0LL, 0x8.D1E7F43824B74p+54L))
120         return 1;
121     if (test__floatdixf(0x023479FD0E092DD1LL, 0x8.D1E7F43824B744p+54L))
122         return 1;
123     if (test__floatdixf(0x023479FD0E092DD8LL, 0x8.D1E7F43824B76p+54L))
124         return 1;
125     if (test__floatdixf(0x023479FD0E092DDFLL, 0x8.D1E7F43824B77Cp+54L))
126         return 1;
127     if (test__floatdixf(0x023479FD0E092DE0LL, 0x1.1A3CFE870496Fp+57))
128         return 1;
129 
130 #else
131     printf("skipped\n");
132 #endif
133    return 0;
134 }
135