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