src/compiler-rt/test/builtins/Unit/floatundisf_test.c

   1 //===-- floatundisf_test.c - Test __floatundisf ---------------------------===//
   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 __floatundisf 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 //             du_int is a 64 bit integral type
  22
  23 // seee eeee emmm mmmm mmmm mmmm mmmm mmmm
  24
  25 float __floatundisf(du_int a);
  26
  27 int test__floatundisf(du_int a, float expected)
  28 {
  29     float x = __floatundisf(a);
  30     if (x != expected)
  31         printf("error in __floatundisf(%llX) = %a, expected %a\n",
  32                a, x, expected);
  33     return x != expected;
  34 }
  35
  36 char assumption_1[sizeof(du_int) == 2*sizeof(si_int)] = {0};
  37 char assumption_2[sizeof(du_int)*CHAR_BIT == 64] = {0};
  38 char assumption_3[sizeof(float)*CHAR_BIT == 32] = {0};
  39
  40 int main()
  41 {
  42     if (test__floatundisf(0, 0.0F))
  43         return 1;
  44
  45     if (test__floatundisf(1, 1.0F))
  46         return 1;
  47     if (test__floatundisf(2, 2.0F))
  48         return 1;
  49
  50     if (test__floatundisf(0x7FFFFF8000000000ULL, 0x1.FFFFFEp+62F))
  51         return 1;
  52     if (test__floatundisf(0x7FFFFF0000000000ULL, 0x1.FFFFFCp+62F))
  53         return 1;
  54
  55     if (test__floatundisf(0x8000008000000000ULL, 0x1p+63F))
  56         return 1;
  57     if (test__floatundisf(0x8000010000000000LL, 0x1.000002p+63F))
  58         return 1;
  59
  60     if (test__floatundisf(0x8000000000000000LL, 0x1p+63F))
  61         return 1;
  62     if (test__floatundisf(0x8000000000000001LL, 0x1p+63F))
  63         return 1;
  64
  65     if (test__floatundisf(0xFFFFFFFFFFFFFFFELL, 0x1p+64F))
  66         return 1;
  67     if (test__floatundisf(0xFFFFFFFFFFFFFFFFLL, 0x1p+64F))
  68         return 1;
  69
  70     if (test__floatundisf(0x0007FB72E8000000LL, 0x1.FEDCBAp+50F))
  71         return 1;
  72
  73     if (test__floatundisf(0x0007FB72EA000000LL, 0x1.FEDCBAp+50F))
  74         return 1;
  75     if (test__floatundisf(0x0007FB72EB000000LL, 0x1.FEDCBAp+50F))
  76         return 1;
  77     if (test__floatundisf(0x0007FB72EBFFFFFFLL, 0x1.FEDCBAp+50F))
  78         return 1;
  79     if (test__floatundisf(0x0007FB72EC000000LL, 0x1.FEDCBCp+50F))
  80         return 1;
  81     if (test__floatundisf(0x0007FB72E8000001LL, 0x1.FEDCBAp+50F))
  82         return 1;
  83
  84     if (test__floatundisf(0x0007FB72E6000000LL, 0x1.FEDCBAp+50F))
  85         return 1;
  86     if (test__floatundisf(0x0007FB72E7000000LL, 0x1.FEDCBAp+50F))
  87         return 1;
  88     if (test__floatundisf(0x0007FB72E7FFFFFFLL, 0x1.FEDCBAp+50F))
  89         return 1;
  90     if (test__floatundisf(0x0007FB72E4000001LL, 0x1.FEDCBAp+50F))
  91         return 1;
  92     if (test__floatundisf(0x0007FB72E4000000LL, 0x1.FEDCB8p+50F))
  93         return 1;
  94
  95    return 0;
  96 }