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 COMPILER_RT_ABI 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 } 97
