fixunsxfdi_test.c revision 1.1.1.2
1//===-- fixunsxfdi_test.c - Test __fixunsxfdi -----------------------------===// 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 __fixunsxfdi for the compiler_rt library. 11// 12//===----------------------------------------------------------------------===// 13 14#include "int_lib.h" 15#include <stdio.h> 16#include <limits.h> 17 18 19#if HAS_80_BIT_LONG_DOUBLE 20// Returns: convert a to a unsigned long long, rounding toward zero. 21// Negative values all become zero. 22 23// Assumption: long double is an intel 80 bit floating point type padded with 6 bytes 24// du_int is a 64 bit integral type 25// value in long double is representable in du_int or is negative 26// (no range checking performed) 27 28// gggg gggg gggg gggg gggg gggg gggg gggg | gggg gggg gggg gggg seee eeee eeee eeee | 29// 1mmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm | mmmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm 30 31COMPILER_RT_ABI du_int __fixunsxfdi(long double a); 32 33int test__fixunsxfdi(long double a, du_int expected) 34{ 35 du_int x = __fixunsxfdi(a); 36 if (x != expected) 37 printf("error in __fixunsxfdi(%LA) = %llX, expected %llX\n", 38 a, x, expected); 39 return x != expected; 40} 41 42char assumption_1[sizeof(du_int) == 2*sizeof(su_int)] = {0}; 43char assumption_2[sizeof(du_int)*CHAR_BIT == 64] = {0}; 44char assumption_3[sizeof(long double)*CHAR_BIT == 128] = {0}; 45#endif 46 47int main() 48{ 49#if HAS_80_BIT_LONG_DOUBLE 50 if (test__fixunsxfdi(0.0, 0)) 51 return 1; 52 53 if (test__fixunsxfdi(0.5, 0)) 54 return 1; 55 if (test__fixunsxfdi(0.99, 0)) 56 return 1; 57 if (test__fixunsxfdi(1.0, 1)) 58 return 1; 59 if (test__fixunsxfdi(1.5, 1)) 60 return 1; 61 if (test__fixunsxfdi(1.99, 1)) 62 return 1; 63 if (test__fixunsxfdi(2.0, 2)) 64 return 1; 65 if (test__fixunsxfdi(2.01, 2)) 66 return 1; 67 if (test__fixunsxfdi(-0.5, 0)) 68 return 1; 69 if (test__fixunsxfdi(-0.99, 0)) 70 return 1; 71 if (test__fixunsxfdi(-1.0, 0)) 72 return 1; 73 if (test__fixunsxfdi(-1.5, 0)) 74 return 1; 75 if (test__fixunsxfdi(-1.99, 0)) 76 return 1; 77 if (test__fixunsxfdi(-2.0, 0)) 78 return 1; 79 if (test__fixunsxfdi(-2.01, 0)) 80 return 1; 81 82 if (test__fixunsxfdi(0x1.FFFFFEp+62, 0x7FFFFF8000000000LL)) 83 return 1; 84 if (test__fixunsxfdi(0x1.FFFFFCp+62, 0x7FFFFF0000000000LL)) 85 return 1; 86 87 if (test__fixunsxfdi(-0x1.FFFFFEp+62, 0)) 88 return 1; 89 if (test__fixunsxfdi(-0x1.FFFFFCp+62, 0)) 90 return 1; 91 92 if (test__fixunsxfdi(0x1.FFFFFFFFFFFFFp+62, 0x7FFFFFFFFFFFFC00LL)) 93 return 1; 94 if (test__fixunsxfdi(0x1.FFFFFFFFFFFFEp+62, 0x7FFFFFFFFFFFF800LL)) 95 return 1; 96 97 if (test__fixunsxfdi(-0x1.FFFFFFFFFFFFFp+62, 0)) 98 return 1; 99 if (test__fixunsxfdi(-0x1.FFFFFFFFFFFFEp+62, 0)) 100 return 1; 101 102 if (test__fixunsxfdi(0x1.FFFFFFFFFFFFFFFEp+63L, 0xFFFFFFFFFFFFFFFFLL)) 103 return 1; 104 if (test__fixunsxfdi(0x1.0000000000000002p+63L, 0x8000000000000001LL)) 105 return 1; 106 if (test__fixunsxfdi(0x1.0000000000000000p+63L, 0x8000000000000000LL)) 107 return 1; 108 if (test__fixunsxfdi(0x1.FFFFFFFFFFFFFFFCp+62L, 0x7FFFFFFFFFFFFFFFLL)) 109 return 1; 110 if (test__fixunsxfdi(0x1.FFFFFFFFFFFFFFF8p+62L, 0x7FFFFFFFFFFFFFFELL)) 111 return 1; 112 113 if (test__fixunsxfdi(-0x1.0000000000000000p+63L, 0)) 114 return 1; 115 if (test__fixunsxfdi(-0x1.FFFFFFFFFFFFFFFCp+62L, 0)) 116 return 1; 117 if (test__fixunsxfdi(-0x1.FFFFFFFFFFFFFFF8p+62L, 0)) 118 return 1; 119 120#else 121 printf("skipped\n"); 122#endif 123 return 0; 124} 125