1// RUN: %clang_builtins %s %librt -o %t && %run %t 2//===-- fixunsdfsi_test.c - Test __fixunsdfsi -----------------------------===// 3// 4// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 5// See https://llvm.org/LICENSE.txt for license information. 6// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 7// 8//===----------------------------------------------------------------------===// 9// 10// This file tests __fixunsdfsi for the compiler_rt library. 11// 12//===----------------------------------------------------------------------===// 13 14#include "int_lib.h" 15#include <stdio.h> 16 17// Returns: convert a to a unsigned int, rounding toward zero. 18// Negative values all become zero. 19 20// Assumption: double is a IEEE 64 bit floating point type 21// su_int is a 32 bit integral type 22// value in double is representable in su_int or is negative 23// (no range checking performed) 24 25// seee eeee eeee mmmm mmmm mmmm mmmm mmmm | mmmm mmmm mmmm mmmm mmmm mmmm mmmm mmmm 26 27COMPILER_RT_ABI su_int __fixunsdfsi(double a); 28 29int test__fixunsdfsi(double a, su_int expected) 30{ 31 su_int x = __fixunsdfsi(a); 32 if (x != expected) 33 printf("error in __fixunsdfsi(%A) = %X, expected %X\n", a, x, expected); 34 return x != expected; 35} 36 37char assumption_2[sizeof(su_int)*CHAR_BIT == 32] = {0}; 38char assumption_3[sizeof(double)*CHAR_BIT == 64] = {0}; 39 40int main() 41{ 42 if (test__fixunsdfsi(0.0, 0)) 43 return 1; 44 45 if (test__fixunsdfsi(0.5, 0)) 46 return 1; 47 if (test__fixunsdfsi(0.99, 0)) 48 return 1; 49 if (test__fixunsdfsi(1.0, 1)) 50 return 1; 51 if (test__fixunsdfsi(1.5, 1)) 52 return 1; 53 if (test__fixunsdfsi(1.99, 1)) 54 return 1; 55 if (test__fixunsdfsi(2.0, 2)) 56 return 1; 57 if (test__fixunsdfsi(2.01, 2)) 58 return 1; 59 if (test__fixunsdfsi(-0.5, 0)) 60 return 1; 61 if (test__fixunsdfsi(-0.99, 0)) 62 return 1; 63#if !TARGET_LIBGCC 64 if (test__fixunsdfsi(-1.0, 0)) // libgcc ignores "returns 0 for negative input" spec 65 return 1; 66 if (test__fixunsdfsi(-1.5, 0)) 67 return 1; 68 if (test__fixunsdfsi(-1.99, 0)) 69 return 1; 70 if (test__fixunsdfsi(-2.0, 0)) 71 return 1; 72 if (test__fixunsdfsi(-2.01, 0)) 73 return 1; 74#endif 75 76 if (test__fixunsdfsi(0x1.000000p+31, 0x80000000)) 77 return 1; 78 if (test__fixunsdfsi(0x1.000000p+32, 0xFFFFFFFF)) 79 return 1; 80 if (test__fixunsdfsi(0x1.FFFFFEp+31, 0xFFFFFF00)) 81 return 1; 82 if (test__fixunsdfsi(0x1.FFFFFEp+30, 0x7FFFFF80)) 83 return 1; 84 if (test__fixunsdfsi(0x1.FFFFFCp+30, 0x7FFFFF00)) 85 return 1; 86 87#if !TARGET_LIBGCC 88 if (test__fixunsdfsi(-0x1.FFFFFEp+30, 0)) 89 return 1; 90 if (test__fixunsdfsi(-0x1.FFFFFCp+30, 0)) 91 return 1; 92#endif 93 94 if (test__fixunsdfsi(0x1.FFFFFFFEp+31, 0xFFFFFFFF)) 95 return 1; 96 if (test__fixunsdfsi(0x1.FFFFFFFC00000p+30, 0x7FFFFFFF)) 97 return 1; 98 if (test__fixunsdfsi(0x1.FFFFFFF800000p+30, 0x7FFFFFFE)) 99 return 1; 100 101 return 0; 102} 103