test/Unit/floatdisf_test.c

   1 //===-- floatdisf_test.c - Test __floatdisf -------------------------------===//
   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 __floatdisf for the compiler_rt library.
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14 #include "int_lib.h"
  15 #include <float.h>
  16 #include <stdio.h>
  17
  18 // Returns: convert a to a float, rounding toward even.
  19
  20 // Assumption: float is a IEEE 32 bit floating point type
  21 //             di_int is a 64 bit integral type
  22
  23 // seee eeee emmm mmmm mmmm mmmm mmmm mmmm
  24
  25 float __floatdisf(di_int a);
  26
  27 int test__floatdisf(di_int a, float expected)
  28 {
  29     float x = __floatdisf(a);
  30     if (x != expected)
  31         printf("error in __floatdisf(%llX) = %a, expected %a\n",
  32                a, x, expected);
  33     return x != expected;
  34 }
  35
  36 char assumption_1[sizeof(di_int) == 2*sizeof(si_int)] = {0};
  37 char assumption_2[sizeof(di_int)*CHAR_BIT == 64] = {0};
  38 char assumption_3[sizeof(float)*CHAR_BIT == 32] = {0};
  39
  40 int main()
  41 {
  42     if (test__floatdisf(0, 0.0F))
  43         return 1;
  44
  45     if (test__floatdisf(1, 1.0F))
  46         return 1;
  47     if (test__floatdisf(2, 2.0F))
  48         return 1;
  49     if (test__floatdisf(-1, -1.0F))
  50         return 1;
  51     if (test__floatdisf(-2, -2.0F))
  52         return 1;
  53
  54     if (test__floatdisf(0x7FFFFF8000000000LL, 0x1.FFFFFEp+62F))
  55         return 1;
  56     if (test__floatdisf(0x7FFFFF0000000000LL, 0x1.FFFFFCp+62F))
  57         return 1;
  58
  59     if (test__floatdisf(0x8000008000000000LL, -0x1.FFFFFEp+62F))
  60         return 1;
  61     if (test__floatdisf(0x8000010000000000LL, -0x1.FFFFFCp+62F))
  62         return 1;
  63
  64     if (test__floatdisf(0x8000000000000000LL, -0x1.000000p+63F))
  65         return 1;
  66     if (test__floatdisf(0x8000000000000001LL, -0x1.000000p+63F))
  67         return 1;
  68
  69     if (test__floatdisf(0x0007FB72E8000000LL, 0x1.FEDCBAp+50F))
  70         return 1;
  71
  72     if (test__floatdisf(0x0007FB72EA000000LL, 0x1.FEDCBAp+50F))
  73         return 1;
  74     if (test__floatdisf(0x0007FB72EB000000LL, 0x1.FEDCBAp+50F))
  75         return 1;
  76     if (test__floatdisf(0x0007FB72EBFFFFFFLL, 0x1.FEDCBAp+50F))
  77         return 1;
  78     if (test__floatdisf(0x0007FB72EC000000LL, 0x1.FEDCBCp+50F))
  79         return 1;
  80     if (test__floatdisf(0x0007FB72E8000001LL, 0x1.FEDCBAp+50F))
  81         return 1;
  82
  83     if (test__floatdisf(0x0007FB72E6000000LL, 0x1.FEDCBAp+50F))
  84         return 1;
  85     if (test__floatdisf(0x0007FB72E7000000LL, 0x1.FEDCBAp+50F))
  86         return 1;
  87     if (test__floatdisf(0x0007FB72E7FFFFFFLL, 0x1.FEDCBAp+50F))
  88         return 1;
  89     if (test__floatdisf(0x0007FB72E4000001LL, 0x1.FEDCBAp+50F))
  90         return 1;
  91     if (test__floatdisf(0x0007FB72E4000000LL, 0x1.FEDCB8p+50F))
  92         return 1;
  93
  94    return 0;
  95 }