1 // RUN: %clang_builtins %s %librt -o %t && %run %t 2 // REQUIRES: librt_has_floatdixf 3 4 #include "int_lib.h" 5 #include <stdio.h> 6 7 #if HAS_80_BIT_LONG_DOUBLE 8 // Returns: convert a to a long double, rounding toward even. 9 10 // Assumption: long double is a IEEE 80 bit floating point type padded to 128 bits 11 // di_int is a 64 bit integral type 12 13 // gggg gggg gggg gggg gggg gggg gggg gggg | gggg gggg gggg gggg seee eeee eeee eeee | 14 // 1mmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm | mmmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm 15 16 long COMPILER_RT_ABI double __floatdixf(di_int a); 17 18 int test__floatdixf(di_int a, long double expected) 19 { 20 long double x = __floatdixf(a); 21 if (x != expected) 22 printf("error in __floatdixf(%llX) = %LA, expected %LA\n", 23 a, x, expected); 24 return x != expected; 25 } 26 27 char assumption_1[sizeof(di_int) == 2*sizeof(si_int)] = {0}; 28 char assumption_2[sizeof(di_int)*CHAR_BIT == 64] = {0}; 29 char assumption_3[sizeof(long double)*CHAR_BIT == 128] = {0}; 30 #endif 31 32 int main() 33 { 34 #if HAS_80_BIT_LONG_DOUBLE 35 if (test__floatdixf(0, 0.0)) 36 return 1; 37 38 if (test__floatdixf(1, 1.0)) 39 return 1; 40 if (test__floatdixf(2, 2.0)) 41 return 1; 42 if (test__floatdixf(20, 20.0)) 43 return 1; 44 if (test__floatdixf(-1, -1.0)) 45 return 1; 46 if (test__floatdixf(-2, -2.0)) 47 return 1; 48 if (test__floatdixf(-20, -20.0)) 49 return 1; 50 51 if (test__floatdixf(0x7FFFFF8000000000LL, 0x1.FFFFFEp+62)) 52 return 1; 53 if (test__floatdixf(0x7FFFFFFFFFFFF800LL, 0x1.FFFFFFFFFFFFEp+62)) 54 return 1; 55 if (test__floatdixf(0x7FFFFF0000000000LL, 0x1.FFFFFCp+62)) 56 return 1; 57 if (test__floatdixf(0x7FFFFFFFFFFFF000LL, 0x1.FFFFFFFFFFFFCp+62)) 58 return 1; 59 60 if (test__floatdixf(0x8000008000000000LL, -0x1.FFFFFEp+62)) 61 return 1; 62 if (test__floatdixf(0x8000000000000800LL, -0x1.FFFFFFFFFFFFEp+62)) 63 return 1; 64 if (test__floatdixf(0x8000010000000000LL, -0x1.FFFFFCp+62)) 65 return 1; 66 if (test__floatdixf(0x8000000000001000LL, -0x1.FFFFFFFFFFFFCp+62)) 67 return 1; 68 69 if (test__floatdixf(0x8000000000000000LL, -0x1.000000p+63)) 70 return 1; 71 if (test__floatdixf(0x8000000000000001LL, -0x1.FFFFFFFFFFFFFFFCp+62L)) 72 return 1; 73 74 if (test__floatdixf(0x0007FB72E8000000LL, 0x1.FEDCBAp+50)) 75 return 1; 76 77 if (test__floatdixf(0x0007FB72EA000000LL, 0x1.FEDCBA8p+50)) 78 return 1; 79 if (test__floatdixf(0x0007FB72EB000000LL, 0x1.FEDCBACp+50)) 80 return 1; 81 if (test__floatdixf(0x0007FB72EBFFFFFFLL, 0x1.FEDCBAFFFFFFCp+50)) 82 return 1; 83 if (test__floatdixf(0x0007FB72EC000000LL, 0x1.FEDCBBp+50)) 84 return 1; 85 if (test__floatdixf(0x0007FB72E8000001LL, 0x1.FEDCBA0000004p+50)) 86 return 1; 87 88 if (test__floatdixf(0x0007FB72E6000000LL, 0x1.FEDCB98p+50)) 89 return 1; 90 if (test__floatdixf(0x0007FB72E7000000LL, 0x1.FEDCB9Cp+50)) 91 return 1; 92 if (test__floatdixf(0x0007FB72E7FFFFFFLL, 0x1.FEDCB9FFFFFFCp+50)) 93 return 1; 94 if (test__floatdixf(0x0007FB72E4000001LL, 0x1.FEDCB90000004p+50)) 95 return 1; 96 if (test__floatdixf(0x0007FB72E4000000LL, 0x1.FEDCB9p+50)) 97 return 1; 98 99 if (test__floatdixf(0x023479FD0E092DC0LL, 0x1.1A3CFE870496Ep+57)) 100 return 1; 101 if (test__floatdixf(0x023479FD0E092DA1LL, 0x8.D1E7F43824B684p+54L)) 102 return 1; 103 if (test__floatdixf(0x023479FD0E092DB0LL, 0x8.D1E7f43824B6Cp+54L)) 104 return 1; 105 if (test__floatdixf(0x023479FD0E092DB8LL, 0x8.D1E7F43824B6Ep+54L)) 106 return 1; 107 if (test__floatdixf(0x023479FD0E092DB6LL, 0x8.D1E7F43824B6D8p+54L)) 108 return 1; 109 if (test__floatdixf(0x023479FD0E092DBFLL, 0x8.D1E7F43824B6FCp+54L)) 110 return 1; 111 if (test__floatdixf(0x023479FD0E092DC1LL, 0x8.D1E7F43824B704p+54L)) 112 return 1; 113 if (test__floatdixf(0x023479FD0E092DC7LL, 0x8.D1E7F43824B71Cp+54L)) 114 return 1; 115 if (test__floatdixf(0x023479FD0E092DC8LL, 0x8.D1E7F43824B72p+54L)) 116 return 1; 117 if (test__floatdixf(0x023479FD0E092DCFLL, 0x8.D1E7F43824B73Cp+54L)) 118 return 1; 119 if (test__floatdixf(0x023479FD0E092DD0LL, 0x8.D1E7F43824B74p+54L)) 120 return 1; 121 if (test__floatdixf(0x023479FD0E092DD1LL, 0x8.D1E7F43824B744p+54L)) 122 return 1; 123 if (test__floatdixf(0x023479FD0E092DD8LL, 0x8.D1E7F43824B76p+54L)) 124 return 1; 125 if (test__floatdixf(0x023479FD0E092DDFLL, 0x8.D1E7F43824B77Cp+54L)) 126 return 1; 127 if (test__floatdixf(0x023479FD0E092DE0LL, 0x1.1A3CFE870496Fp+57)) 128 return 1; 129 130 #else 131 printf("skipped\n"); 132 #endif 133 return 0; 134 } 135