1// RUN: %clang_builtins %s %librt -o %t && %run %t
2// REQUIRES: librt_has_fixunsdfti
3// REQUIRES: int128
4
5#include "int_lib.h"
6#include <stdio.h>
7
8// Returns: convert a to a unsigned long long, rounding toward zero.
9// Negative values all become zero.
10
11// Assumption: double is a IEEE 64 bit floating point type
12// tu_int is a 64 bit integral type
13// value in double is representable in tu_int or is negative
14// (no range checking performed)
15
16// seee eeee eeee mmmm mmmm mmmm mmmm mmmm | mmmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm
17
18#ifdef CRT_HAS_128BIT
19
20COMPILER_RT_ABI tu_int __fixunsdfti(double a);
21
22int test__fixunsdfti(double a, tu_int expected)
23{
24 tu_int x = __fixunsdfti(a);
25 if (x != expected)
26 {
27 utwords xt;
28 xt.all = x;
29 utwords expectedt;
30 expectedt.all = expected;
31 printf("error in __fixunsdfti(%A) = 0x%.16llX%.16llX, expected 0x%.16llX%.16llX\n",
32 a, xt.s.high, xt.s.low, expectedt.s.high, expectedt.s.low);
33 }
34 return x != expected;
35}
36
37char assumption_1[sizeof(tu_int) == 2*sizeof(du_int)] = {0};
38char assumption_2[sizeof(su_int)*CHAR_BIT == 32] = {0};
39char assumption_3[sizeof(double)*CHAR_BIT == 64] = {0};
40
41#endif
42
43int main()
44{
45#ifdef CRT_HAS_128BIT
46 if (test__fixunsdfti(0.0, 0))
47 return 1;
48
49 if (test__fixunsdfti(0.5, 0))
50 return 1;
51 if (test__fixunsdfti(0.99, 0))
52 return 1;
53 if (test__fixunsdfti(1.0, 1))
54 return 1;
55 if (test__fixunsdfti(1.5, 1))
56 return 1;
57 if (test__fixunsdfti(1.99, 1))
58 return 1;
59 if (test__fixunsdfti(2.0, 2))
60 return 1;
61 if (test__fixunsdfti(2.01, 2))
62 return 1;
63 if (test__fixunsdfti(-0.5, 0))
64 return 1;
65 if (test__fixunsdfti(-0.99, 0))
66 return 1;
67#if !TARGET_LIBGCC
68 if (test__fixunsdfti(-1.0, 0)) // libgcc ignores "returns 0 for negative input" spec
69 return 1;
70 if (test__fixunsdfti(-1.5, 0))
71 return 1;
72 if (test__fixunsdfti(-1.99, 0))
73 return 1;
74 if (test__fixunsdfti(-2.0, 0))
75 return 1;
76 if (test__fixunsdfti(-2.01, 0))
77 return 1;
78#endif
79
80 if (test__fixunsdfti(0x1.FFFFFEp+62, 0x7FFFFF8000000000LL))
81 return 1;
82 if (test__fixunsdfti(0x1.FFFFFCp+62, 0x7FFFFF0000000000LL))
83 return 1;
84
85#if !TARGET_LIBGCC
86 if (test__fixunsdfti(-0x1.FFFFFEp+62, 0))
87 return 1;
88 if (test__fixunsdfti(-0x1.FFFFFCp+62, 0))
89 return 1;
90#endif
91
92 if (test__fixunsdfti(0x1.FFFFFFFFFFFFFp+63, 0xFFFFFFFFFFFFF800ULL))
93 return 1;
94 if (test__fixunsdfti(0x1.0000000000000p+63, 0x8000000000000000ULL))
95 return 1;
96 if (test__fixunsdfti(0x1.FFFFFFFFFFFFFp+62, 0x7FFFFFFFFFFFFC00ULL))
97 return 1;
98 if (test__fixunsdfti(0x1.FFFFFFFFFFFFEp+62, 0x7FFFFFFFFFFFF800ULL))
99 return 1;
100
101 if (test__fixunsdfti(0x1.FFFFFFFFFFFFFp+127, make_ti(0xFFFFFFFFFFFFF800ULL, 0)))
102 return 1;
103 if (test__fixunsdfti(0x1.0000000000000p+127, make_ti(0x8000000000000000ULL, 0)))
104 return 1;
105 if (test__fixunsdfti(0x1.FFFFFFFFFFFFFp+126, make_ti(0x7FFFFFFFFFFFFC00ULL, 0)))
106 return 1;
107 if (test__fixunsdfti(0x1.FFFFFFFFFFFFEp+126, make_ti(0x7FFFFFFFFFFFF800ULL, 0)))
108 return 1;
109 if (test__fixunsdfti(0x1.0000000000000p+128, make_ti(0xFFFFFFFFFFFFFFFFULL,
110 0xFFFFFFFFFFFFFFFFULL)))
111 return 1;
112
113#if !TARGET_LIBGCC
114 if (test__fixunsdfti(-0x1.FFFFFFFFFFFFFp+62, 0))
115 return 1;
116 if (test__fixunsdfti(-0x1.FFFFFFFFFFFFEp+62, 0))
117 return 1;
118#endif
119
120#endif
121 return 0;
122}
123