1b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar//===-- floatundidf_test.c - Test __floatundidf ---------------------------===// 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 __floatundidf 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 double, rounding toward even. 19b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 20b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// Assumption: double is a IEEE 64 bit floating point type 21b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// du_int is a 64 bit integral type 22b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 23b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar// seee eeee eeee mmmm mmmm mmmm mmmm mmmm | mmmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm 24b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 25b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbardouble __floatundidf(du_int a); 26b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 27b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarint test__floatundidf(di_int a, double expected) 28b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar{ 29b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar double x = __floatundidf(a); 30b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (x != expected) 31b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar printf("error in __floatundidf(%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(double)*CHAR_BIT == 64] = {0}; 39b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 40b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbarint main() 41b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar{ 42b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0, 0.0)) 43b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 44b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 45b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(1, 1.0)) 46b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 47b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(2, 2.0)) 48b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 49b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(20, 20.0)) 50b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 51b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 52b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x7FFFFF8000000000LL, 0x1.FFFFFEp+62)) 53b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 54b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x7FFFFFFFFFFFF800LL, 0x1.FFFFFFFFFFFFEp+62)) 55b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 56b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x7FFFFF0000000000LL, 0x1.FFFFFCp+62)) 57b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 58b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x7FFFFFFFFFFFF000LL, 0x1.FFFFFFFFFFFFCp+62)) 59b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 60b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 61b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x8000008000000000LL, 0x1.000001p+63)) 62b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 63b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x8000000000000800LL, 0x1.0000000000001p+63)) 64b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 65b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x8000010000000000LL, 0x1.000002p+63)) 66b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 67b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x8000000000001000LL, 0x1.0000000000002p+63)) 68b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 69b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 70b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x8000000000000000LL, 0x1p+63)) 71b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 72b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x8000000000000001LL, 0x1p+63)) 73b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 74b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 75b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x0007FB72E8000000LL, 0x1.FEDCBAp+50)) 76b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 77b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 78b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x0007FB72EA000000LL, 0x1.FEDCBA8p+50)) 79b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 80b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x0007FB72EB000000LL, 0x1.FEDCBACp+50)) 81b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 82b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x0007FB72EBFFFFFFLL, 0x1.FEDCBAFFFFFFCp+50)) 83b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 84b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x0007FB72EC000000LL, 0x1.FEDCBBp+50)) 85b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 86b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x0007FB72E8000001LL, 0x1.FEDCBA0000004p+50)) 87b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 88b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 89b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x0007FB72E6000000LL, 0x1.FEDCB98p+50)) 90b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 91b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x0007FB72E7000000LL, 0x1.FEDCB9Cp+50)) 92b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 93b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x0007FB72E7FFFFFFLL, 0x1.FEDCB9FFFFFFCp+50)) 94b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 95b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x0007FB72E4000001LL, 0x1.FEDCB90000004p+50)) 96b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 97b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x0007FB72E4000000LL, 0x1.FEDCB9p+50)) 98b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 99b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 100b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x023479FD0E092DC0LL, 0x1.1A3CFE870496Ep+57)) 101b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 102b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x023479FD0E092DA1LL, 0x1.1A3CFE870496Dp+57)) 103b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 104b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x023479FD0E092DB0LL, 0x1.1A3CFE870496Ep+57)) 105b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 106b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x023479FD0E092DB8LL, 0x1.1A3CFE870496Ep+57)) 107b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 108b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x023479FD0E092DB6LL, 0x1.1A3CFE870496Ep+57)) 109b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 110b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x023479FD0E092DBFLL, 0x1.1A3CFE870496Ep+57)) 111b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 112b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x023479FD0E092DC1LL, 0x1.1A3CFE870496Ep+57)) 113b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 114b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x023479FD0E092DC7LL, 0x1.1A3CFE870496Ep+57)) 115b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 116b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x023479FD0E092DC8LL, 0x1.1A3CFE870496Ep+57)) 117b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 118b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x023479FD0E092DCFLL, 0x1.1A3CFE870496Ep+57)) 119b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 120b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x023479FD0E092DD0LL, 0x1.1A3CFE870496Ep+57)) 121b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 122b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x023479FD0E092DD1LL, 0x1.1A3CFE870496Fp+57)) 123b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 124b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x023479FD0E092DD8LL, 0x1.1A3CFE870496Fp+57)) 125b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 126b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x023479FD0E092DDFLL, 0x1.1A3CFE870496Fp+57)) 127b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 128b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar if (test__floatundidf(0x023479FD0E092DE0LL, 0x1.1A3CFE870496Fp+57)) 129b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 1; 130b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar 131b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar return 0; 132b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar} 133