1 // RUN: %clang_builtins %s %librt -o %t && %run %t 2 // REQUIRES: librt_has_floatundisf 3 4 #include "int_lib.h" 5 #include <float.h> 6 #include <stdio.h> 7 8 // Returns: convert a to a float, rounding toward even. 9 10 // Assumption: float is a IEEE 32 bit floating point type 11 // du_int is a 64 bit integral type 12 13 // seee eeee emmm mmmm mmmm mmmm mmmm mmmm 14 15 COMPILER_RT_ABI float __floatundisf(du_int a); 16 17 int test__floatundisf(du_int a, float expected) 18 { 19 float x = __floatundisf(a); 20 if (x != expected) test__floattixf(ti_int a,long double expected)21 printf("error in __floatundisf(%llX) = %a, expected %a\n", 22 a, x, expected); 23 return x != expected; 24 } 25 26 char assumption_1[sizeof(du_int) == 2*sizeof(si_int)] = {0}; 27 char assumption_2[sizeof(du_int)*CHAR_BIT == 64] = {0}; 28 char assumption_3[sizeof(float)*CHAR_BIT == 32] = {0}; 29 30 int main() 31 { 32 if (test__floatundisf(0, 0.0F)) 33 return 1; 34 35 if (test__floatundisf(1, 1.0F)) 36 return 1; 37 if (test__floatundisf(2, 2.0F)) 38 return 1; 39 main()40 if (test__floatundisf(0x7FFFFF8000000000ULL, 0x1.FFFFFEp+62F)) 41 return 1; 42 if (test__floatundisf(0x7FFFFF0000000000ULL, 0x1.FFFFFCp+62F)) 43 return 1; 44 45 if (test__floatundisf(0x8000008000000000ULL, 0x1p+63F)) 46 return 1; 47 if (test__floatundisf(0x8000010000000000LL, 0x1.000002p+63F)) 48 return 1; 49 50 if (test__floatundisf(0x8000000000000000LL, 0x1p+63F)) 51 return 1; 52 if (test__floatundisf(0x8000000000000001LL, 0x1p+63F)) 53 return 1; 54 55 if (test__floatundisf(0xFFFFFFFFFFFFFFFELL, 0x1p+64F)) 56 return 1; 57 if (test__floatundisf(0xFFFFFFFFFFFFFFFFLL, 0x1p+64F)) 58 return 1; 59 60 if (test__floatundisf(0x0007FB72E8000000LL, 0x1.FEDCBAp+50F)) 61 return 1; 62 63 if (test__floatundisf(0x0007FB72EA000000LL, 0x1.FEDCBAp+50F)) 64 return 1; 65 if (test__floatundisf(0x0007FB72EB000000LL, 0x1.FEDCBAp+50F)) 66 return 1; 67 if (test__floatundisf(0x0007FB72EBFFFFFFLL, 0x1.FEDCBAp+50F)) 68 return 1; 69 if (test__floatundisf(0x0007FB72EC000000LL, 0x1.FEDCBCp+50F)) 70 return 1; 71 if (test__floatundisf(0x0007FB72E8000001LL, 0x1.FEDCBAp+50F)) 72 return 1; 73 74 if (test__floatundisf(0x0007FB72E6000000LL, 0x1.FEDCBAp+50F)) 75 return 1; 76 if (test__floatundisf(0x0007FB72E7000000LL, 0x1.FEDCBAp+50F)) 77 return 1; 78 if (test__floatundisf(0x0007FB72E7FFFFFFLL, 0x1.FEDCBAp+50F)) 79 return 1; 80 if (test__floatundisf(0x0007FB72E4000001LL, 0x1.FEDCBAp+50F)) 81 return 1; 82 if (test__floatundisf(0x0007FB72E4000000LL, 0x1.FEDCB8p+50F)) 83 return 1; 84 85 return 0; 86 } 87