1 //===-- floatditf_test.c - Test __floatditf -------------------------------===// 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 __floatditf for the compiler_rt library. 11 // 12 //===----------------------------------------------------------------------===// 13 14 #include "int_lib.h" 15 #include <math.h> 16 #include <complex.h> 17 #include <stdio.h> 18 19 #if __LDBL_MANT_DIG__ == 113 20 21 #include "fp_test.h" 22 23 // Returns: long integer converted to long double 24 25 COMPILER_RT_ABI long double __floatditf(long long a); 26 27 int test__floatditf(long long a, uint64_t expectedHi, uint64_t expectedLo) 28 { 29 long double x = __floatditf(a); 30 int ret = compareResultLD(x, expectedHi, expectedLo); 31 32 if (ret) 33 printf("error in __floatditf(%Ld) = %.20Lf, " 34 "expected %.20Lf\n", a, x, fromRep128(expectedHi, expectedLo)); 35 return ret; 36 } 37 38 char assumption_1[sizeof(long double) * CHAR_BIT == 128] = {0}; 39 40 #endif 41 42 int main() 43 { 44 #if __LDBL_MANT_DIG__ == 113 45 if (test__floatditf(0x7fffffffffffffff, UINT64_C(0x403dffffffffffff), UINT64_C(0xfffc000000000000))) 46 return 1; 47 if (test__floatditf(0x123456789abcdef1, UINT64_C(0x403b23456789abcd), UINT64_C(0xef10000000000000))) 48 return 1; 49 if (test__floatditf(0x2, UINT64_C(0x4000000000000000), UINT64_C(0x0))) 50 return 1; 51 if (test__floatditf(0x1, UINT64_C(0x3fff000000000000), UINT64_C(0x0))) 52 return 1; 53 if (test__floatditf(0x0, UINT64_C(0x0), UINT64_C(0x0))) 54 return 1; 55 if (test__floatditf(0xffffffffffffffff, UINT64_C(0xbfff000000000000), UINT64_C(0x0))) 56 return 1; 57 if (test__floatditf(0xfffffffffffffffe, UINT64_C(0xc000000000000000), UINT64_C(0x0))) 58 return 1; 59 if (test__floatditf(-0x123456789abcdef1, UINT64_C(0xc03b23456789abcd), UINT64_C(0xef10000000000000))) 60 return 1; 61 if (test__floatditf(0x8000000000000000, UINT64_C(0xc03e000000000000), UINT64_C(0x0))) 62 return 1; 63 64 #else 65 printf("skipped\n"); 66 67 #endif 68 return 0; 69 } 70
