test-i386-fxtract.c (4249B)
1 /* Test fxtract instruction. */ 2 3 #include <stdint.h> 4 #include <stdio.h> 5 6 union u { 7 struct { uint64_t sig; uint16_t sign_exp; } s; 8 long double ld; 9 }; 10 11 volatile union u ld_pseudo_m16382 = { .s = { UINT64_C(1) << 63, 0 } }; 12 volatile union u ld_invalid_1 = { .s = { 1, 1234 } }; 13 volatile union u ld_invalid_2 = { .s = { 0, 1234 } }; 14 volatile union u ld_invalid_3 = { .s = { 0, 0x7fff } }; 15 volatile union u ld_invalid_4 = { .s = { (UINT64_C(1) << 63) - 1, 0x7fff } }; 16 17 volatile long double ld_sig, ld_exp; 18 19 int isnan_ld(long double x) 20 { 21 union u tmp = { .ld = x }; 22 return ((tmp.s.sign_exp & 0x7fff) == 0x7fff && 23 (tmp.s.sig >> 63) != 0 && 24 (tmp.s.sig << 1) != 0); 25 } 26 27 int issignaling_ld(long double x) 28 { 29 union u tmp = { .ld = x }; 30 return isnan_ld(x) && (tmp.s.sig & UINT64_C(0x4000000000000000)) == 0; 31 } 32 33 int main(void) 34 { 35 int ret = 0; 36 __asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) : "0" (2.5L)); 37 if (ld_sig != 1.25L || ld_exp != 1.0L) { 38 printf("FAIL: fxtract 2.5\n"); 39 ret = 1; 40 } 41 __asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) : "0" (0.0L)); 42 if (ld_sig != 0.0L || __builtin_copysignl(1.0L, ld_sig) != 1.0L || 43 ld_exp != -__builtin_infl()) { 44 printf("FAIL: fxtract 0.0\n"); 45 ret = 1; 46 } 47 __asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) : "0" (-0.0L)); 48 if (ld_sig != -0.0L || __builtin_copysignl(1.0L, ld_sig) != -1.0L || 49 ld_exp != -__builtin_infl()) { 50 printf("FAIL: fxtract -0.0\n"); 51 ret = 1; 52 } 53 __asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) : 54 "0" (__builtin_infl())); 55 if (ld_sig != __builtin_infl() || ld_exp != __builtin_infl()) { 56 printf("FAIL: fxtract inf\n"); 57 ret = 1; 58 } 59 __asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) : 60 "0" (-__builtin_infl())); 61 if (ld_sig != -__builtin_infl() || ld_exp != __builtin_infl()) { 62 printf("FAIL: fxtract -inf\n"); 63 ret = 1; 64 } 65 __asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) : 66 "0" (__builtin_nanl(""))); 67 if (!isnan_ld(ld_sig) || issignaling_ld(ld_sig) || 68 !isnan_ld(ld_exp) || issignaling_ld(ld_exp)) { 69 printf("FAIL: fxtract qnan\n"); 70 ret = 1; 71 } 72 __asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) : 73 "0" (__builtin_nansl(""))); 74 if (!isnan_ld(ld_sig) || issignaling_ld(ld_sig) || 75 !isnan_ld(ld_exp) || issignaling_ld(ld_exp)) { 76 printf("FAIL: fxtract snan\n"); 77 ret = 1; 78 } 79 __asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) : 80 "0" (0x1p-16445L)); 81 if (ld_sig != 1.0L || ld_exp != -16445.0L) { 82 printf("FAIL: fxtract subnormal\n"); 83 ret = 1; 84 } 85 __asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) : 86 "0" (ld_pseudo_m16382.ld)); 87 if (ld_sig != 1.0L || ld_exp != -16382.0L) { 88 printf("FAIL: fxtract pseudo\n"); 89 ret = 1; 90 } 91 __asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) : 92 "0" (ld_invalid_1.ld)); 93 if (!isnan_ld(ld_sig) || issignaling_ld(ld_sig) || 94 !isnan_ld(ld_exp) || issignaling_ld(ld_exp)) { 95 printf("FAIL: fxtract invalid 1\n"); 96 ret = 1; 97 } 98 __asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) : 99 "0" (ld_invalid_2.ld)); 100 if (!isnan_ld(ld_sig) || issignaling_ld(ld_sig) || 101 !isnan_ld(ld_exp) || issignaling_ld(ld_exp)) { 102 printf("FAIL: fxtract invalid 2\n"); 103 ret = 1; 104 } 105 __asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) : 106 "0" (ld_invalid_3.ld)); 107 if (!isnan_ld(ld_sig) || issignaling_ld(ld_sig) || 108 !isnan_ld(ld_exp) || issignaling_ld(ld_exp)) { 109 printf("FAIL: fxtract invalid 3\n"); 110 ret = 1; 111 } 112 __asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) : 113 "0" (ld_invalid_4.ld)); 114 if (!isnan_ld(ld_sig) || issignaling_ld(ld_sig) || 115 !isnan_ld(ld_exp) || issignaling_ld(ld_exp)) { 116 printf("FAIL: fxtract invalid 4\n"); 117 ret = 1; 118 } 119 return ret; 120 }