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
17COMPILER_RT_ABI du_int __fixunssfdi(float a);
18
19int 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
28char assumption_1[sizeof(du_int) == 2*sizeof(si_int)] = {0};
29char assumption_2[sizeof(su_int)*CHAR_BIT == 32] = {0};
30char assumption_3[sizeof(float)*CHAR_BIT == 32] = {0};
31
32int 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