qemu

FORK: QEMU emulator
git clone https://git.neptards.moe/neptards/qemu.git
Log | Files | Refs | Submodules | LICENSE

test-i386-fxam.c (4650B)

      1 /* Test fxam 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_pseudo_nm16382 = { .s = { UINT64_C(1) << 63, 0x8000 } };
     13 volatile union u ld_invalid_1 = { .s = { 1, 1234 } };
     14 volatile union u ld_invalid_2 = { .s = { 0, 1234 } };
     15 volatile union u ld_invalid_3 = { .s = { 0, 0x7fff } };
     16 volatile union u ld_invalid_4 = { .s = { (UINT64_C(1) << 63) - 1, 0x7fff } };
     17 volatile union u ld_invalid_n1 = { .s = { 1, 0x8123 } };
     18 volatile union u ld_invalid_n2 = { .s = { 0, 0x8123 } };
     19 volatile union u ld_invalid_n3 = { .s = { 0, 0xffff } };
     20 volatile union u ld_invalid_n4 = { .s = { (UINT64_C(1) << 63) - 1, 0xffff } };
     21 
     22 #define C0 (1 << 8)
     23 #define C1 (1 << 9)
     24 #define C2 (1 << 10)
     25 #define C3 (1 << 14)
     26 #define FLAGS (C0 | C1 | C2 | C3)
     27 
     28 int main(void)
     29 {
     30     short sw;
     31     int ret = 0;
     32     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (0.0L));
     33     if ((sw & FLAGS) != C3) {
     34         printf("FAIL: +0\n");
     35         ret = 1;
     36     }
     37     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (-0.0L));
     38     if ((sw & FLAGS) != (C3 | C1)) {
     39         printf("FAIL: -0\n");
     40         ret = 1;
     41     }
     42     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (1.0L));
     43     if ((sw & FLAGS) != C2) {
     44         printf("FAIL: +normal\n");
     45         ret = 1;
     46     }
     47     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (-1.0L));
     48     if ((sw & FLAGS) != (C2 | C1)) {
     49         printf("FAIL: -normal\n");
     50         ret = 1;
     51     }
     52     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (__builtin_infl()));
     53     if ((sw & FLAGS) != (C2 | C0)) {
     54         printf("FAIL: +inf\n");
     55         ret = 1;
     56     }
     57     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (-__builtin_infl()));
     58     if ((sw & FLAGS) != (C2 | C1 | C0)) {
     59         printf("FAIL: -inf\n");
     60         ret = 1;
     61     }
     62     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (__builtin_nanl("")));
     63     if ((sw & FLAGS) != C0) {
     64         printf("FAIL: +nan\n");
     65         ret = 1;
     66     }
     67     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (-__builtin_nanl("")));
     68     if ((sw & FLAGS) != (C1 | C0)) {
     69         printf("FAIL: -nan\n");
     70         ret = 1;
     71     }
     72     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (__builtin_nansl("")));
     73     if ((sw & FLAGS) != C0) {
     74         printf("FAIL: +snan\n");
     75         ret = 1;
     76     }
     77     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (-__builtin_nansl("")));
     78     if ((sw & FLAGS) != (C1 | C0)) {
     79         printf("FAIL: -snan\n");
     80         ret = 1;
     81     }
     82     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (0x1p-16445L));
     83     if ((sw & FLAGS) != (C3 | C2)) {
     84         printf("FAIL: +denormal\n");
     85         ret = 1;
     86     }
     87     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (-0x1p-16445L));
     88     if ((sw & FLAGS) != (C3 | C2 | C1)) {
     89         printf("FAIL: -denormal\n");
     90         ret = 1;
     91     }
     92     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (ld_pseudo_m16382.ld));
     93     if ((sw & FLAGS) != (C3 | C2)) {
     94         printf("FAIL: +pseudo-denormal\n");
     95         ret = 1;
     96     }
     97     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (ld_pseudo_nm16382.ld));
     98     if ((sw & FLAGS) != (C3 | C2 | C1)) {
     99         printf("FAIL: -pseudo-denormal\n");
    100         ret = 1;
    101     }
    102     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (ld_invalid_1.ld));
    103     if ((sw & FLAGS) != 0) {
    104         printf("FAIL: +invalid 1\n");
    105         ret = 1;
    106     }
    107     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (ld_invalid_n1.ld));
    108     if ((sw & FLAGS) != C1) {
    109         printf("FAIL: -invalid 1\n");
    110         ret = 1;
    111     }
    112     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (ld_invalid_2.ld));
    113     if ((sw & FLAGS) != 0) {
    114         printf("FAIL: +invalid 2\n");
    115         ret = 1;
    116     }
    117     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (ld_invalid_n2.ld));
    118     if ((sw & FLAGS) != C1) {
    119         printf("FAIL: -invalid 2\n");
    120         ret = 1;
    121     }
    122     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (ld_invalid_3.ld));
    123     if ((sw & FLAGS) != 0) {
    124         printf("FAIL: +invalid 3\n");
    125         ret = 1;
    126     }
    127     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (ld_invalid_n3.ld));
    128     if ((sw & FLAGS) != C1) {
    129         printf("FAIL: -invalid 3\n");
    130         ret = 1;
    131     }
    132     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (ld_invalid_4.ld));
    133     if ((sw & FLAGS) != 0) {
    134         printf("FAIL: +invalid 4\n");
    135         ret = 1;
    136     }
    137     __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (ld_invalid_n4.ld));
    138     if ((sw & FLAGS) != C1) {
    139         printf("FAIL: -invalid 4\n");
    140         ret = 1;
    141     }
    142     return ret;
    143 }