test-i386-snan-convert.c (1565B)
1 /* Test conversions of signaling NaNs to and from long double. */ 2 3 #include <stdint.h> 4 #include <stdio.h> 5 6 volatile float f_res; 7 volatile double d_res; 8 volatile long double ld_res; 9 10 volatile float f_snan = __builtin_nansf(""); 11 volatile double d_snan = __builtin_nans(""); 12 volatile long double ld_snan = __builtin_nansl(""); 13 14 int issignaling_f(float x) 15 { 16 union { float f; uint32_t u; } u = { .f = x }; 17 return (u.u & 0x7fffffff) > 0x7f800000 && (u.u & 0x400000) == 0; 18 } 19 20 int issignaling_d(double x) 21 { 22 union { double d; uint64_t u; } u = { .d = x }; 23 return (((u.u & UINT64_C(0x7fffffffffffffff)) > 24 UINT64_C(0x7ff0000000000000)) && 25 (u.u & UINT64_C(0x8000000000000)) == 0); 26 } 27 28 int issignaling_ld(long double x) 29 { 30 union { 31 long double ld; 32 struct { uint64_t sig; uint16_t sign_exp; } s; 33 } u = { .ld = x }; 34 return ((u.s.sign_exp & 0x7fff) == 0x7fff && 35 (u.s.sig >> 63) != 0 && 36 (u.s.sig & UINT64_C(0x4000000000000000)) == 0); 37 } 38 39 int main(void) 40 { 41 int ret = 0; 42 ld_res = f_snan; 43 if (issignaling_ld(ld_res)) { 44 printf("FAIL: float -> long double\n"); 45 ret = 1; 46 } 47 ld_res = d_snan; 48 if (issignaling_ld(ld_res)) { 49 printf("FAIL: double -> long double\n"); 50 ret = 1; 51 } 52 f_res = ld_snan; 53 if (issignaling_d(f_res)) { 54 printf("FAIL: long double -> float\n"); 55 ret = 1; 56 } 57 d_res = ld_snan; 58 if (issignaling_d(d_res)) { 59 printf("FAIL: long double -> double\n"); 60 ret = 1; 61 } 62 return ret; 63 }