Home | History | Annotate | Download | only in Unit
      1 //===-- fixdfti_test.c - Test __fixdfti -----------------------------------===//
      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 __fixdfti for the compiler_rt library.
     11 //
     12 //===----------------------------------------------------------------------===//
     13 
     14 #if __x86_64
     15 
     16 #include "int_lib.h"
     17 #include <stdio.h>
     18 
     19 // Returns: convert a to a signed long long, rounding toward zero.
     20 
     21 // Assumption: double is a IEEE 64 bit floating point type
     22 //             su_int is a 32 bit integral type
     23 //             value in double is representable in ti_int (no range checking performed)
     24 
     25 // seee eeee eeee mmmm mmmm mmmm mmmm mmmm | mmmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm
     26 
     27 ti_int __fixdfti(double a);
     28 
     29 int test__fixdfti(double a, ti_int expected)
     30 {
     31     ti_int x = __fixdfti(a);
     32     if (x != expected)
     33     {
     34         twords xt;
     35         xt.all = x;
     36         twords expectedt;
     37         expectedt.all = expected;
     38         printf("error in __fixdfti(%A) = 0x%.16llX%.16llX, expected 0x%.16llX%.16llX\n",
     39         a, xt.s.high, xt.s.low, expectedt.s.high, expectedt.s.low);
     40     }
     41     return x != expected;
     42 }
     43 
     44 char assumption_1[sizeof(ti_int) == 2*sizeof(di_int)] = {0};
     45 char assumption_2[sizeof(su_int)*CHAR_BIT == 32] = {0};
     46 char assumption_3[sizeof(double)*CHAR_BIT == 64] = {0};
     47 
     48 #endif
     49 
     50 int main()
     51 {
     52 #if __x86_64
     53     if (test__fixdfti(0.0, 0))
     54         return 1;
     55 
     56     if (test__fixdfti(0.5, 0))
     57         return 1;
     58     if (test__fixdfti(0.99, 0))
     59         return 1;
     60     if (test__fixdfti(1.0, 1))
     61         return 1;
     62     if (test__fixdfti(1.5, 1))
     63         return 1;
     64     if (test__fixdfti(1.99, 1))
     65         return 1;
     66     if (test__fixdfti(2.0, 2))
     67         return 1;
     68     if (test__fixdfti(2.01, 2))
     69         return 1;
     70     if (test__fixdfti(-0.5, 0))
     71         return 1;
     72     if (test__fixdfti(-0.99, 0))
     73         return 1;
     74     if (test__fixdfti(-1.0, -1))
     75         return 1;
     76     if (test__fixdfti(-1.5, -1))
     77         return 1;
     78     if (test__fixdfti(-1.99, -1))
     79         return 1;
     80     if (test__fixdfti(-2.0, -2))
     81         return 1;
     82     if (test__fixdfti(-2.01, -2))
     83         return 1;
     84 
     85     if (test__fixdfti(0x1.FFFFFEp+62, 0x7FFFFF8000000000LL))
     86         return 1;
     87     if (test__fixdfti(0x1.FFFFFCp+62, 0x7FFFFF0000000000LL))
     88         return 1;
     89 
     90     if (test__fixdfti(-0x1.FFFFFEp+62, make_ti(0xFFFFFFFFFFFFFFFFLL,
     91                                                0x8000008000000000LL)))
     92         return 1;
     93     if (test__fixdfti(-0x1.FFFFFCp+62, make_ti(0xFFFFFFFFFFFFFFFFLL,
     94                                                0x8000010000000000LL)))
     95         return 1;
     96 
     97     if (test__fixdfti(0x1.FFFFFFFFFFFFFp+62, 0x7FFFFFFFFFFFFC00LL))
     98         return 1;
     99     if (test__fixdfti(0x1.FFFFFFFFFFFFEp+62, 0x7FFFFFFFFFFFF800LL))
    100         return 1;
    101 
    102     if (test__fixdfti(-0x1.FFFFFFFFFFFFFp+62, make_ti(0xFFFFFFFFFFFFFFFFLL,
    103                                                       0x8000000000000400LL)))
    104         return 1;
    105     if (test__fixdfti(-0x1.FFFFFFFFFFFFEp+62, make_ti(0xFFFFFFFFFFFFFFFFLL,
    106                                                       0x8000000000000800LL)))
    107         return 1;
    108 
    109     if (test__fixdfti(0x1.FFFFFFFFFFFFFp+126, make_ti(0x7FFFFFFFFFFFFC00LL, 0)))
    110         return 1;
    111     if (test__fixdfti(0x1.FFFFFFFFFFFFEp+126, make_ti(0x7FFFFFFFFFFFF800LL, 0)))
    112         return 1;
    113 
    114     if (test__fixdfti(-0x1.FFFFFFFFFFFFFp+126, make_ti(0x8000000000000400LL, 0)))
    115         return 1;
    116     if (test__fixdfti(-0x1.FFFFFFFFFFFFEp+126, make_ti(0x8000000000000800LL, 0)))
    117         return 1;
    118 
    119 #else
    120     printf("skipped\n");
    121 #endif
    122    return 0;
    123 }
    124