1b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//===-- floatdisf_test.c - Test __floatdisf -------------------------------===// 2b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// 3b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// The LLVM Compiler Infrastructure 4b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// 59ad441ffec97db647fee3725b3424284fb913e14Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open 69ad441ffec97db647fee3725b3424284fb913e14Howard Hinnant// Source Licenses. See LICENSE.TXT for details. 7b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// 8b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//===----------------------------------------------------------------------===// 9b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// 10b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// This file tests __floatdisf for the compiler_rt library. 11b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// 12b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//===----------------------------------------------------------------------===// 13b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 14b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#include "int_lib.h" 15b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#include <float.h> 16b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#include <stdio.h> 17b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 18b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// Returns: convert a to a float, rounding toward even. 19b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 20b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// Assumption: float is a IEEE 32 bit floating point type 21b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// di_int is a 64 bit integral type 22b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 23b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// seee eeee emmm mmmm mmmm mmmm mmmm mmmm 24b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 25b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarfloat __floatdisf(di_int a); 26b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 27b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarint test__floatdisf(di_int a, float expected) 28b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar{ 29b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar float x = __floatdisf(a); 30b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (x != expected) 31b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar printf("error in __floatdisf(%llX) = %a, expected %a\n", 32b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar a, x, expected); 33b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return x != expected; 34b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar} 35b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 36b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarchar assumption_1[sizeof(di_int) == 2*sizeof(si_int)] = {0}; 37b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarchar assumption_2[sizeof(di_int)*CHAR_BIT == 64] = {0}; 38b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarchar assumption_3[sizeof(float)*CHAR_BIT == 32] = {0}; 39b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 40b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarint main() 41b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar{ 42b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(0, 0.0F)) 43b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 44b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 45b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(1, 1.0F)) 46b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 47b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(2, 2.0F)) 48b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 49b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(-1, -1.0F)) 50b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 51b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(-2, -2.0F)) 52b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 53b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 54b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(0x7FFFFF8000000000LL, 0x1.FFFFFEp+62F)) 55b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 56b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(0x7FFFFF0000000000LL, 0x1.FFFFFCp+62F)) 57b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 58b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 59b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(0x8000008000000000LL, -0x1.FFFFFEp+62F)) 60b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 61b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(0x8000010000000000LL, -0x1.FFFFFCp+62F)) 62b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 63b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 64b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(0x8000000000000000LL, -0x1.000000p+63F)) 65b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 66b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(0x8000000000000001LL, -0x1.000000p+63F)) 67b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 68b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 69b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(0x0007FB72E8000000LL, 0x1.FEDCBAp+50F)) 70b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 71b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 72b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(0x0007FB72EA000000LL, 0x1.FEDCBAp+50F)) 73b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 74b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(0x0007FB72EB000000LL, 0x1.FEDCBAp+50F)) 75b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 76b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(0x0007FB72EBFFFFFFLL, 0x1.FEDCBAp+50F)) 77b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 78b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(0x0007FB72EC000000LL, 0x1.FEDCBCp+50F)) 79b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 80b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(0x0007FB72E8000001LL, 0x1.FEDCBAp+50F)) 81b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 82b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 83b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(0x0007FB72E6000000LL, 0x1.FEDCBAp+50F)) 84b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 85b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(0x0007FB72E7000000LL, 0x1.FEDCBAp+50F)) 86b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 87b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(0x0007FB72E7FFFFFFLL, 0x1.FEDCBAp+50F)) 88b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 89b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(0x0007FB72E4000001LL, 0x1.FEDCBAp+50F)) 90b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 91b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatdisf(0x0007FB72E4000000LL, 0x1.FEDCB8p+50F)) 92b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 93b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 94b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 0; 95b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar} 96