86 lines · c
1// RUN: %clang_builtins %s %librt -o %t && %run %t2// REQUIRES: librt_has_fixunssfdi3 4#include "int_lib.h"5#include <stdio.h>6 7// Returns: convert a to a unsigned long long, rounding toward zero.8// Negative values all become zero.9 10// Assumption: float is a IEEE 32 bit floating point type 11// du_int is a 64 bit integral type12// value in float is representable in du_int or is negative 13// (no range checking performed)14 15// seee eeee emmm mmmm mmmm mmmm mmmm mmmm16 17COMPILER_RT_ABI du_int __fixunssfdi(float a);18 19int test__fixunssfdi(float a, du_int expected)20{21 du_int x = __fixunssfdi(a);22 if (x != expected)23 printf("error in __fixunssfdi(%A) = %llX, expected %llX\n",24 a, x, expected);25 return x != expected;26}27 28char assumption_1[sizeof(du_int) == 2*sizeof(si_int)] = {0};29char assumption_2[sizeof(su_int)*CHAR_BIT == 32] = {0};30char assumption_3[sizeof(float)*CHAR_BIT == 32] = {0};31 32int main()33{34 if (test__fixunssfdi(0.0F, 0))35 return 1;36 37 if (test__fixunssfdi(0.5F, 0))38 return 1;39 if (test__fixunssfdi(0.99F, 0))40 return 1;41 if (test__fixunssfdi(1.0F, 1))42 return 1;43 if (test__fixunssfdi(1.5F, 1))44 return 1;45 if (test__fixunssfdi(1.99F, 1))46 return 1;47 if (test__fixunssfdi(2.0F, 2))48 return 1;49 if (test__fixunssfdi(2.01F, 2))50 return 1;51 if (test__fixunssfdi(-0.5F, 0))52 return 1;53 if (test__fixunssfdi(-0.99F, 0))54 return 1;55#if !TARGET_LIBGCC56 if (test__fixunssfdi(-1.0F, 0)) // libgcc ignores "returns 0 for negative input" spec57 return 1;58 if (test__fixunssfdi(-1.5F, 0))59 return 1;60 if (test__fixunssfdi(-1.99F, 0))61 return 1;62 if (test__fixunssfdi(-2.0F, 0))63 return 1;64 if (test__fixunssfdi(-2.01F, 0))65 return 1;66#endif67 68 if (test__fixunssfdi(0x1.FFFFFEp+63F, 0xFFFFFF0000000000LL))69 return 1;70 if (test__fixunssfdi(0x1.000000p+63F, 0x8000000000000000LL))71 return 1;72 if (test__fixunssfdi(0x1.FFFFFEp+62F, 0x7FFFFF8000000000LL))73 return 1;74 if (test__fixunssfdi(0x1.FFFFFCp+62F, 0x7FFFFF0000000000LL))75 return 1;76 77#if !TARGET_LIBGCC78 if (test__fixunssfdi(-0x1.FFFFFEp+62F, 0x0000000000000000LL))79 return 1;80 if (test__fixunssfdi(-0x1.FFFFFCp+62F, 0x0000000000000000LL))81 return 1;82#endif83 84 return 0;85}86