1 //===-- fixunssfti_test.c - Test __fixunssfti -----------------------------===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is dual licensed under the MIT and the University of Illinois Open
6 // Source Licenses. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This file tests __fixunssfti for the compiler_rt library.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #if __x86_64
15 
16 #include "int_lib.h"
17 #include <stdio.h>
18 
19 // Returns: convert a to a unsigned long long, rounding toward zero.
20 //          Negative values all become zero.
21 
22 // Assumption: float is a IEEE 32 bit floating point type
23 //             tu_int is a 64 bit integral type
24 //             value in float is representable in tu_int or is negative
25 //                 (no range checking performed)
26 
27 // seee eeee emmm mmmm mmmm mmmm mmmm mmmm
28 
29 tu_int __fixunssfti(float a);
30 
31 int test__fixunssfti(float a, tu_int expected)
32 {
33     tu_int x = __fixunssfti(a);
34     if (x != expected)
35     {
36         utwords xt;
37         xt.all = x;
38         utwords expectedt;
39         expectedt.all = expected;
40         printf("error in __fixunssfti(%A) = 0x%.16llX%.16llX, expected 0x%.16llX%.16llX\n",
41                a, xt.s.high, xt.s.low, expectedt.s.high, expectedt.s.low);
42     }
43     return x != expected;
44 }
45 
46 char assumption_1[sizeof(tu_int) == 2*sizeof(di_int)] = {0};
47 char assumption_2[sizeof(su_int)*CHAR_BIT == 32] = {0};
48 char assumption_3[sizeof(float)*CHAR_BIT == 32] = {0};
49 
50 #endif
51 
52 int main()
53 {
54 #if __x86_64
55     if (test__fixunssfti(0.0F, 0))
56         return 1;
57 
58     if (test__fixunssfti(0.5F, 0))
59         return 1;
60     if (test__fixunssfti(0.99F, 0))
61         return 1;
62     if (test__fixunssfti(1.0F, 1))
63         return 1;
64     if (test__fixunssfti(1.5F, 1))
65         return 1;
66     if (test__fixunssfti(1.99F, 1))
67         return 1;
68     if (test__fixunssfti(2.0F, 2))
69         return 1;
70     if (test__fixunssfti(2.01F, 2))
71         return 1;
72     if (test__fixunssfti(-0.5F, 0))
73         return 1;
74     if (test__fixunssfti(-0.99F, 0))
75         return 1;
76 #if !TARGET_LIBGCC
77     if (test__fixunssfti(-1.0F, 0))  // libgcc ignores "returns 0 for negative input" spec
78         return 1;
79     if (test__fixunssfti(-1.5F, 0))
80         return 1;
81     if (test__fixunssfti(-1.99F, 0))
82         return 1;
83     if (test__fixunssfti(-2.0F, 0))
84         return 1;
85     if (test__fixunssfti(-2.01F, 0))
86         return 1;
87 #endif
88 
89     if (test__fixunssfti(0x1.FFFFFEp+63F, 0xFFFFFF0000000000LL))
90         return 1;
91     if (test__fixunssfti(0x1.000000p+63F, 0x8000000000000000LL))
92         return 1;
93     if (test__fixunssfti(0x1.FFFFFEp+62F, 0x7FFFFF8000000000LL))
94         return 1;
95     if (test__fixunssfti(0x1.FFFFFCp+62F, 0x7FFFFF0000000000LL))
96         return 1;
97 
98     if (test__fixunssfti(0x1.FFFFFEp+127F, make_ti(0xFFFFFF0000000000LL, 0)))
99         return 1;
100     if (test__fixunssfti(0x1.000000p+127F, make_ti(0x8000000000000000LL, 0)))
101         return 1;
102     if (test__fixunssfti(0x1.FFFFFEp+126F, make_ti(0x7FFFFF8000000000LL, 0)))
103         return 1;
104     if (test__fixunssfti(0x1.FFFFFCp+126F, make_ti(0x7FFFFF0000000000LL, 0)))
105         return 1;
106 
107 #if !TARGET_LIBGCC
108     if (test__fixunssfti(-0x1.FFFFFEp+62F, 0x0000000000000000LL))
109         return 1;
110     if (test__fixunssfti(-0x1.FFFFFCp+62F, 0x0000000000000000LL))
111         return 1;
112     if (test__fixunssfti(-0x1.FFFFFEp+126F, 0x0000000000000000LL))
113         return 1;
114     if (test__fixunssfti(-0x1.FFFFFCp+126F, 0x0000000000000000LL))
115         return 1;
116 #endif
117 
118 #endif
119    return 0;
120 }
121