Home | History | Annotate | Download | only in ppc32
      1 PPC floating point arith insns with three args:
      2         fsel 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
      3         fsel 0010000000000001, 0010000000000001, bfe00094e0000359 => 0010000000000000
      4         fsel 0010000000000001, 80100094e0000359, 0010000000000001 => 80100094e0000300
      5         fsel 0010000000000001, 80100094e0000359, bfe00094e0000359 => 80100094e0000300
      6         fsel 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0010000000000000
      7         fsel 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 0010000000000000
      8         fsel 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80100094e0000300
      9         fsel 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 80100094e0000300
     10         fsel bfe0000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
     11         fsel bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
     12         fsel bfe0000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
     13         fsel bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
     14 
     15        fmadd 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
     16        fmadd 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
     17        fmadd 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
     18        fmadd 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
     19        fmadd 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0018004a70000100
     20        fmadd 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
     21        fmadd 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0007ff6b1d4b5e00
     22        fmadd 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
     23        fmadd bfe0000000000001, 0010000000000001, 0010000000000001 => 0008000000000000
     24        fmadd bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
     25        fmadd bfe0000000000001, 80100094e0000359, 0010000000000001 => 0018004a70000100
     26        fmadd bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
     27 
     28       fmadds 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
     29       fmadds 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
     30       fmadds 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
     31       fmadds 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
     32       fmadds 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000
     33       fmadds 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
     34       fmadds 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000
     35       fmadds 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
     36       fmadds bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
     37       fmadds bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
     38       fmadds bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
     39       fmadds bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
     40 
     41        fmsub 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000
     42        fmsub 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
     43        fmsub 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000
     44        fmsub 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
     45        fmsub 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8007ffb58ffffe00
     46        fmsub 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
     47        fmsub 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80180094e2b4a100
     48        fmsub 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
     49        fmsub bfe0000000000001, 0010000000000001, 0010000000000001 => 8018000000000000
     50        fmsub bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
     51        fmsub bfe0000000000001, 80100094e0000359, 0010000000000001 => 8007ffb58ffffe00
     52        fmsub bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
     53 
     54       fmsubs 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
     55       fmsubs 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
     56       fmsubs 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
     57       fmsubs 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
     58       fmsubs 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000
     59       fmsubs 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
     60       fmsubs 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000
     61       fmsubs 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
     62       fmsubs bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
     63       fmsubs bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
     64       fmsubs bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
     65       fmsubs bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
     66 
     67       fnmadd 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000
     68       fnmadd 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
     69       fnmadd 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000
     70       fnmadd 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
     71       fnmadd 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8018004a70000100
     72       fnmadd 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
     73       fnmadd 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8007ff6b1d4b5e00
     74       fnmadd 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
     75       fnmadd bfe0000000000001, 0010000000000001, 0010000000000001 => 8008000000000000
     76       fnmadd bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
     77       fnmadd bfe0000000000001, 80100094e0000359, 0010000000000001 => 8018004a70000100
     78       fnmadd bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
     79 
     80      fnmadds 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
     81      fnmadds 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
     82      fnmadds 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
     83      fnmadds 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
     84      fnmadds 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000
     85      fnmadds 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
     86      fnmadds 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000
     87      fnmadds 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
     88      fnmadds bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
     89      fnmadds bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
     90      fnmadds bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
     91      fnmadds bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
     92 
     93       fnmsub 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
     94       fnmsub 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
     95       fnmsub 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
     96       fnmsub 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
     97       fnmsub 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0007ffb58ffffe00
     98       fnmsub 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
     99       fnmsub 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 00180094e2b4a100
    100       fnmsub 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
    101       fnmsub bfe0000000000001, 0010000000000001, 0010000000000001 => 0018000000000000
    102       fnmsub bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
    103       fnmsub bfe0000000000001, 80100094e0000359, 0010000000000001 => 0007ffb58ffffe00
    104       fnmsub bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
    105 
    106      fnmsubs 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
    107      fnmsubs 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
    108      fnmsubs 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
    109      fnmsubs 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
    110      fnmsubs 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000
    111      fnmsubs 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
    112      fnmsubs 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000
    113      fnmsubs 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
    114      fnmsubs bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
    115      fnmsubs bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
    116      fnmsubs bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
    117      fnmsubs bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
    118 
    119 PPC floating point arith insns
    120     with three args with flags update:
    121        fsel. 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
    122        fsel. 0010000000000001, 0010000000000001, bfe00094e0000359 => 0010000000000000
    123        fsel. 0010000000000001, 80100094e0000359, 0010000000000001 => 80100094e0000300
    124        fsel. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 80100094e0000300
    125        fsel. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0010000000000000
    126        fsel. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 0010000000000000
    127        fsel. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80100094e0000300
    128        fsel. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 80100094e0000300
    129        fsel. bfe0000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
    130        fsel. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
    131        fsel. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
    132        fsel. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
    133 
    134       fmadd. 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
    135       fmadd. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
    136       fmadd. 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
    137       fmadd. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
    138       fmadd. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0018004a70000100
    139       fmadd. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
    140       fmadd. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0007ff6b1d4b5e00
    141       fmadd. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
    142       fmadd. bfe0000000000001, 0010000000000001, 0010000000000001 => 0008000000000000
    143       fmadd. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
    144       fmadd. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0018004a70000100
    145       fmadd. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
    146 
    147      fmadds. 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
    148      fmadds. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
    149      fmadds. 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
    150      fmadds. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
    151      fmadds. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000
    152      fmadds. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
    153      fmadds. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000
    154      fmadds. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
    155      fmadds. bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
    156      fmadds. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
    157      fmadds. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
    158      fmadds. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
    159 
    160       fmsub. 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000
    161       fmsub. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
    162       fmsub. 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000
    163       fmsub. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
    164       fmsub. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8007ffb58ffffe00
    165       fmsub. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
    166       fmsub. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80180094e2b4a100
    167       fmsub. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
    168       fmsub. bfe0000000000001, 0010000000000001, 0010000000000001 => 8018000000000000
    169       fmsub. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
    170       fmsub. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8007ffb58ffffe00
    171       fmsub. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
    172 
    173      fmsubs. 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
    174      fmsubs. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
    175      fmsubs. 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
    176      fmsubs. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
    177      fmsubs. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000
    178      fmsubs. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
    179      fmsubs. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000
    180      fmsubs. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
    181      fmsubs. bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
    182      fmsubs. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
    183      fmsubs. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
    184      fmsubs. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
    185 
    186      fnmadd. 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000
    187      fnmadd. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
    188      fnmadd. 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000
    189      fnmadd. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
    190      fnmadd. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8018004a70000100
    191      fnmadd. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
    192      fnmadd. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8007ff6b1d4b5e00
    193      fnmadd. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
    194      fnmadd. bfe0000000000001, 0010000000000001, 0010000000000001 => 8008000000000000
    195      fnmadd. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
    196      fnmadd. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8018004a70000100
    197      fnmadd. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
    198 
    199     fnmadds. 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
    200     fnmadds. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
    201     fnmadds. 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
    202     fnmadds. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
    203     fnmadds. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000
    204     fnmadds. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
    205     fnmadds. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000
    206     fnmadds. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
    207     fnmadds. bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
    208     fnmadds. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
    209     fnmadds. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
    210     fnmadds. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
    211 
    212      fnmsub. 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
    213      fnmsub. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
    214      fnmsub. 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
    215      fnmsub. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
    216      fnmsub. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0007ffb58ffffe00
    217      fnmsub. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
    218      fnmsub. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 00180094e2b4a100
    219      fnmsub. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
    220      fnmsub. bfe0000000000001, 0010000000000001, 0010000000000001 => 0018000000000000
    221      fnmsub. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
    222      fnmsub. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0007ffb58ffffe00
    223      fnmsub. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
    224 
    225     fnmsubs. 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
    226     fnmsubs. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
    227     fnmsubs. 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
    228     fnmsubs. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
    229     fnmsubs. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000
    230     fnmsubs. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
    231     fnmsubs. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000
    232     fnmsubs. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
    233     fnmsubs. bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
    234     fnmsubs. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
    235     fnmsubs. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
    236     fnmsubs. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
    237 
    238 PPC floating point arith insns with two args:
    239         fadd 0010000000000001, 0010000000000001 => 0020000000000001
    240         fadd 0010000000000001, 80100094e0000359 => 80000094e0000358
    241         fadd 0010000000000001, 7ff0000000000000 => 7ff0000000000000
    242         fadd 0010000000000001, fff8000000000000 => fff8000000000000
    243         fadd 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359
    244         fadd 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359
    245         fadd 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
    246         fadd 3fe00094e0000359, fff8000000000000 => fff8000000000000
    247         fadd bfe0000000000001, 0010000000000001 => bfe0000000000001
    248         fadd bfe0000000000001, 80100094e0000359 => bfe0000000000001
    249         fadd bfe0000000000001, 7ff0000000000000 => 7ff0000000000000
    250         fadd bfe0000000000001, fff8000000000000 => fff8000000000000
    251         fadd 8000000000000000, 0010000000000001 => 0010000000000001
    252         fadd 8000000000000000, 80100094e0000359 => 80100094e0000359
    253         fadd 8000000000000000, 7ff0000000000000 => 7ff0000000000000
    254         fadd 8000000000000000, fff8000000000000 => fff8000000000000
    255         fadd 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
    256         fadd 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
    257         fadd 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
    258         fadd 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
    259         fadd fff8000000000000, 0010000000000001 => fff8000000000000
    260         fadd fff8000000000000, 80100094e0000359 => fff8000000000000
    261         fadd fff8000000000000, 7ff0000000000000 => fff8000000000000
    262         fadd fff8000000000000, fff8000000000000 => fff8000000000000
    263 
    264        fadds 0010000000000001, 0010000000000001 => 0000000000000000
    265        fadds 0010000000000001, 80100094e0000359 => 8000000000000000
    266        fadds 0010000000000001, 7ff0000000000000 => 7ff0000000000000
    267        fadds 0010000000000001, fff8000000000000 => fff8000000000000
    268        fadds 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000
    269        fadds 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000
    270        fadds 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
    271        fadds 3fe00094e0000359, fff8000000000000 => fff8000000000000
    272        fadds bfe0000000000001, 0010000000000001 => bfe0000000000000
    273        fadds bfe0000000000001, 80100094e0000359 => bfe0000000000000
    274        fadds bfe0000000000001, 7ff0000000000000 => 7ff0000000000000
    275        fadds bfe0000000000001, fff8000000000000 => fff8000000000000
    276        fadds 8000000000000000, 0010000000000001 => 0000000000000000
    277        fadds 8000000000000000, 80100094e0000359 => 8000000000000000
    278        fadds 8000000000000000, 7ff0000000000000 => 7ff0000000000000
    279        fadds 8000000000000000, fff8000000000000 => fff8000000000000
    280        fadds 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
    281        fadds 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
    282        fadds 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
    283        fadds 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
    284        fadds fff8000000000000, 0010000000000001 => fff8000000000000
    285        fadds fff8000000000000, 80100094e0000359 => fff8000000000000
    286        fadds fff8000000000000, 7ff0000000000000 => fff8000000000000
    287        fadds fff8000000000000, fff8000000000000 => fff8000000000000
    288 
    289         fsub 0010000000000001, 0010000000000001 => 0000000000000000
    290         fsub 0010000000000001, 80100094e0000359 => 0020004a700001ad
    291         fsub 0010000000000001, 7ff0000000000000 => fff0000000000000
    292         fsub 0010000000000001, fff8000000000000 => fff8000000000000
    293         fsub 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359
    294         fsub 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359
    295         fsub 3fe00094e0000359, 7ff0000000000000 => fff0000000000000
    296         fsub 3fe00094e0000359, fff8000000000000 => fff8000000000000
    297         fsub bfe0000000000001, 0010000000000001 => bfe0000000000001
    298         fsub bfe0000000000001, 80100094e0000359 => bfe0000000000001
    299         fsub bfe0000000000001, 7ff0000000000000 => fff0000000000000
    300         fsub bfe0000000000001, fff8000000000000 => fff8000000000000
    301         fsub 8000000000000000, 0010000000000001 => 8010000000000001
    302         fsub 8000000000000000, 80100094e0000359 => 00100094e0000359
    303         fsub 8000000000000000, 7ff0000000000000 => fff0000000000000
    304         fsub 8000000000000000, fff8000000000000 => fff8000000000000
    305         fsub 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
    306         fsub 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
    307         fsub 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
    308         fsub 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
    309         fsub fff8000000000000, 0010000000000001 => fff8000000000000
    310         fsub fff8000000000000, 80100094e0000359 => fff8000000000000
    311         fsub fff8000000000000, 7ff0000000000000 => fff8000000000000
    312         fsub fff8000000000000, fff8000000000000 => fff8000000000000
    313 
    314        fsubs 0010000000000001, 0010000000000001 => 0000000000000000
    315        fsubs 0010000000000001, 80100094e0000359 => 0000000000000000
    316        fsubs 0010000000000001, 7ff0000000000000 => fff0000000000000
    317        fsubs 0010000000000001, fff8000000000000 => fff8000000000000
    318        fsubs 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000
    319        fsubs 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000
    320        fsubs 3fe00094e0000359, 7ff0000000000000 => fff0000000000000
    321        fsubs 3fe00094e0000359, fff8000000000000 => fff8000000000000
    322        fsubs bfe0000000000001, 0010000000000001 => bfe0000000000000
    323        fsubs bfe0000000000001, 80100094e0000359 => bfe0000000000000
    324        fsubs bfe0000000000001, 7ff0000000000000 => fff0000000000000
    325        fsubs bfe0000000000001, fff8000000000000 => fff8000000000000
    326        fsubs 8000000000000000, 0010000000000001 => 8000000000000000
    327        fsubs 8000000000000000, 80100094e0000359 => 0000000000000000
    328        fsubs 8000000000000000, 7ff0000000000000 => fff0000000000000
    329        fsubs 8000000000000000, fff8000000000000 => fff8000000000000
    330        fsubs 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
    331        fsubs 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
    332        fsubs 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
    333        fsubs 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
    334        fsubs fff8000000000000, 0010000000000001 => fff8000000000000
    335        fsubs fff8000000000000, 80100094e0000359 => fff8000000000000
    336        fsubs fff8000000000000, 7ff0000000000000 => fff8000000000000
    337        fsubs fff8000000000000, fff8000000000000 => fff8000000000000
    338 
    339         fmul 0010000000000001, 0010000000000001 => 0000000000000000
    340         fmul 0010000000000001, 80100094e0000359 => 8000000000000000
    341         fmul 0010000000000001, 7ff0000000000000 => 7ff0000000000000
    342         fmul 0010000000000001, fff8000000000000 => fff8000000000000
    343         fmul 3fe00094e0000359, 0010000000000001 => 0008004a700001ad
    344         fmul 3fe00094e0000359, 80100094e0000359 => 80080094e2b4a179
    345         fmul 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
    346         fmul 3fe00094e0000359, fff8000000000000 => fff8000000000000
    347         fmul bfe0000000000001, 0010000000000001 => 8008000000000001
    348         fmul bfe0000000000001, 80100094e0000359 => 0008004a700001ad
    349         fmul bfe0000000000001, 7ff0000000000000 => fff0000000000000
    350         fmul bfe0000000000001, fff8000000000000 => fff8000000000000
    351         fmul 8000000000000000, 0010000000000001 => 8000000000000000
    352         fmul 8000000000000000, 80100094e0000359 => 0000000000000000
    353         fmul 8000000000000000, 7ff0000000000000 => 7ff8000000000000
    354         fmul 8000000000000000, fff8000000000000 => fff8000000000000
    355         fmul 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
    356         fmul 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
    357         fmul 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
    358         fmul 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
    359         fmul fff8000000000000, 0010000000000001 => fff8000000000000
    360         fmul fff8000000000000, 80100094e0000359 => fff8000000000000
    361         fmul fff8000000000000, 7ff0000000000000 => fff8000000000000
    362         fmul fff8000000000000, fff8000000000000 => fff8000000000000
    363 
    364        fmuls 0010000000000001, 0010000000000001 => 0000000000000000
    365        fmuls 0010000000000001, 80100094e0000359 => 8000000000000000
    366        fmuls 0010000000000001, 7ff0000000000000 => 7ff0000000000000
    367        fmuls 0010000000000001, fff8000000000000 => fff8000000000000
    368        fmuls 3fe00094e0000359, 0010000000000001 => 0000000000000000
    369        fmuls 3fe00094e0000359, 80100094e0000359 => 8000000000000000
    370        fmuls 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
    371        fmuls 3fe00094e0000359, fff8000000000000 => fff8000000000000
    372        fmuls bfe0000000000001, 0010000000000001 => 8000000000000000
    373        fmuls bfe0000000000001, 80100094e0000359 => 0000000000000000
    374        fmuls bfe0000000000001, 7ff0000000000000 => fff0000000000000
    375        fmuls bfe0000000000001, fff8000000000000 => fff8000000000000
    376        fmuls 8000000000000000, 0010000000000001 => 8000000000000000
    377        fmuls 8000000000000000, 80100094e0000359 => 0000000000000000
    378        fmuls 8000000000000000, 7ff0000000000000 => 7ff8000000000000
    379        fmuls 8000000000000000, fff8000000000000 => fff8000000000000
    380        fmuls 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
    381        fmuls 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
    382        fmuls 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
    383        fmuls 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
    384        fmuls fff8000000000000, 0010000000000001 => fff8000000000000
    385        fmuls fff8000000000000, 80100094e0000359 => fff8000000000000
    386        fmuls fff8000000000000, 7ff0000000000000 => fff8000000000000
    387        fmuls fff8000000000000, fff8000000000000 => fff8000000000000
    388 
    389         fdiv 0010000000000001, 0010000000000001 => 3ff0000000000000
    390         fdiv 0010000000000001, 80100094e0000359 => bfeffed64ad20d22
    391         fdiv 0010000000000001, 7ff0000000000000 => 0000000000000000
    392         fdiv 0010000000000001, fff8000000000000 => fff8000000000000
    393         fdiv 3fe00094e0000359, 0010000000000001 => 7fc00094e0000358
    394         fdiv 3fe00094e0000359, 80100094e0000359 => ffc0000000000000
    395         fdiv 3fe00094e0000359, 7ff0000000000000 => 0000000000000000
    396         fdiv 3fe00094e0000359, fff8000000000000 => fff8000000000000
    397         fdiv bfe0000000000001, 0010000000000001 => ffc0000000000000
    398         fdiv bfe0000000000001, 80100094e0000359 => 7fbffed64ad20d22
    399         fdiv bfe0000000000001, 7ff0000000000000 => 8000000000000000
    400         fdiv bfe0000000000001, fff8000000000000 => fff8000000000000
    401         fdiv 8000000000000000, 0010000000000001 => 8000000000000000
    402         fdiv 8000000000000000, 80100094e0000359 => 0000000000000000
    403         fdiv 8000000000000000, 7ff0000000000000 => 8000000000000000
    404         fdiv 8000000000000000, fff8000000000000 => fff8000000000000
    405         fdiv 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
    406         fdiv 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
    407         fdiv 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
    408         fdiv 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
    409         fdiv fff8000000000000, 0010000000000001 => fff8000000000000
    410         fdiv fff8000000000000, 80100094e0000359 => fff8000000000000
    411         fdiv fff8000000000000, 7ff0000000000000 => fff8000000000000
    412         fdiv fff8000000000000, fff8000000000000 => fff8000000000000
    413 
    414        fdivs 0010000000000001, 0010000000000001 => 3ff0000000000000
    415        fdivs 0010000000000001, 80100094e0000359 => bfeffed640000000
    416        fdivs 0010000000000001, 7ff0000000000000 => 0000000000000000
    417        fdivs 0010000000000001, fff8000000000000 => fff8000000000000
    418        fdivs 3fe00094e0000359, 0010000000000001 => 7ff0000000000000
    419        fdivs 3fe00094e0000359, 80100094e0000359 => fff0000000000000
    420        fdivs 3fe00094e0000359, 7ff0000000000000 => 0000000000000000
    421        fdivs 3fe00094e0000359, fff8000000000000 => fff8000000000000
    422        fdivs bfe0000000000001, 0010000000000001 => fff0000000000000
    423        fdivs bfe0000000000001, 80100094e0000359 => 7ff0000000000000
    424        fdivs bfe0000000000001, 7ff0000000000000 => 8000000000000000
    425        fdivs bfe0000000000001, fff8000000000000 => fff8000000000000
    426        fdivs 8000000000000000, 0010000000000001 => 8000000000000000
    427        fdivs 8000000000000000, 80100094e0000359 => 0000000000000000
    428        fdivs 8000000000000000, 7ff0000000000000 => 8000000000000000
    429        fdivs 8000000000000000, fff8000000000000 => fff8000000000000
    430        fdivs 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
    431        fdivs 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
    432        fdivs 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
    433        fdivs 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
    434        fdivs fff8000000000000, 0010000000000001 => fff8000000000000
    435        fdivs fff8000000000000, 80100094e0000359 => fff8000000000000
    436        fdivs fff8000000000000, 7ff0000000000000 => fff8000000000000
    437        fdivs fff8000000000000, fff8000000000000 => fff8000000000000
    438 
    439 PPC floating point arith insns
    440     with two args with flags update:
    441        fadd. 0010000000000001, 0010000000000001 => 0020000000000001
    442        fadd. 0010000000000001, 80100094e0000359 => 80000094e0000358
    443        fadd. 0010000000000001, 7ff0000000000000 => 7ff0000000000000
    444        fadd. 0010000000000001, fff8000000000000 => fff8000000000000
    445        fadd. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359
    446        fadd. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359
    447        fadd. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
    448        fadd. 3fe00094e0000359, fff8000000000000 => fff8000000000000
    449        fadd. bfe0000000000001, 0010000000000001 => bfe0000000000001
    450        fadd. bfe0000000000001, 80100094e0000359 => bfe0000000000001
    451        fadd. bfe0000000000001, 7ff0000000000000 => 7ff0000000000000
    452        fadd. bfe0000000000001, fff8000000000000 => fff8000000000000
    453        fadd. 8000000000000000, 0010000000000001 => 0010000000000001
    454        fadd. 8000000000000000, 80100094e0000359 => 80100094e0000359
    455        fadd. 8000000000000000, 7ff0000000000000 => 7ff0000000000000
    456        fadd. 8000000000000000, fff8000000000000 => fff8000000000000
    457        fadd. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
    458        fadd. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
    459        fadd. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
    460        fadd. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
    461        fadd. fff8000000000000, 0010000000000001 => fff8000000000000
    462        fadd. fff8000000000000, 80100094e0000359 => fff8000000000000
    463        fadd. fff8000000000000, 7ff0000000000000 => fff8000000000000
    464        fadd. fff8000000000000, fff8000000000000 => fff8000000000000
    465 
    466       fadds. 0010000000000001, 0010000000000001 => 0000000000000000
    467       fadds. 0010000000000001, 80100094e0000359 => 8000000000000000
    468       fadds. 0010000000000001, 7ff0000000000000 => 7ff0000000000000
    469       fadds. 0010000000000001, fff8000000000000 => fff8000000000000
    470       fadds. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000
    471       fadds. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000
    472       fadds. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
    473       fadds. 3fe00094e0000359, fff8000000000000 => fff8000000000000
    474       fadds. bfe0000000000001, 0010000000000001 => bfe0000000000000
    475       fadds. bfe0000000000001, 80100094e0000359 => bfe0000000000000
    476       fadds. bfe0000000000001, 7ff0000000000000 => 7ff0000000000000
    477       fadds. bfe0000000000001, fff8000000000000 => fff8000000000000
    478       fadds. 8000000000000000, 0010000000000001 => 0000000000000000
    479       fadds. 8000000000000000, 80100094e0000359 => 8000000000000000
    480       fadds. 8000000000000000, 7ff0000000000000 => 7ff0000000000000
    481       fadds. 8000000000000000, fff8000000000000 => fff8000000000000
    482       fadds. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
    483       fadds. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
    484       fadds. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
    485       fadds. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
    486       fadds. fff8000000000000, 0010000000000001 => fff8000000000000
    487       fadds. fff8000000000000, 80100094e0000359 => fff8000000000000
    488       fadds. fff8000000000000, 7ff0000000000000 => fff8000000000000
    489       fadds. fff8000000000000, fff8000000000000 => fff8000000000000
    490 
    491        fsub. 0010000000000001, 0010000000000001 => 0000000000000000
    492        fsub. 0010000000000001, 80100094e0000359 => 0020004a700001ad
    493        fsub. 0010000000000001, 7ff0000000000000 => fff0000000000000
    494        fsub. 0010000000000001, fff8000000000000 => fff8000000000000
    495        fsub. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359
    496        fsub. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359
    497        fsub. 3fe00094e0000359, 7ff0000000000000 => fff0000000000000
    498        fsub. 3fe00094e0000359, fff8000000000000 => fff8000000000000
    499        fsub. bfe0000000000001, 0010000000000001 => bfe0000000000001
    500        fsub. bfe0000000000001, 80100094e0000359 => bfe0000000000001
    501        fsub. bfe0000000000001, 7ff0000000000000 => fff0000000000000
    502        fsub. bfe0000000000001, fff8000000000000 => fff8000000000000
    503        fsub. 8000000000000000, 0010000000000001 => 8010000000000001
    504        fsub. 8000000000000000, 80100094e0000359 => 00100094e0000359
    505        fsub. 8000000000000000, 7ff0000000000000 => fff0000000000000
    506        fsub. 8000000000000000, fff8000000000000 => fff8000000000000
    507        fsub. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
    508        fsub. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
    509        fsub. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
    510        fsub. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
    511        fsub. fff8000000000000, 0010000000000001 => fff8000000000000
    512        fsub. fff8000000000000, 80100094e0000359 => fff8000000000000
    513        fsub. fff8000000000000, 7ff0000000000000 => fff8000000000000
    514        fsub. fff8000000000000, fff8000000000000 => fff8000000000000
    515 
    516       fsubs. 0010000000000001, 0010000000000001 => 0000000000000000
    517       fsubs. 0010000000000001, 80100094e0000359 => 0000000000000000
    518       fsubs. 0010000000000001, 7ff0000000000000 => fff0000000000000
    519       fsubs. 0010000000000001, fff8000000000000 => fff8000000000000
    520       fsubs. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000
    521       fsubs. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000
    522       fsubs. 3fe00094e0000359, 7ff0000000000000 => fff0000000000000
    523       fsubs. 3fe00094e0000359, fff8000000000000 => fff8000000000000
    524       fsubs. bfe0000000000001, 0010000000000001 => bfe0000000000000
    525       fsubs. bfe0000000000001, 80100094e0000359 => bfe0000000000000
    526       fsubs. bfe0000000000001, 7ff0000000000000 => fff0000000000000
    527       fsubs. bfe0000000000001, fff8000000000000 => fff8000000000000
    528       fsubs. 8000000000000000, 0010000000000001 => 8000000000000000
    529       fsubs. 8000000000000000, 80100094e0000359 => 0000000000000000
    530       fsubs. 8000000000000000, 7ff0000000000000 => fff0000000000000
    531       fsubs. 8000000000000000, fff8000000000000 => fff8000000000000
    532       fsubs. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
    533       fsubs. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
    534       fsubs. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
    535       fsubs. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
    536       fsubs. fff8000000000000, 0010000000000001 => fff8000000000000
    537       fsubs. fff8000000000000, 80100094e0000359 => fff8000000000000
    538       fsubs. fff8000000000000, 7ff0000000000000 => fff8000000000000
    539       fsubs. fff8000000000000, fff8000000000000 => fff8000000000000
    540 
    541        fmul. 0010000000000001, 0010000000000001 => 0000000000000000
    542        fmul. 0010000000000001, 80100094e0000359 => 8000000000000000
    543        fmul. 0010000000000001, 7ff0000000000000 => 7ff0000000000000
    544        fmul. 0010000000000001, fff8000000000000 => fff8000000000000
    545        fmul. 3fe00094e0000359, 0010000000000001 => 0008004a700001ad
    546        fmul. 3fe00094e0000359, 80100094e0000359 => 80080094e2b4a179
    547        fmul. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
    548        fmul. 3fe00094e0000359, fff8000000000000 => fff8000000000000
    549        fmul. bfe0000000000001, 0010000000000001 => 8008000000000001
    550        fmul. bfe0000000000001, 80100094e0000359 => 0008004a700001ad
    551        fmul. bfe0000000000001, 7ff0000000000000 => fff0000000000000
    552        fmul. bfe0000000000001, fff8000000000000 => fff8000000000000
    553        fmul. 8000000000000000, 0010000000000001 => 8000000000000000
    554        fmul. 8000000000000000, 80100094e0000359 => 0000000000000000
    555        fmul. 8000000000000000, 7ff0000000000000 => 7ff8000000000000
    556        fmul. 8000000000000000, fff8000000000000 => fff8000000000000
    557        fmul. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
    558        fmul. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
    559        fmul. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
    560        fmul. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
    561        fmul. fff8000000000000, 0010000000000001 => fff8000000000000
    562        fmul. fff8000000000000, 80100094e0000359 => fff8000000000000
    563        fmul. fff8000000000000, 7ff0000000000000 => fff8000000000000
    564        fmul. fff8000000000000, fff8000000000000 => fff8000000000000
    565 
    566       fmuls. 0010000000000001, 0010000000000001 => 0000000000000000
    567       fmuls. 0010000000000001, 80100094e0000359 => 8000000000000000
    568       fmuls. 0010000000000001, 7ff0000000000000 => 7ff0000000000000
    569       fmuls. 0010000000000001, fff8000000000000 => fff8000000000000
    570       fmuls. 3fe00094e0000359, 0010000000000001 => 0000000000000000
    571       fmuls. 3fe00094e0000359, 80100094e0000359 => 8000000000000000
    572       fmuls. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
    573       fmuls. 3fe00094e0000359, fff8000000000000 => fff8000000000000
    574       fmuls. bfe0000000000001, 0010000000000001 => 8000000000000000
    575       fmuls. bfe0000000000001, 80100094e0000359 => 0000000000000000
    576       fmuls. bfe0000000000001, 7ff0000000000000 => fff0000000000000
    577       fmuls. bfe0000000000001, fff8000000000000 => fff8000000000000
    578       fmuls. 8000000000000000, 0010000000000001 => 8000000000000000
    579       fmuls. 8000000000000000, 80100094e0000359 => 0000000000000000
    580       fmuls. 8000000000000000, 7ff0000000000000 => 7ff8000000000000
    581       fmuls. 8000000000000000, fff8000000000000 => fff8000000000000
    582       fmuls. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
    583       fmuls. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
    584       fmuls. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
    585       fmuls. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
    586       fmuls. fff8000000000000, 0010000000000001 => fff8000000000000
    587       fmuls. fff8000000000000, 80100094e0000359 => fff8000000000000
    588       fmuls. fff8000000000000, 7ff0000000000000 => fff8000000000000
    589       fmuls. fff8000000000000, fff8000000000000 => fff8000000000000
    590 
    591        fdiv. 0010000000000001, 0010000000000001 => 3ff0000000000000
    592        fdiv. 0010000000000001, 80100094e0000359 => bfeffed64ad20d22
    593        fdiv. 0010000000000001, 7ff0000000000000 => 0000000000000000
    594        fdiv. 0010000000000001, fff8000000000000 => fff8000000000000
    595        fdiv. 3fe00094e0000359, 0010000000000001 => 7fc00094e0000358
    596        fdiv. 3fe00094e0000359, 80100094e0000359 => ffc0000000000000
    597        fdiv. 3fe00094e0000359, 7ff0000000000000 => 0000000000000000
    598        fdiv. 3fe00094e0000359, fff8000000000000 => fff8000000000000
    599        fdiv. bfe0000000000001, 0010000000000001 => ffc0000000000000
    600        fdiv. bfe0000000000001, 80100094e0000359 => 7fbffed64ad20d22
    601        fdiv. bfe0000000000001, 7ff0000000000000 => 8000000000000000
    602        fdiv. bfe0000000000001, fff8000000000000 => fff8000000000000
    603        fdiv. 8000000000000000, 0010000000000001 => 8000000000000000
    604        fdiv. 8000000000000000, 80100094e0000359 => 0000000000000000
    605        fdiv. 8000000000000000, 7ff0000000000000 => 8000000000000000
    606        fdiv. 8000000000000000, fff8000000000000 => fff8000000000000
    607        fdiv. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
    608        fdiv. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
    609        fdiv. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
    610        fdiv. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
    611        fdiv. fff8000000000000, 0010000000000001 => fff8000000000000
    612        fdiv. fff8000000000000, 80100094e0000359 => fff8000000000000
    613        fdiv. fff8000000000000, 7ff0000000000000 => fff8000000000000
    614        fdiv. fff8000000000000, fff8000000000000 => fff8000000000000
    615 
    616       fdivs. 0010000000000001, 0010000000000001 => 3ff0000000000000
    617       fdivs. 0010000000000001, 80100094e0000359 => bfeffed640000000
    618       fdivs. 0010000000000001, 7ff0000000000000 => 0000000000000000
    619       fdivs. 0010000000000001, fff8000000000000 => fff8000000000000
    620       fdivs. 3fe00094e0000359, 0010000000000001 => 7ff0000000000000
    621       fdivs. 3fe00094e0000359, 80100094e0000359 => fff0000000000000
    622       fdivs. 3fe00094e0000359, 7ff0000000000000 => 0000000000000000
    623       fdivs. 3fe00094e0000359, fff8000000000000 => fff8000000000000
    624       fdivs. bfe0000000000001, 0010000000000001 => fff0000000000000
    625       fdivs. bfe0000000000001, 80100094e0000359 => 7ff0000000000000
    626       fdivs. bfe0000000000001, 7ff0000000000000 => 8000000000000000
    627       fdivs. bfe0000000000001, fff8000000000000 => fff8000000000000
    628       fdivs. 8000000000000000, 0010000000000001 => 8000000000000000
    629       fdivs. 8000000000000000, 80100094e0000359 => 0000000000000000
    630       fdivs. 8000000000000000, 7ff0000000000000 => 8000000000000000
    631       fdivs. 8000000000000000, fff8000000000000 => fff8000000000000
    632       fdivs. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
    633       fdivs. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
    634       fdivs. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
    635       fdivs. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
    636       fdivs. fff8000000000000, 0010000000000001 => fff8000000000000
    637       fdivs. fff8000000000000, 80100094e0000359 => fff8000000000000
    638       fdivs. fff8000000000000, 7ff0000000000000 => fff8000000000000
    639       fdivs. fff8000000000000, fff8000000000000 => fff8000000000000
    640 
    641 PPC floating point compare insns (two args):
    642        fcmpo 0010000000000001, 0010000000000001 => fff8000000000000
    643        fcmpo 0010000000000001, 80100094e0000359 => fff8000000000000
    644        fcmpo 0010000000000001, 7ff0000000000000 => fff8000000000000
    645        fcmpo 0010000000000001, fff8000000000000 => fff8000000000000
    646        fcmpo 3fe00094e0000359, 0010000000000001 => fff8000000000000
    647        fcmpo 3fe00094e0000359, 80100094e0000359 => fff8000000000000
    648        fcmpo 3fe00094e0000359, 7ff0000000000000 => fff8000000000000
    649        fcmpo 3fe00094e0000359, fff8000000000000 => fff8000000000000
    650        fcmpo bfe0000000000001, 0010000000000001 => fff8000000000000
    651        fcmpo bfe0000000000001, 80100094e0000359 => fff8000000000000
    652        fcmpo bfe0000000000001, 7ff0000000000000 => fff8000000000000
    653        fcmpo bfe0000000000001, fff8000000000000 => fff8000000000000
    654        fcmpo 8000000000000000, 0010000000000001 => fff8000000000000
    655        fcmpo 8000000000000000, 80100094e0000359 => fff8000000000000
    656        fcmpo 8000000000000000, 7ff0000000000000 => fff8000000000000
    657        fcmpo 8000000000000000, fff8000000000000 => fff8000000000000
    658        fcmpo 7ff7ffffffffffff, 0010000000000001 => fff8000000000000
    659        fcmpo 7ff7ffffffffffff, 80100094e0000359 => fff8000000000000
    660        fcmpo 7ff7ffffffffffff, 7ff0000000000000 => fff8000000000000
    661        fcmpo 7ff7ffffffffffff, fff8000000000000 => fff8000000000000
    662        fcmpo fff8000000000000, 0010000000000001 => fff8000000000000
    663        fcmpo fff8000000000000, 80100094e0000359 => fff8000000000000
    664        fcmpo fff8000000000000, 7ff0000000000000 => fff8000000000000
    665        fcmpo fff8000000000000, fff8000000000000 => fff8000000000000
    666 
    667        fcmpu 0010000000000001, 0010000000000001 => fff8000000000000
    668        fcmpu 0010000000000001, 80100094e0000359 => fff8000000000000
    669        fcmpu 0010000000000001, 7ff0000000000000 => fff8000000000000
    670        fcmpu 0010000000000001, fff8000000000000 => fff8000000000000
    671        fcmpu 3fe00094e0000359, 0010000000000001 => fff8000000000000
    672        fcmpu 3fe00094e0000359, 80100094e0000359 => fff8000000000000
    673        fcmpu 3fe00094e0000359, 7ff0000000000000 => fff8000000000000
    674        fcmpu 3fe00094e0000359, fff8000000000000 => fff8000000000000
    675        fcmpu bfe0000000000001, 0010000000000001 => fff8000000000000
    676        fcmpu bfe0000000000001, 80100094e0000359 => fff8000000000000
    677        fcmpu bfe0000000000001, 7ff0000000000000 => fff8000000000000
    678        fcmpu bfe0000000000001, fff8000000000000 => fff8000000000000
    679        fcmpu 8000000000000000, 0010000000000001 => fff8000000000000
    680        fcmpu 8000000000000000, 80100094e0000359 => fff8000000000000
    681        fcmpu 8000000000000000, 7ff0000000000000 => fff8000000000000
    682        fcmpu 8000000000000000, fff8000000000000 => fff8000000000000
    683        fcmpu 7ff7ffffffffffff, 0010000000000001 => fff8000000000000
    684        fcmpu 7ff7ffffffffffff, 80100094e0000359 => fff8000000000000
    685        fcmpu 7ff7ffffffffffff, 7ff0000000000000 => fff8000000000000
    686        fcmpu 7ff7ffffffffffff, fff8000000000000 => fff8000000000000
    687        fcmpu fff8000000000000, 0010000000000001 => fff8000000000000
    688        fcmpu fff8000000000000, 80100094e0000359 => fff8000000000000
    689        fcmpu fff8000000000000, 7ff0000000000000 => fff8000000000000
    690        fcmpu fff8000000000000, fff8000000000000 => fff8000000000000
    691 
    692 PPC floating point arith insns with one arg:
    693         fres 0010000000000001 => 7ff0000000000000
    694         fres 00100094e0000359 => 7ff0000000000000
    695         fres 3fe0000000000001 => 4000000000000000
    696         fres 3fe00094e0000359 => 3ffff00000000000
    697         fres 8010000000000001 => fff0000000000000
    698         fres 80100094e0000359 => fff0000000000000
    699         fres bfe0000000000001 => c000000000000000
    700         fres bfe00094e0000359 => bffff00000000000
    701         fres 0000000000000000 => 7ff0000000000000
    702         fres 8000000000000000 => fff0000000000000
    703         fres 7ff0000000000000 => 0000000000000000
    704         fres fff0000000000000 => 8000000000000000
    705         fres 7ff7ffffffffffff => 7ffff00000000000
    706         fres fff7ffffffffffff => fffff00000000000
    707         fres 7ff8000000000000 => 7ff8000000000000
    708         fres fff8000000000000 => fff8000000000000
    709 
    710      frsqrte 0010000000000001 => 5fdf000000000000
    711      frsqrte 00100094e0000359 => 5fdf000000000000
    712      frsqrte 3fe0000000000001 => 3ff6000000000000
    713      frsqrte 3fe00094e0000359 => 3ff6000000000000
    714      frsqrte 8010000000000001 => 7ff8000000000000
    715      frsqrte 80100094e0000359 => 7ff8000000000000
    716      frsqrte bfe0000000000001 => 7ff8000000000000
    717      frsqrte bfe00094e0000359 => 7ff8000000000000
    718      frsqrte 0000000000000000 => 7ff0000000000000
    719      frsqrte 8000000000000000 => fff0000000000000
    720      frsqrte 7ff0000000000000 => 0000000000000000
    721      frsqrte fff0000000000000 => 7ff8000000000000
    722      frsqrte 7ff7ffffffffffff => 7fff000000000000
    723      frsqrte fff7ffffffffffff => ffff000000000000
    724      frsqrte 7ff8000000000000 => 7ff8000000000000
    725      frsqrte fff8000000000000 => fff8000000000000
    726 
    727         frsp 0010000000000001 => 0000000000000000
    728         frsp 00100094e0000359 => 0000000000000000
    729         frsp 3fe0000000000001 => 3fe0000000000000
    730         frsp 3fe00094e0000359 => 3fe00094e0000000
    731         frsp 8010000000000001 => 8000000000000000
    732         frsp 80100094e0000359 => 8000000000000000
    733         frsp bfe0000000000001 => bfe0000000000000
    734         frsp bfe00094e0000359 => bfe00094e0000000
    735         frsp 0000000000000000 => 0000000000000000
    736         frsp 8000000000000000 => 8000000000000000
    737         frsp 7ff0000000000000 => 7ff0000000000000
    738         frsp fff0000000000000 => fff0000000000000
    739         frsp 7ff7ffffffffffff => 7fffffffe0000000
    740         frsp fff7ffffffffffff => ffffffffe0000000
    741         frsp 7ff8000000000000 => 7ff8000000000000
    742         frsp fff8000000000000 => fff8000000000000
    743 
    744        fctiw 0010000000000001 => 0000000000000000
    745        fctiw 00100094e0000359 => 0000000000000000
    746        fctiw 3fe0000000000001 => 0000000000000001
    747        fctiw 3fe00094e0000359 => 0000000000000001
    748        fctiw 8010000000000001 => 0000000000000000
    749        fctiw 80100094e0000359 => 0000000000000000
    750        fctiw bfe0000000000001 => 00000000ffffffff
    751        fctiw bfe00094e0000359 => 00000000ffffffff
    752        fctiw 0000000000000000 => 0000000000000000
    753        fctiw 8000000000000000 => 0000000000000000
    754        fctiw 7ff0000000000000 => 000000007fffffff
    755        fctiw fff0000000000000 => 0000000080000000
    756        fctiw 7ff7ffffffffffff => 0000000080000000
    757        fctiw fff7ffffffffffff => 0000000080000000
    758        fctiw 7ff8000000000000 => 0000000080000000
    759        fctiw fff8000000000000 => 0000000080000000
    760 
    761       fctiwz 0010000000000001 => 0000000000000000
    762       fctiwz 00100094e0000359 => 0000000000000000
    763       fctiwz 3fe0000000000001 => 0000000000000000
    764       fctiwz 3fe00094e0000359 => 0000000000000000
    765       fctiwz 8010000000000001 => 0000000000000000
    766       fctiwz 80100094e0000359 => 0000000000000000
    767       fctiwz bfe0000000000001 => 0000000000000000
    768       fctiwz bfe00094e0000359 => 0000000000000000
    769       fctiwz 0000000000000000 => 0000000000000000
    770       fctiwz 8000000000000000 => 0000000000000000
    771       fctiwz 7ff0000000000000 => 000000007fffffff
    772       fctiwz fff0000000000000 => 0000000080000000
    773       fctiwz 7ff7ffffffffffff => 0000000080000000
    774       fctiwz fff7ffffffffffff => 0000000080000000
    775       fctiwz 7ff8000000000000 => 0000000080000000
    776       fctiwz fff8000000000000 => 0000000080000000
    777 
    778          fmr 0010000000000001 => 0010000000000001
    779          fmr 00100094e0000359 => 00100094e0000359
    780          fmr 3fe0000000000001 => 3fe0000000000001
    781          fmr 3fe00094e0000359 => 3fe00094e0000359
    782          fmr 8010000000000001 => 8010000000000001
    783          fmr 80100094e0000359 => 80100094e0000359
    784          fmr bfe0000000000001 => bfe0000000000001
    785          fmr bfe00094e0000359 => bfe00094e0000359
    786          fmr 0000000000000000 => 0000000000000000
    787          fmr 8000000000000000 => 8000000000000000
    788          fmr 7ff0000000000000 => 7ff0000000000000
    789          fmr fff0000000000000 => fff0000000000000
    790          fmr 7ff7ffffffffffff => 7ff7ffffffffffff
    791          fmr fff7ffffffffffff => fff7ffffffffffff
    792          fmr 7ff8000000000000 => 7ff8000000000000
    793          fmr fff8000000000000 => fff8000000000000
    794 
    795         fneg 0010000000000001 => 8010000000000001
    796         fneg 00100094e0000359 => 80100094e0000359
    797         fneg 3fe0000000000001 => bfe0000000000001
    798         fneg 3fe00094e0000359 => bfe00094e0000359
    799         fneg 8010000000000001 => 0010000000000001
    800         fneg 80100094e0000359 => 00100094e0000359
    801         fneg bfe0000000000001 => 3fe0000000000001
    802         fneg bfe00094e0000359 => 3fe00094e0000359
    803         fneg 0000000000000000 => 8000000000000000
    804         fneg 8000000000000000 => 0000000000000000
    805         fneg 7ff0000000000000 => fff0000000000000
    806         fneg fff0000000000000 => 7ff0000000000000
    807         fneg 7ff7ffffffffffff => fff7ffffffffffff
    808         fneg fff7ffffffffffff => 7ff7ffffffffffff
    809         fneg 7ff8000000000000 => fff8000000000000
    810         fneg fff8000000000000 => 7ff8000000000000
    811 
    812         fabs 0010000000000001 => 0010000000000001
    813         fabs 00100094e0000359 => 00100094e0000359
    814         fabs 3fe0000000000001 => 3fe0000000000001
    815         fabs 3fe00094e0000359 => 3fe00094e0000359
    816         fabs 8010000000000001 => 0010000000000001
    817         fabs 80100094e0000359 => 00100094e0000359
    818         fabs bfe0000000000001 => 3fe0000000000001
    819         fabs bfe00094e0000359 => 3fe00094e0000359
    820         fabs 0000000000000000 => 0000000000000000
    821         fabs 8000000000000000 => 0000000000000000
    822         fabs 7ff0000000000000 => 7ff0000000000000
    823         fabs fff0000000000000 => 7ff0000000000000
    824         fabs 7ff7ffffffffffff => 7ff7ffffffffffff
    825         fabs fff7ffffffffffff => 7ff7ffffffffffff
    826         fabs 7ff8000000000000 => 7ff8000000000000
    827         fabs fff8000000000000 => 7ff8000000000000
    828 
    829        fnabs 0010000000000001 => 8010000000000001
    830        fnabs 00100094e0000359 => 80100094e0000359
    831        fnabs 3fe0000000000001 => bfe0000000000001
    832        fnabs 3fe00094e0000359 => bfe00094e0000359
    833        fnabs 8010000000000001 => 8010000000000001
    834        fnabs 80100094e0000359 => 80100094e0000359
    835        fnabs bfe0000000000001 => bfe0000000000001
    836        fnabs bfe00094e0000359 => bfe00094e0000359
    837        fnabs 0000000000000000 => 8000000000000000
    838        fnabs 8000000000000000 => 8000000000000000
    839        fnabs 7ff0000000000000 => fff0000000000000
    840        fnabs fff0000000000000 => fff0000000000000
    841        fnabs 7ff7ffffffffffff => fff7ffffffffffff
    842        fnabs fff7ffffffffffff => fff7ffffffffffff
    843        fnabs 7ff8000000000000 => fff8000000000000
    844        fnabs fff8000000000000 => fff8000000000000
    845 
    846        fsqrt 0010000000000001 => 2000000000000000
    847        fsqrt 00100094e0000359 => 2000004a6f52dd4a
    848        fsqrt 3fe0000000000001 => 3fe6a09e667f3bcd
    849        fsqrt 3fe00094e0000359 => 3fe6a107aacb50df
    850        fsqrt 8010000000000001 => 7ff8000000000000
    851        fsqrt 80100094e0000359 => 7ff8000000000000
    852        fsqrt bfe0000000000001 => 7ff8000000000000
    853        fsqrt bfe00094e0000359 => 7ff8000000000000
    854        fsqrt 0000000000000000 => 0000000000000000
    855        fsqrt 8000000000000000 => 8000000000000000
    856        fsqrt 7ff0000000000000 => 7ff0000000000000
    857        fsqrt fff0000000000000 => 7ff8000000000000
    858        fsqrt 7ff7ffffffffffff => 7fffffffffffffff
    859        fsqrt fff7ffffffffffff => ffffffffffffffff
    860        fsqrt 7ff8000000000000 => 7ff8000000000000
    861        fsqrt fff8000000000000 => fff8000000000000
    862 
    863 PPC floating point arith insns
    864     with one arg with flags update:
    865        fres. 0010000000000001 => 7ff0000000000000
    866        fres. 00100094e0000359 => 7ff0000000000000
    867        fres. 3fe0000000000001 => 4000000000000000
    868        fres. 3fe00094e0000359 => 3ffff00000000000
    869        fres. 8010000000000001 => fff0000000000000
    870        fres. 80100094e0000359 => fff0000000000000
    871        fres. bfe0000000000001 => c000000000000000
    872        fres. bfe00094e0000359 => bffff00000000000
    873        fres. 0000000000000000 => 7ff0000000000000
    874        fres. 8000000000000000 => fff0000000000000
    875        fres. 7ff0000000000000 => 0000000000000000
    876        fres. fff0000000000000 => 8000000000000000
    877        fres. 7ff7ffffffffffff => 7ffff00000000000
    878        fres. fff7ffffffffffff => fffff00000000000
    879        fres. 7ff8000000000000 => 7ff8000000000000
    880        fres. fff8000000000000 => fff8000000000000
    881 
    882     frsqrte. 0010000000000001 => 5fdf000000000000
    883     frsqrte. 00100094e0000359 => 5fdf000000000000
    884     frsqrte. 3fe0000000000001 => 3ff6000000000000
    885     frsqrte. 3fe00094e0000359 => 3ff6000000000000
    886     frsqrte. 8010000000000001 => 7ff8000000000000
    887     frsqrte. 80100094e0000359 => 7ff8000000000000
    888     frsqrte. bfe0000000000001 => 7ff8000000000000
    889     frsqrte. bfe00094e0000359 => 7ff8000000000000
    890     frsqrte. 0000000000000000 => 7ff0000000000000
    891     frsqrte. 8000000000000000 => fff0000000000000
    892     frsqrte. 7ff0000000000000 => 0000000000000000
    893     frsqrte. fff0000000000000 => 7ff8000000000000
    894     frsqrte. 7ff7ffffffffffff => 7fff000000000000
    895     frsqrte. fff7ffffffffffff => ffff000000000000
    896     frsqrte. 7ff8000000000000 => 7ff8000000000000
    897     frsqrte. fff8000000000000 => fff8000000000000
    898 
    899        frsp. 0010000000000001 => 0000000000000000
    900        frsp. 00100094e0000359 => 0000000000000000
    901        frsp. 3fe0000000000001 => 3fe0000000000000
    902        frsp. 3fe00094e0000359 => 3fe00094e0000000
    903        frsp. 8010000000000001 => 8000000000000000
    904        frsp. 80100094e0000359 => 8000000000000000
    905        frsp. bfe0000000000001 => bfe0000000000000
    906        frsp. bfe00094e0000359 => bfe00094e0000000
    907        frsp. 0000000000000000 => 0000000000000000
    908        frsp. 8000000000000000 => 8000000000000000
    909        frsp. 7ff0000000000000 => 7ff0000000000000
    910        frsp. fff0000000000000 => fff0000000000000
    911        frsp. 7ff7ffffffffffff => 7fffffffe0000000
    912        frsp. fff7ffffffffffff => ffffffffe0000000
    913        frsp. 7ff8000000000000 => 7ff8000000000000
    914        frsp. fff8000000000000 => fff8000000000000
    915 
    916       fctiw. 0010000000000001 => 0000000000000000
    917       fctiw. 00100094e0000359 => 0000000000000000
    918       fctiw. 3fe0000000000001 => 0000000000000001
    919       fctiw. 3fe00094e0000359 => 0000000000000001
    920       fctiw. 8010000000000001 => 0000000000000000
    921       fctiw. 80100094e0000359 => 0000000000000000
    922       fctiw. bfe0000000000001 => 00000000ffffffff
    923       fctiw. bfe00094e0000359 => 00000000ffffffff
    924       fctiw. 0000000000000000 => 0000000000000000
    925       fctiw. 8000000000000000 => 0000000000000000
    926       fctiw. 7ff0000000000000 => 000000007fffffff
    927       fctiw. fff0000000000000 => 0000000080000000
    928       fctiw. 7ff7ffffffffffff => 0000000080000000
    929       fctiw. fff7ffffffffffff => 0000000080000000
    930       fctiw. 7ff8000000000000 => 0000000080000000
    931       fctiw. fff8000000000000 => 0000000080000000
    932 
    933      fctiwz. 0010000000000001 => 0000000000000000
    934      fctiwz. 00100094e0000359 => 0000000000000000
    935      fctiwz. 3fe0000000000001 => 0000000000000000
    936      fctiwz. 3fe00094e0000359 => 0000000000000000
    937      fctiwz. 8010000000000001 => 0000000000000000
    938      fctiwz. 80100094e0000359 => 0000000000000000
    939      fctiwz. bfe0000000000001 => 0000000000000000
    940      fctiwz. bfe00094e0000359 => 0000000000000000
    941      fctiwz. 0000000000000000 => 0000000000000000
    942      fctiwz. 8000000000000000 => 0000000000000000
    943      fctiwz. 7ff0000000000000 => 000000007fffffff
    944      fctiwz. fff0000000000000 => 0000000080000000
    945      fctiwz. 7ff7ffffffffffff => 0000000080000000
    946      fctiwz. fff7ffffffffffff => 0000000080000000
    947      fctiwz. 7ff8000000000000 => 0000000080000000
    948      fctiwz. fff8000000000000 => 0000000080000000
    949 
    950         fmr. 0010000000000001 => 0010000000000001
    951         fmr. 00100094e0000359 => 00100094e0000359
    952         fmr. 3fe0000000000001 => 3fe0000000000001
    953         fmr. 3fe00094e0000359 => 3fe00094e0000359
    954         fmr. 8010000000000001 => 8010000000000001
    955         fmr. 80100094e0000359 => 80100094e0000359
    956         fmr. bfe0000000000001 => bfe0000000000001
    957         fmr. bfe00094e0000359 => bfe00094e0000359
    958         fmr. 0000000000000000 => 0000000000000000
    959         fmr. 8000000000000000 => 8000000000000000
    960         fmr. 7ff0000000000000 => 7ff0000000000000
    961         fmr. fff0000000000000 => fff0000000000000
    962         fmr. 7ff7ffffffffffff => 7ff7ffffffffffff
    963         fmr. fff7ffffffffffff => fff7ffffffffffff
    964         fmr. 7ff8000000000000 => 7ff8000000000000
    965         fmr. fff8000000000000 => fff8000000000000
    966 
    967        fneg. 0010000000000001 => 8010000000000001
    968        fneg. 00100094e0000359 => 80100094e0000359
    969        fneg. 3fe0000000000001 => bfe0000000000001
    970        fneg. 3fe00094e0000359 => bfe00094e0000359
    971        fneg. 8010000000000001 => 0010000000000001
    972        fneg. 80100094e0000359 => 00100094e0000359
    973        fneg. bfe0000000000001 => 3fe0000000000001
    974        fneg. bfe00094e0000359 => 3fe00094e0000359
    975        fneg. 0000000000000000 => 8000000000000000
    976        fneg. 8000000000000000 => 0000000000000000
    977        fneg. 7ff0000000000000 => fff0000000000000
    978        fneg. fff0000000000000 => 7ff0000000000000
    979        fneg. 7ff7ffffffffffff => fff7ffffffffffff
    980        fneg. fff7ffffffffffff => 7ff7ffffffffffff
    981        fneg. 7ff8000000000000 => fff8000000000000
    982        fneg. fff8000000000000 => 7ff8000000000000
    983 
    984        fabs. 0010000000000001 => 0010000000000001
    985        fabs. 00100094e0000359 => 00100094e0000359
    986        fabs. 3fe0000000000001 => 3fe0000000000001
    987        fabs. 3fe00094e0000359 => 3fe00094e0000359
    988        fabs. 8010000000000001 => 0010000000000001
    989        fabs. 80100094e0000359 => 00100094e0000359
    990        fabs. bfe0000000000001 => 3fe0000000000001
    991        fabs. bfe00094e0000359 => 3fe00094e0000359
    992        fabs. 0000000000000000 => 0000000000000000
    993        fabs. 8000000000000000 => 0000000000000000
    994        fabs. 7ff0000000000000 => 7ff0000000000000
    995        fabs. fff0000000000000 => 7ff0000000000000
    996        fabs. 7ff7ffffffffffff => 7ff7ffffffffffff
    997        fabs. fff7ffffffffffff => 7ff7ffffffffffff
    998        fabs. 7ff8000000000000 => 7ff8000000000000
    999        fabs. fff8000000000000 => 7ff8000000000000
   1000 
   1001       fnabs. 0010000000000001 => 8010000000000001
   1002       fnabs. 00100094e0000359 => 80100094e0000359
   1003       fnabs. 3fe0000000000001 => bfe0000000000001
   1004       fnabs. 3fe00094e0000359 => bfe00094e0000359
   1005       fnabs. 8010000000000001 => 8010000000000001
   1006       fnabs. 80100094e0000359 => 80100094e0000359
   1007       fnabs. bfe0000000000001 => bfe0000000000001
   1008       fnabs. bfe00094e0000359 => bfe00094e0000359
   1009       fnabs. 0000000000000000 => 8000000000000000
   1010       fnabs. 8000000000000000 => 8000000000000000
   1011       fnabs. 7ff0000000000000 => fff0000000000000
   1012       fnabs. fff0000000000000 => fff0000000000000
   1013       fnabs. 7ff7ffffffffffff => fff7ffffffffffff
   1014       fnabs. fff7ffffffffffff => fff7ffffffffffff
   1015       fnabs. 7ff8000000000000 => fff8000000000000
   1016       fnabs. fff8000000000000 => fff8000000000000
   1017 
   1018 PPC floating point status register manipulation insns:
   1019 PPC floating point status register manipulation insns
   1020   with flags update:
   1021 PPC float load insns
   1022     with one register + one 16 bits immediate args with flags update:
   1023          lfs 0010000000000001, -120 => 37e0000000000000,    0
   1024          lfs 00100094e0000359, -112 => 37e0009400000000,    0
   1025          lfs 3fe0000000000001, -104 => 3ffc000000000000,    0
   1026          lfs 3fe00094e0000359,  -96 => 3ffc001280000000,    0
   1027          lfs 8010000000000001,  -88 => b7e0000000000000,    0
   1028          lfs 80100094e0000359,  -80 => b7e0009400000000,    0
   1029          lfs bfe0000000000001,  -72 => bffc000000000000,    0
   1030          lfs bfe00094e0000359,  -64 => bffc001280000000,    0
   1031          lfs 0000000000000000,  -56 => 0000000000000000,    0
   1032          lfs 8000000000000000,  -48 => 8000000000000000,    0
   1033          lfs 7ff0000000000000,  -40 => 7ffe000000000000,    0
   1034          lfs fff0000000000000,  -32 => fffe000000000000,    0
   1035          lfs 7ff7ffffffffffff,  -24 => 7ffeffffe0000000,    0
   1036          lfs fff7ffffffffffff,  -16 => fffeffffe0000000,    0
   1037          lfs 7ff8000000000000,   -8 => 7fff000000000000,    0
   1038          lfs 0010000000000001,    0 => 37e0000000000000,    0
   1039          lfs 00100094e0000359,    8 => 37e0009400000000,    0
   1040          lfs 3fe0000000000001,   16 => 3ffc000000000000,    0
   1041          lfs 3fe00094e0000359,   24 => 3ffc001280000000,    0
   1042          lfs 8010000000000001,   32 => b7e0000000000000,    0
   1043          lfs 80100094e0000359,   40 => b7e0009400000000,    0
   1044          lfs bfe0000000000001,   48 => bffc000000000000,    0
   1045          lfs bfe00094e0000359,   56 => bffc001280000000,    0
   1046          lfs 0000000000000000,   64 => 0000000000000000,    0
   1047          lfs 8000000000000000,   72 => 8000000000000000,    0
   1048          lfs 7ff0000000000000,   80 => 7ffe000000000000,    0
   1049          lfs fff0000000000000,   88 => fffe000000000000,    0
   1050          lfs 7ff7ffffffffffff,   96 => 7ffeffffe0000000,    0
   1051          lfs fff7ffffffffffff,  104 => fffeffffe0000000,    0
   1052          lfs 7ff8000000000000,  112 => 7fff000000000000,    0
   1053          lfs fff8000000000000,  120 => ffff000000000000,    0
   1054 
   1055         lfsu 0010000000000001, -120 => 37e0000000000000, -120
   1056         lfsu 00100094e0000359, -112 => 37e0009400000000, -112
   1057         lfsu 3fe0000000000001, -104 => 3ffc000000000000, -104
   1058         lfsu 3fe00094e0000359,  -96 => 3ffc001280000000,  -96
   1059         lfsu 8010000000000001,  -88 => b7e0000000000000,  -88
   1060         lfsu 80100094e0000359,  -80 => b7e0009400000000,  -80
   1061         lfsu bfe0000000000001,  -72 => bffc000000000000,  -72
   1062         lfsu bfe00094e0000359,  -64 => bffc001280000000,  -64
   1063         lfsu 0000000000000000,  -56 => 0000000000000000,  -56
   1064         lfsu 8000000000000000,  -48 => 8000000000000000,  -48
   1065         lfsu 7ff0000000000000,  -40 => 7ffe000000000000,  -40
   1066         lfsu fff0000000000000,  -32 => fffe000000000000,  -32
   1067         lfsu 7ff7ffffffffffff,  -24 => 7ffeffffe0000000,  -24
   1068         lfsu fff7ffffffffffff,  -16 => fffeffffe0000000,  -16
   1069         lfsu 7ff8000000000000,   -8 => 7fff000000000000,   -8
   1070         lfsu 0010000000000001,    0 => 37e0000000000000,    0
   1071         lfsu 00100094e0000359,    8 => 37e0009400000000,    8
   1072         lfsu 3fe0000000000001,   16 => 3ffc000000000000,   16
   1073         lfsu 3fe00094e0000359,   24 => 3ffc001280000000,   24
   1074         lfsu 8010000000000001,   32 => b7e0000000000000,   32
   1075         lfsu 80100094e0000359,   40 => b7e0009400000000,   40
   1076         lfsu bfe0000000000001,   48 => bffc000000000000,   48
   1077         lfsu bfe00094e0000359,   56 => bffc001280000000,   56
   1078         lfsu 0000000000000000,   64 => 0000000000000000,   64
   1079         lfsu 8000000000000000,   72 => 8000000000000000,   72
   1080         lfsu 7ff0000000000000,   80 => 7ffe000000000000,   80
   1081         lfsu fff0000000000000,   88 => fffe000000000000,   88
   1082         lfsu 7ff7ffffffffffff,   96 => 7ffeffffe0000000,   96
   1083         lfsu fff7ffffffffffff,  104 => fffeffffe0000000,  104
   1084         lfsu 7ff8000000000000,  112 => 7fff000000000000,  112
   1085         lfsu fff8000000000000,  120 => ffff000000000000,  120
   1086 
   1087          lfd 0010000000000001, -120 => 0010000000000001,    0
   1088          lfd 00100094e0000359, -112 => 00100094e0000359,    0
   1089          lfd 3fe0000000000001, -104 => 3fe0000000000001,    0
   1090          lfd 3fe00094e0000359,  -96 => 3fe00094e0000359,    0
   1091          lfd 8010000000000001,  -88 => 8010000000000001,    0
   1092          lfd 80100094e0000359,  -80 => 80100094e0000359,    0
   1093          lfd bfe0000000000001,  -72 => bfe0000000000001,    0
   1094          lfd bfe00094e0000359,  -64 => bfe00094e0000359,    0
   1095          lfd 0000000000000000,  -56 => 0000000000000000,    0
   1096          lfd 8000000000000000,  -48 => 8000000000000000,    0
   1097          lfd 7ff0000000000000,  -40 => 7ff0000000000000,    0
   1098          lfd fff0000000000000,  -32 => fff0000000000000,    0
   1099          lfd 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,    0
   1100          lfd fff7ffffffffffff,  -16 => fff7ffffffffffff,    0
   1101          lfd 7ff8000000000000,   -8 => 7ff8000000000000,    0
   1102          lfd 0010000000000001,    0 => 0010000000000001,    0
   1103          lfd 00100094e0000359,    8 => 00100094e0000359,    0
   1104          lfd 3fe0000000000001,   16 => 3fe0000000000001,    0
   1105          lfd 3fe00094e0000359,   24 => 3fe00094e0000359,    0
   1106          lfd 8010000000000001,   32 => 8010000000000001,    0
   1107          lfd 80100094e0000359,   40 => 80100094e0000359,    0
   1108          lfd bfe0000000000001,   48 => bfe0000000000001,    0
   1109          lfd bfe00094e0000359,   56 => bfe00094e0000359,    0
   1110          lfd 0000000000000000,   64 => 0000000000000000,    0
   1111          lfd 8000000000000000,   72 => 8000000000000000,    0
   1112          lfd 7ff0000000000000,   80 => 7ff0000000000000,    0
   1113          lfd fff0000000000000,   88 => fff0000000000000,    0
   1114          lfd 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
   1115          lfd fff7ffffffffffff,  104 => fff7ffffffffffff,    0
   1116          lfd 7ff8000000000000,  112 => 7ff8000000000000,    0
   1117          lfd fff8000000000000,  120 => fff8000000000000,    0
   1118 
   1119         lfdu 0010000000000001, -120 => 0010000000000001, -120
   1120         lfdu 00100094e0000359, -112 => 00100094e0000359, -112
   1121         lfdu 3fe0000000000001, -104 => 3fe0000000000001, -104
   1122         lfdu 3fe00094e0000359,  -96 => 3fe00094e0000359,  -96
   1123         lfdu 8010000000000001,  -88 => 8010000000000001,  -88
   1124         lfdu 80100094e0000359,  -80 => 80100094e0000359,  -80
   1125         lfdu bfe0000000000001,  -72 => bfe0000000000001,  -72
   1126         lfdu bfe00094e0000359,  -64 => bfe00094e0000359,  -64
   1127         lfdu 0000000000000000,  -56 => 0000000000000000,  -56
   1128         lfdu 8000000000000000,  -48 => 8000000000000000,  -48
   1129         lfdu 7ff0000000000000,  -40 => 7ff0000000000000,  -40
   1130         lfdu fff0000000000000,  -32 => fff0000000000000,  -32
   1131         lfdu 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,  -24
   1132         lfdu fff7ffffffffffff,  -16 => fff7ffffffffffff,  -16
   1133         lfdu 7ff8000000000000,   -8 => 7ff8000000000000,   -8
   1134         lfdu 0010000000000001,    0 => 0010000000000001,    0
   1135         lfdu 00100094e0000359,    8 => 00100094e0000359,    8
   1136         lfdu 3fe0000000000001,   16 => 3fe0000000000001,   16
   1137         lfdu 3fe00094e0000359,   24 => 3fe00094e0000359,   24
   1138         lfdu 8010000000000001,   32 => 8010000000000001,   32
   1139         lfdu 80100094e0000359,   40 => 80100094e0000359,   40
   1140         lfdu bfe0000000000001,   48 => bfe0000000000001,   48
   1141         lfdu bfe00094e0000359,   56 => bfe00094e0000359,   56
   1142         lfdu 0000000000000000,   64 => 0000000000000000,   64
   1143         lfdu 8000000000000000,   72 => 8000000000000000,   72
   1144         lfdu 7ff0000000000000,   80 => 7ff0000000000000,   80
   1145         lfdu fff0000000000000,   88 => fff0000000000000,   88
   1146         lfdu 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
   1147         lfdu fff7ffffffffffff,  104 => fff7ffffffffffff,  104
   1148         lfdu 7ff8000000000000,  112 => 7ff8000000000000,  112
   1149         lfdu fff8000000000000,  120 => fff8000000000000,  120
   1150 
   1151 PPC float load insns with two register args:
   1152         lfsx 0010000000000001, -120 => 37e0000000000000,    0
   1153         lfsx 00100094e0000359, -112 => 37e0009400000000,    0
   1154         lfsx 3fe0000000000001, -104 => 3ffc000000000000,    0
   1155         lfsx 3fe00094e0000359,  -96 => 3ffc001280000000,    0
   1156         lfsx 8010000000000001,  -88 => b7e0000000000000,    0
   1157         lfsx 80100094e0000359,  -80 => b7e0009400000000,    0
   1158         lfsx bfe0000000000001,  -72 => bffc000000000000,    0
   1159         lfsx bfe00094e0000359,  -64 => bffc001280000000,    0
   1160         lfsx 0000000000000000,  -56 => 0000000000000000,    0
   1161         lfsx 8000000000000000,  -48 => 8000000000000000,    0
   1162         lfsx 7ff0000000000000,  -40 => 7ffe000000000000,    0
   1163         lfsx fff0000000000000,  -32 => fffe000000000000,    0
   1164         lfsx 7ff7ffffffffffff,  -24 => 7ffeffffe0000000,    0
   1165         lfsx fff7ffffffffffff,  -16 => fffeffffe0000000,    0
   1166         lfsx 7ff8000000000000,   -8 => 7fff000000000000,    0
   1167         lfsx 0010000000000001,    0 => 37e0000000000000,    0
   1168         lfsx 00100094e0000359,    8 => 37e0009400000000,    0
   1169         lfsx 3fe0000000000001,   16 => 3ffc000000000000,    0
   1170         lfsx 3fe00094e0000359,   24 => 3ffc001280000000,    0
   1171         lfsx 8010000000000001,   32 => b7e0000000000000,    0
   1172         lfsx 80100094e0000359,   40 => b7e0009400000000,    0
   1173         lfsx bfe0000000000001,   48 => bffc000000000000,    0
   1174         lfsx bfe00094e0000359,   56 => bffc001280000000,    0
   1175         lfsx 0000000000000000,   64 => 0000000000000000,    0
   1176         lfsx 8000000000000000,   72 => 8000000000000000,    0
   1177         lfsx 7ff0000000000000,   80 => 7ffe000000000000,    0
   1178         lfsx fff0000000000000,   88 => fffe000000000000,    0
   1179         lfsx 7ff7ffffffffffff,   96 => 7ffeffffe0000000,    0
   1180         lfsx fff7ffffffffffff,  104 => fffeffffe0000000,    0
   1181         lfsx 7ff8000000000000,  112 => 7fff000000000000,    0
   1182         lfsx fff8000000000000,  120 => ffff000000000000,    0
   1183 
   1184        lfsux 0010000000000001, -120 => 37e0000000000000, -120
   1185        lfsux 00100094e0000359, -112 => 37e0009400000000, -112
   1186        lfsux 3fe0000000000001, -104 => 3ffc000000000000, -104
   1187        lfsux 3fe00094e0000359,  -96 => 3ffc001280000000,  -96
   1188        lfsux 8010000000000001,  -88 => b7e0000000000000,  -88
   1189        lfsux 80100094e0000359,  -80 => b7e0009400000000,  -80
   1190        lfsux bfe0000000000001,  -72 => bffc000000000000,  -72
   1191        lfsux bfe00094e0000359,  -64 => bffc001280000000,  -64
   1192        lfsux 0000000000000000,  -56 => 0000000000000000,  -56
   1193        lfsux 8000000000000000,  -48 => 8000000000000000,  -48
   1194        lfsux 7ff0000000000000,  -40 => 7ffe000000000000,  -40
   1195        lfsux fff0000000000000,  -32 => fffe000000000000,  -32
   1196        lfsux 7ff7ffffffffffff,  -24 => 7ffeffffe0000000,  -24
   1197        lfsux fff7ffffffffffff,  -16 => fffeffffe0000000,  -16
   1198        lfsux 7ff8000000000000,   -8 => 7fff000000000000,   -8
   1199        lfsux 0010000000000001,    0 => 37e0000000000000,    0
   1200        lfsux 00100094e0000359,    8 => 37e0009400000000,    8
   1201        lfsux 3fe0000000000001,   16 => 3ffc000000000000,   16
   1202        lfsux 3fe00094e0000359,   24 => 3ffc001280000000,   24
   1203        lfsux 8010000000000001,   32 => b7e0000000000000,   32
   1204        lfsux 80100094e0000359,   40 => b7e0009400000000,   40
   1205        lfsux bfe0000000000001,   48 => bffc000000000000,   48
   1206        lfsux bfe00094e0000359,   56 => bffc001280000000,   56
   1207        lfsux 0000000000000000,   64 => 0000000000000000,   64
   1208        lfsux 8000000000000000,   72 => 8000000000000000,   72
   1209        lfsux 7ff0000000000000,   80 => 7ffe000000000000,   80
   1210        lfsux fff0000000000000,   88 => fffe000000000000,   88
   1211        lfsux 7ff7ffffffffffff,   96 => 7ffeffffe0000000,   96
   1212        lfsux fff7ffffffffffff,  104 => fffeffffe0000000,  104
   1213        lfsux 7ff8000000000000,  112 => 7fff000000000000,  112
   1214        lfsux fff8000000000000,  120 => ffff000000000000,  120
   1215 
   1216         lfdx 0010000000000001, -120 => 0010000000000001,    0
   1217         lfdx 00100094e0000359, -112 => 00100094e0000359,    0
   1218         lfdx 3fe0000000000001, -104 => 3fe0000000000001,    0
   1219         lfdx 3fe00094e0000359,  -96 => 3fe00094e0000359,    0
   1220         lfdx 8010000000000001,  -88 => 8010000000000001,    0
   1221         lfdx 80100094e0000359,  -80 => 80100094e0000359,    0
   1222         lfdx bfe0000000000001,  -72 => bfe0000000000001,    0
   1223         lfdx bfe00094e0000359,  -64 => bfe00094e0000359,    0
   1224         lfdx 0000000000000000,  -56 => 0000000000000000,    0
   1225         lfdx 8000000000000000,  -48 => 8000000000000000,    0
   1226         lfdx 7ff0000000000000,  -40 => 7ff0000000000000,    0
   1227         lfdx fff0000000000000,  -32 => fff0000000000000,    0
   1228         lfdx 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,    0
   1229         lfdx fff7ffffffffffff,  -16 => fff7ffffffffffff,    0
   1230         lfdx 7ff8000000000000,   -8 => 7ff8000000000000,    0
   1231         lfdx 0010000000000001,    0 => 0010000000000001,    0
   1232         lfdx 00100094e0000359,    8 => 00100094e0000359,    0
   1233         lfdx 3fe0000000000001,   16 => 3fe0000000000001,    0
   1234         lfdx 3fe00094e0000359,   24 => 3fe00094e0000359,    0
   1235         lfdx 8010000000000001,   32 => 8010000000000001,    0
   1236         lfdx 80100094e0000359,   40 => 80100094e0000359,    0
   1237         lfdx bfe0000000000001,   48 => bfe0000000000001,    0
   1238         lfdx bfe00094e0000359,   56 => bfe00094e0000359,    0
   1239         lfdx 0000000000000000,   64 => 0000000000000000,    0
   1240         lfdx 8000000000000000,   72 => 8000000000000000,    0
   1241         lfdx 7ff0000000000000,   80 => 7ff0000000000000,    0
   1242         lfdx fff0000000000000,   88 => fff0000000000000,    0
   1243         lfdx 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
   1244         lfdx fff7ffffffffffff,  104 => fff7ffffffffffff,    0
   1245         lfdx 7ff8000000000000,  112 => 7ff8000000000000,    0
   1246         lfdx fff8000000000000,  120 => fff8000000000000,    0
   1247 
   1248        lfdux 0010000000000001, -120 => 0010000000000001, -120
   1249        lfdux 00100094e0000359, -112 => 00100094e0000359, -112
   1250        lfdux 3fe0000000000001, -104 => 3fe0000000000001, -104
   1251        lfdux 3fe00094e0000359,  -96 => 3fe00094e0000359,  -96
   1252        lfdux 8010000000000001,  -88 => 8010000000000001,  -88
   1253        lfdux 80100094e0000359,  -80 => 80100094e0000359,  -80
   1254        lfdux bfe0000000000001,  -72 => bfe0000000000001,  -72
   1255        lfdux bfe00094e0000359,  -64 => bfe00094e0000359,  -64
   1256        lfdux 0000000000000000,  -56 => 0000000000000000,  -56
   1257        lfdux 8000000000000000,  -48 => 8000000000000000,  -48
   1258        lfdux 7ff0000000000000,  -40 => 7ff0000000000000,  -40
   1259        lfdux fff0000000000000,  -32 => fff0000000000000,  -32
   1260        lfdux 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,  -24
   1261        lfdux fff7ffffffffffff,  -16 => fff7ffffffffffff,  -16
   1262        lfdux 7ff8000000000000,   -8 => 7ff8000000000000,   -8
   1263        lfdux 0010000000000001,    0 => 0010000000000001,    0
   1264        lfdux 00100094e0000359,    8 => 00100094e0000359,    8
   1265        lfdux 3fe0000000000001,   16 => 3fe0000000000001,   16
   1266        lfdux 3fe00094e0000359,   24 => 3fe00094e0000359,   24
   1267        lfdux 8010000000000001,   32 => 8010000000000001,   32
   1268        lfdux 80100094e0000359,   40 => 80100094e0000359,   40
   1269        lfdux bfe0000000000001,   48 => bfe0000000000001,   48
   1270        lfdux bfe00094e0000359,   56 => bfe00094e0000359,   56
   1271        lfdux 0000000000000000,   64 => 0000000000000000,   64
   1272        lfdux 8000000000000000,   72 => 8000000000000000,   72
   1273        lfdux 7ff0000000000000,   80 => 7ff0000000000000,   80
   1274        lfdux fff0000000000000,   88 => fff0000000000000,   88
   1275        lfdux 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
   1276        lfdux fff7ffffffffffff,  104 => fff7ffffffffffff,  104
   1277        lfdux 7ff8000000000000,  112 => 7ff8000000000000,  112
   1278        lfdux fff8000000000000,  120 => fff8000000000000,  120
   1279 
   1280 PPC float store insns
   1281     with one register + one 16 bits immediate args with flags update:
   1282          stfs 0010000000000001,  -56 => 0000000000000000,    0
   1283          stfs 00100094e0000359,  -48 => 0000000000000000,    0
   1284          stfs 3fe0000000000001,  -40 => 3f00000000000000,    0
   1285          stfs 3fe00094e0000359,  -32 => 3f0004a700000000,    0
   1286          stfs 8010000000000001,  -24 => 8000000000000000,    0
   1287          stfs 80100094e0000359,  -16 => 8000000000000000,    0
   1288          stfs bfe0000000000001,   -8 => bf00000000000000,    0
   1289          stfs 0010000000000001,    0 => 0000000000000000,    0
   1290          stfs 00100094e0000359,    8 => 0000000000000000,    0
   1291          stfs 3fe0000000000001,   16 => 3f00000000000000,    0
   1292          stfs 3fe00094e0000359,   24 => 3f0004a700000000,    0
   1293          stfs 8010000000000001,   32 => 8000000000000000,    0
   1294          stfs 80100094e0000359,   40 => 8000000000000000,    0
   1295          stfs bfe0000000000001,   48 => bf00000000000000,    0
   1296          stfs bfe00094e0000359,   56 => bf0004a700000000,    0
   1297 
   1298         stfsu 0010000000000001,  -56 => 0000000000000000,  -56
   1299         stfsu 00100094e0000359,  -48 => 0000000000000000,  -48
   1300         stfsu 3fe0000000000001,  -40 => 3f00000000000000,  -40
   1301         stfsu 3fe00094e0000359,  -32 => 3f0004a700000000,  -32
   1302         stfsu 8010000000000001,  -24 => 8000000000000000,  -24
   1303         stfsu 80100094e0000359,  -16 => 8000000000000000,  -16
   1304         stfsu bfe0000000000001,   -8 => bf00000000000000,   -8
   1305         stfsu 0010000000000001,    0 => 0000000000000000,    0
   1306         stfsu 00100094e0000359,    8 => 0000000000000000,    8
   1307         stfsu 3fe0000000000001,   16 => 3f00000000000000,   16
   1308         stfsu 3fe00094e0000359,   24 => 3f0004a700000000,   24
   1309         stfsu 8010000000000001,   32 => 8000000000000000,   32
   1310         stfsu 80100094e0000359,   40 => 8000000000000000,   40
   1311         stfsu bfe0000000000001,   48 => bf00000000000000,   48
   1312         stfsu bfe00094e0000359,   56 => bf0004a700000000,   56
   1313 
   1314          stfd 0010000000000001, -120 => 0010000000000001,    0
   1315          stfd 00100094e0000359, -112 => 00100094e0000359,    0
   1316          stfd 3fe0000000000001, -104 => 3fe0000000000001,    0
   1317          stfd 3fe00094e0000359,  -96 => 3fe00094e0000359,    0
   1318          stfd 8010000000000001,  -88 => 8010000000000001,    0
   1319          stfd 80100094e0000359,  -80 => 80100094e0000359,    0
   1320          stfd bfe0000000000001,  -72 => bfe0000000000001,    0
   1321          stfd bfe00094e0000359,  -64 => bfe00094e0000359,    0
   1322          stfd 0000000000000000,  -56 => 0000000000000000,    0
   1323          stfd 8000000000000000,  -48 => 8000000000000000,    0
   1324          stfd 7ff0000000000000,  -40 => 7ff0000000000000,    0
   1325          stfd fff0000000000000,  -32 => fff0000000000000,    0
   1326          stfd 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,    0
   1327          stfd fff7ffffffffffff,  -16 => fff7ffffffffffff,    0
   1328          stfd 7ff8000000000000,   -8 => 7ff8000000000000,    0
   1329          stfd 0010000000000001,    0 => 0010000000000001,    0
   1330          stfd 00100094e0000359,    8 => 00100094e0000359,    0
   1331          stfd 3fe0000000000001,   16 => 3fe0000000000001,    0
   1332          stfd 3fe00094e0000359,   24 => 3fe00094e0000359,    0
   1333          stfd 8010000000000001,   32 => 8010000000000001,    0
   1334          stfd 80100094e0000359,   40 => 80100094e0000359,    0
   1335          stfd bfe0000000000001,   48 => bfe0000000000001,    0
   1336          stfd bfe00094e0000359,   56 => bfe00094e0000359,    0
   1337          stfd 0000000000000000,   64 => 0000000000000000,    0
   1338          stfd 8000000000000000,   72 => 8000000000000000,    0
   1339          stfd 7ff0000000000000,   80 => 7ff0000000000000,    0
   1340          stfd fff0000000000000,   88 => fff0000000000000,    0
   1341          stfd 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
   1342          stfd fff7ffffffffffff,  104 => fff7ffffffffffff,    0
   1343          stfd 7ff8000000000000,  112 => 7ff8000000000000,    0
   1344          stfd fff8000000000000,  120 => fff8000000000000,    0
   1345 
   1346         stfdu 0010000000000001, -120 => 0010000000000001, -120
   1347         stfdu 00100094e0000359, -112 => 00100094e0000359, -112
   1348         stfdu 3fe0000000000001, -104 => 3fe0000000000001, -104
   1349         stfdu 3fe00094e0000359,  -96 => 3fe00094e0000359,  -96
   1350         stfdu 8010000000000001,  -88 => 8010000000000001,  -88
   1351         stfdu 80100094e0000359,  -80 => 80100094e0000359,  -80
   1352         stfdu bfe0000000000001,  -72 => bfe0000000000001,  -72
   1353         stfdu bfe00094e0000359,  -64 => bfe00094e0000359,  -64
   1354         stfdu 0000000000000000,  -56 => 0000000000000000,  -56
   1355         stfdu 8000000000000000,  -48 => 8000000000000000,  -48
   1356         stfdu 7ff0000000000000,  -40 => 7ff0000000000000,  -40
   1357         stfdu fff0000000000000,  -32 => fff0000000000000,  -32
   1358         stfdu 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,  -24
   1359         stfdu fff7ffffffffffff,  -16 => fff7ffffffffffff,  -16
   1360         stfdu 7ff8000000000000,   -8 => 7ff8000000000000,   -8
   1361         stfdu 0010000000000001,    0 => 0010000000000001,    0
   1362         stfdu 00100094e0000359,    8 => 00100094e0000359,    8
   1363         stfdu 3fe0000000000001,   16 => 3fe0000000000001,   16
   1364         stfdu 3fe00094e0000359,   24 => 3fe00094e0000359,   24
   1365         stfdu 8010000000000001,   32 => 8010000000000001,   32
   1366         stfdu 80100094e0000359,   40 => 80100094e0000359,   40
   1367         stfdu bfe0000000000001,   48 => bfe0000000000001,   48
   1368         stfdu bfe00094e0000359,   56 => bfe00094e0000359,   56
   1369         stfdu 0000000000000000,   64 => 0000000000000000,   64
   1370         stfdu 8000000000000000,   72 => 8000000000000000,   72
   1371         stfdu 7ff0000000000000,   80 => 7ff0000000000000,   80
   1372         stfdu fff0000000000000,   88 => fff0000000000000,   88
   1373         stfdu 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
   1374         stfdu fff7ffffffffffff,  104 => fff7ffffffffffff,  104
   1375         stfdu 7ff8000000000000,  112 => 7ff8000000000000,  112
   1376         stfdu fff8000000000000,  120 => fff8000000000000,  120
   1377 
   1378 PPC float store insns with three register args:
   1379         stfsx 0010000000000001,    0 => 0000000000000000,    0
   1380         stfsx 00100094e0000359,    8 => 0000000000000000,    0
   1381         stfsx 3fe0000000000001,   16 => 3f00000000000000,    0
   1382         stfsx 3fe00094e0000359,   24 => 3f0004a700000000,    0
   1383         stfsx 8010000000000001,   32 => 8000000000000000,    0
   1384         stfsx 80100094e0000359,   40 => 8000000000000000,    0
   1385         stfsx bfe0000000000001,   48 => bf00000000000000,    0
   1386         stfsx bfe00094e0000359,   56 => bf0004a700000000,    0
   1387 
   1388        stfsux 0010000000000001,    0 => 0000000000000000,    0
   1389        stfsux 00100094e0000359,    8 => 0000000000000000,    8
   1390        stfsux 3fe0000000000001,   16 => 3f00000000000000,   16
   1391        stfsux 3fe00094e0000359,   24 => 3f0004a700000000,   24
   1392        stfsux 8010000000000001,   32 => 8000000000000000,   32
   1393        stfsux 80100094e0000359,   40 => 8000000000000000,   40
   1394        stfsux bfe0000000000001,   48 => bf00000000000000,   48
   1395        stfsux bfe00094e0000359,   56 => bf0004a700000000,   56
   1396 
   1397         stfdx 0010000000000001,    0 => 0010000000000001,    0
   1398         stfdx 00100094e0000359,    8 => 00100094e0000359,    0
   1399         stfdx 3fe0000000000001,   16 => 3fe0000000000001,    0
   1400         stfdx 3fe00094e0000359,   24 => 3fe00094e0000359,    0
   1401         stfdx 8010000000000001,   32 => 8010000000000001,    0
   1402         stfdx 80100094e0000359,   40 => 80100094e0000359,    0
   1403         stfdx bfe0000000000001,   48 => bfe0000000000001,    0
   1404         stfdx bfe00094e0000359,   56 => bfe00094e0000359,    0
   1405         stfdx 0000000000000000,   64 => 0000000000000000,    0
   1406         stfdx 8000000000000000,   72 => 8000000000000000,    0
   1407         stfdx 7ff0000000000000,   80 => 7ff0000000000000,    0
   1408         stfdx fff0000000000000,   88 => fff0000000000000,    0
   1409         stfdx 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
   1410         stfdx fff7ffffffffffff,  104 => fff7ffffffffffff,    0
   1411         stfdx 7ff8000000000000,  112 => 7ff8000000000000,    0
   1412         stfdx fff8000000000000,  120 => fff8000000000000,    0
   1413 
   1414        stfdux 0010000000000001,    0 => 0010000000000001,    0
   1415        stfdux 00100094e0000359,    8 => 00100094e0000359,    8
   1416        stfdux 3fe0000000000001,   16 => 3fe0000000000001,   16
   1417        stfdux 3fe00094e0000359,   24 => 3fe00094e0000359,   24
   1418        stfdux 8010000000000001,   32 => 8010000000000001,   32
   1419        stfdux 80100094e0000359,   40 => 80100094e0000359,   40
   1420        stfdux bfe0000000000001,   48 => bfe0000000000001,   48
   1421        stfdux bfe00094e0000359,   56 => bfe00094e0000359,   56
   1422        stfdux 0000000000000000,   64 => 0000000000000000,   64
   1423        stfdux 8000000000000000,   72 => 8000000000000000,   72
   1424        stfdux 7ff0000000000000,   80 => 7ff0000000000000,   80
   1425        stfdux fff0000000000000,   88 => fff0000000000000,   88
   1426        stfdux 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
   1427        stfdux fff7ffffffffffff,  104 => fff7ffffffffffff,  104
   1428        stfdux 7ff8000000000000,  112 => 7ff8000000000000,  112
   1429        stfdux fff8000000000000,  120 => fff8000000000000,  120
   1430 
   1431 All done. Tested 71 different instructions
   1432