1 // RUN: %clang_builtins %s %librt -o %t && %run %t
2 // REQUIRES: librt_has_fixunssfdi
3
4 #include "int_lib.h"
5 #include <stdio.h>
6
7 // Returns: convert a to a unsigned long long, rounding toward zero.
8 // Negative values all become zero.
9
10 // Assumption: float is a IEEE 32 bit floating point type
11 // du_int is a 64 bit integral type
12 // value in float is representable in du_int or is negative
13 // (no range checking performed)
14
15 // seee eeee emmm mmmm mmmm mmmm mmmm mmmm
16
17 COMPILER_RT_ABI du_int __fixunssfdi(float a);
18
test__fixunssfdi(float a,du_int expected)19 int test__fixunssfdi(float a, du_int expected)
20 {
21 du_int x = __fixunssfdi(a);
22 if (x != expected)
23 printf("error in __fixunssfdi(%A) = %llX, expected %llX\n",
24 a, x, expected);
25 return x != expected;
26 }
27
28 char assumption_1[sizeof(du_int) == 2*sizeof(si_int)] = {0};
29 char assumption_2[sizeof(su_int)*CHAR_BIT == 32] = {0};
30 char assumption_3[sizeof(float)*CHAR_BIT == 32] = {0};
31
main()32 int main()
33 {
34 if (test__fixunssfdi(0.0F, 0))
35 return 1;
36
37 if (test__fixunssfdi(0.5F, 0))
38 return 1;
39 if (test__fixunssfdi(0.99F, 0))
40 return 1;
41 if (test__fixunssfdi(1.0F, 1))
42 return 1;
43 if (test__fixunssfdi(1.5F, 1))
44 return 1;
45 if (test__fixunssfdi(1.99F, 1))
46 return 1;
47 if (test__fixunssfdi(2.0F, 2))
48 return 1;
49 if (test__fixunssfdi(2.01F, 2))
50 return 1;
51 if (test__fixunssfdi(-0.5F, 0))
52 return 1;
53 if (test__fixunssfdi(-0.99F, 0))
54 return 1;
55 #if !TARGET_LIBGCC
56 if (test__fixunssfdi(-1.0F, 0)) // libgcc ignores "returns 0 for negative input" spec
57 return 1;
58 if (test__fixunssfdi(-1.5F, 0))
59 return 1;
60 if (test__fixunssfdi(-1.99F, 0))
61 return 1;
62 if (test__fixunssfdi(-2.0F, 0))
63 return 1;
64 if (test__fixunssfdi(-2.01F, 0))
65 return 1;
66 #endif
67
68 if (test__fixunssfdi(0x1.FFFFFEp+63F, 0xFFFFFF0000000000LL))
69 return 1;
70 if (test__fixunssfdi(0x1.000000p+63F, 0x8000000000000000LL))
71 return 1;
72 if (test__fixunssfdi(0x1.FFFFFEp+62F, 0x7FFFFF8000000000LL))
73 return 1;
74 if (test__fixunssfdi(0x1.FFFFFCp+62F, 0x7FFFFF0000000000LL))
75 return 1;
76
77 #if !TARGET_LIBGCC
78 if (test__fixunssfdi(-0x1.FFFFFEp+62F, 0x0000000000000000LL))
79 return 1;
80 if (test__fixunssfdi(-0x1.FFFFFCp+62F, 0x0000000000000000LL))
81 return 1;
82 #endif
83
84 return 0;
85 }
86