Home | History | Annotate | Download | only in Unit
      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