compiler-rt/test/builtins/Unit/fixunsdfsi_test.c

   1 // RUN: %clang_builtins %s %librt -o %t && %run %t
   2 // REQUIRES: librt_has_fixunsdfsi
   3
   4 #include "int_lib.h"
   5 #include <stdio.h>
   6
   7 // Returns: convert a to a unsigned int, rounding toward zero.
   8 //          Negative values all become zero.
   9
  10 // Assumption: double is a IEEE 64 bit floating point type
  11 //             su_int is a 32 bit integral type
  12 //             value in double is representable in su_int or is negative
  13 //                 (no range checking performed)
  14
  15 // seee eeee eeee mmmm mmmm mmmm mmmm mmmm | mmmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm
  16
  17 COMPILER_RT_ABI su_int __fixunsdfsi(double a);
  18
  19 int test__fixunsdfsi(double a, su_int expected)
  20 {
  21     su_int x = __fixunsdfsi(a);
  22     if (x != expected)
  23         printf("error in __fixunsdfsi(%A) = %X, expected %X\n", a, x, expected);
  24     return x != expected;
  25 }
  26
  27 char assumption_2[sizeof(su_int)*CHAR_BIT == 32] = {0};
  28 char assumption_3[sizeof(double)*CHAR_BIT == 64] = {0};
  29
  30 int main()
  31 {
  32     if (test__fixunsdfsi(0.0, 0))
  33         return 1;
  34
  35     if (test__fixunsdfsi(0.5, 0))
  36         return 1;
  37     if (test__fixunsdfsi(0.99, 0))
  38         return 1;
  39     if (test__fixunsdfsi(1.0, 1))
  40         return 1;
  41     if (test__fixunsdfsi(1.5, 1))
  42         return 1;
  43     if (test__fixunsdfsi(1.99, 1))
  44         return 1;
  45     if (test__fixunsdfsi(2.0, 2))
  46         return 1;
  47     if (test__fixunsdfsi(2.01, 2))
  48         return 1;
  49     if (test__fixunsdfsi(-0.5, 0))
  50         return 1;
  51     if (test__fixunsdfsi(-0.99, 0))
  52         return 1;
  53 #if !TARGET_LIBGCC
  54     if (test__fixunsdfsi(-1.0, 0))  // libgcc ignores "returns 0 for negative input" spec
  55         return 1;
  56     if (test__fixunsdfsi(-1.5, 0))
  57         return 1;
  58     if (test__fixunsdfsi(-1.99, 0))
  59         return 1;
  60     if (test__fixunsdfsi(-2.0, 0))
  61         return 1;
  62     if (test__fixunsdfsi(-2.01, 0))
  63         return 1;
  64 #endif
  65
  66     if (test__fixunsdfsi(0x1.000000p+31, 0x80000000))
  67         return 1;
  68     if (test__fixunsdfsi(0x1.000000p+32, 0xFFFFFFFF))
  69         return 1;
  70     if (test__fixunsdfsi(0x1.FFFFFEp+31, 0xFFFFFF00))
  71         return 1;
  72     if (test__fixunsdfsi(0x1.FFFFFEp+30, 0x7FFFFF80))
  73         return 1;
  74     if (test__fixunsdfsi(0x1.FFFFFCp+30, 0x7FFFFF00))
  75         return 1;
  76
  77 #if !TARGET_LIBGCC
  78     if (test__fixunsdfsi(-0x1.FFFFFEp+30, 0))
  79         return 1;
  80     if (test__fixunsdfsi(-0x1.FFFFFCp+30, 0))
  81         return 1;
  82 #endif
  83
  84     if (test__fixunsdfsi(0x1.FFFFFFFEp+31, 0xFFFFFFFF))
  85         return 1;
  86     if (test__fixunsdfsi(0x1.FFFFFFFC00000p+30, 0x7FFFFFFF))
  87         return 1;
  88     if (test__fixunsdfsi(0x1.FFFFFFF800000p+30, 0x7FFFFFFE))
  89         return 1;
  90
  91    return 0;
  92 }