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