floatundisf_test.c revision 1.1.1.2
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 25COMPILER_RT_ABI float __floatundisf(du_int a); 26 27int 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 36char assumption_1[sizeof(du_int) == 2*sizeof(si_int)] = {0}; 37char assumption_2[sizeof(du_int)*CHAR_BIT == 64] = {0}; 38char assumption_3[sizeof(float)*CHAR_BIT == 32] = {0}; 39 40int 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