1 //===-- fixunsxfsi_test.c - Test __fixunsxfsi -----------------------------===// 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 __fixunsxfsi for the compiler_rt library. 11 // 12 //===----------------------------------------------------------------------===// 13 14 #include "int_lib.h" 15 #include <stdio.h> 16 17 #if HAS_80_BIT_LONG_DOUBLE 18 // Returns: convert a to a unsigned int, rounding toward zero. 19 // Negative values all become zero. 20 21 // Assumption: long double is an intel 80 bit floating point type padded with 6 bytes 22 // su_int is a 32 bit integral type 23 // value in long double is representable in su_int or is negative 24 // (no range checking performed) 25 26 // gggg gggg gggg gggg gggg gggg gggg gggg | gggg gggg gggg gggg seee eeee eeee eeee | 27 // 1mmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm | mmmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm 28 29 su_int __fixunsxfsi(long double a); 30 31 int test__fixunsxfsi(long double a, su_int expected) 32 { 33 su_int x = __fixunsxfsi(a); 34 if (x != expected) 35 printf("error in __fixunsxfsi(%LA) = %X, expected %X\n", a, x, expected); 36 return x != expected; 37 } 38 39 char assumption_2[sizeof(su_int)*CHAR_BIT == 32] = {0}; 40 char assumption_3[sizeof(long double)*CHAR_BIT == 128] = {0}; 41 #endif 42 43 int main() 44 { 45 #if HAS_80_BIT_LONG_DOUBLE 46 if (test__fixunsxfsi(0.0, 0)) 47 return 1; 48 49 if (test__fixunsxfsi(0.5, 0)) 50 return 1; 51 if (test__fixunsxfsi(0.99, 0)) 52 return 1; 53 if (test__fixunsxfsi(1.0, 1)) 54 return 1; 55 if (test__fixunsxfsi(1.5, 1)) 56 return 1; 57 if (test__fixunsxfsi(1.99, 1)) 58 return 1; 59 if (test__fixunsxfsi(2.0, 2)) 60 return 1; 61 if (test__fixunsxfsi(2.01, 2)) 62 return 1; 63 if (test__fixunsxfsi(-0.5, 0)) 64 return 1; 65 if (test__fixunsxfsi(-0.99, 0)) 66 return 1; 67 #if !TARGET_LIBGCC 68 if (test__fixunsxfsi(-1.0, 0)) // libgcc ignores "returns 0 for negative input" spec 69 return 1; 70 if (test__fixunsxfsi(-1.5, 0)) 71 return 1; 72 if (test__fixunsxfsi(-1.99, 0)) 73 return 1; 74 if (test__fixunsxfsi(-2.0, 0)) 75 return 1; 76 if (test__fixunsxfsi(-2.01, 0)) 77 return 1; 78 #endif 79 80 if (test__fixunsxfsi(0x1.000000p+31, 0x80000000)) 81 return 1; 82 if (test__fixunsxfsi(0x1.FFFFFEp+31, 0xFFFFFF00)) 83 return 1; 84 if (test__fixunsxfsi(0x1.FFFFFEp+30, 0x7FFFFF80)) 85 return 1; 86 if (test__fixunsxfsi(0x1.FFFFFCp+30, 0x7FFFFF00)) 87 return 1; 88 89 #if !TARGET_LIBGCC 90 if (test__fixunsxfsi(-0x1.FFFFFEp+30, 0)) 91 return 1; 92 if (test__fixunsxfsi(-0x1.FFFFFCp+30, 0)) 93 return 1; 94 #endif 95 96 if (test__fixunsxfsi(0x1.FFFFFFFEp+31, 0xFFFFFFFF)) 97 return 1; 98 if (test__fixunsxfsi(0x1.FFFFFFFC00000p+30, 0x7FFFFFFF)) 99 return 1; 100 if (test__fixunsxfsi(0x1.FFFFFFF800000p+30, 0x7FFFFFFE)) 101 return 1; 102 103 #endif 104 return 0; 105 } 106