Home | History | Annotate | Download | only in ppc64
      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 => 7fff800000000000
    723      frsqrte fff7ffffffffffff => ffff800000000000
    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        fcfid 0010000000000001 => 4330000000000001
    864        fcfid 00100094e0000359 => 43300094e0000359
    865        fcfid 3fe0000000000001 => 43cff00000000000
    866        fcfid 3fe00094e0000359 => 43cff0004a700002
    867        fcfid 8010000000000001 => c3dffc0000000000
    868        fcfid 80100094e0000359 => c3dffbffdac7ffff
    869        fcfid bfe0000000000001 => c3d0080000000000
    870        fcfid bfe00094e0000359 => c3d007ffdac7ffff
    871        fcfid 0000000000000000 => 0000000000000000
    872        fcfid 8000000000000000 => c3e0000000000000
    873        fcfid 7ff0000000000000 => 43dffc0000000000
    874        fcfid fff0000000000000 => c330000000000000
    875        fcfid 7ff7ffffffffffff => 43dffe0000000000
    876        fcfid fff7ffffffffffff => c320000000000002
    877        fcfid 7ff8000000000000 => 43dffe0000000000
    878        fcfid fff8000000000000 => c320000000000000
    879 
    880        fctid 0010000000000001 => 0000000000000000
    881        fctid 00100094e0000359 => 0000000000000000
    882        fctid 3fe0000000000001 => 0000000000000001
    883        fctid 3fe00094e0000359 => 0000000000000001
    884        fctid 8010000000000001 => 0000000000000000
    885        fctid 80100094e0000359 => 0000000000000000
    886        fctid bfe0000000000001 => ffffffffffffffff
    887        fctid bfe00094e0000359 => ffffffffffffffff
    888        fctid 0000000000000000 => 0000000000000000
    889        fctid 8000000000000000 => 0000000000000000
    890        fctid 7ff0000000000000 => 7fffffffffffffff
    891        fctid fff0000000000000 => 8000000000000000
    892        fctid 7ff7ffffffffffff => 8000000000000000
    893        fctid fff7ffffffffffff => 8000000000000000
    894        fctid 7ff8000000000000 => 8000000000000000
    895        fctid fff8000000000000 => 8000000000000000
    896 
    897       fctidz 0010000000000001 => 0000000000000000
    898       fctidz 00100094e0000359 => 0000000000000000
    899       fctidz 3fe0000000000001 => 0000000000000000
    900       fctidz 3fe00094e0000359 => 0000000000000000
    901       fctidz 8010000000000001 => 0000000000000000
    902       fctidz 80100094e0000359 => 0000000000000000
    903       fctidz bfe0000000000001 => 0000000000000000
    904       fctidz bfe00094e0000359 => 0000000000000000
    905       fctidz 0000000000000000 => 0000000000000000
    906       fctidz 8000000000000000 => 0000000000000000
    907       fctidz 7ff0000000000000 => 7fffffffffffffff
    908       fctidz fff0000000000000 => 8000000000000000
    909       fctidz 7ff7ffffffffffff => 8000000000000000
    910       fctidz fff7ffffffffffff => 8000000000000000
    911       fctidz 7ff8000000000000 => 8000000000000000
    912       fctidz fff8000000000000 => 8000000000000000
    913 
    914 PPC floating point arith insns
    915     with one arg with flags update:
    916        fres. 0010000000000001 => 7ff0000000000000
    917        fres. 00100094e0000359 => 7ff0000000000000
    918        fres. 3fe0000000000001 => 4000000000000000
    919        fres. 3fe00094e0000359 => 3ffff00000000000
    920        fres. 8010000000000001 => fff0000000000000
    921        fres. 80100094e0000359 => fff0000000000000
    922        fres. bfe0000000000001 => c000000000000000
    923        fres. bfe00094e0000359 => bffff00000000000
    924        fres. 0000000000000000 => 7ff0000000000000
    925        fres. 8000000000000000 => fff0000000000000
    926        fres. 7ff0000000000000 => 0000000000000000
    927        fres. fff0000000000000 => 8000000000000000
    928        fres. 7ff7ffffffffffff => 7ffff00000000000
    929        fres. fff7ffffffffffff => fffff00000000000
    930        fres. 7ff8000000000000 => 7ff8000000000000
    931        fres. fff8000000000000 => fff8000000000000
    932 
    933     frsqrte. 0010000000000001 => 5fdf000000000000
    934     frsqrte. 00100094e0000359 => 5fdf000000000000
    935     frsqrte. 3fe0000000000001 => 3ff6000000000000
    936     frsqrte. 3fe00094e0000359 => 3ff6000000000000
    937     frsqrte. 8010000000000001 => 7ff8000000000000
    938     frsqrte. 80100094e0000359 => 7ff8000000000000
    939     frsqrte. bfe0000000000001 => 7ff8000000000000
    940     frsqrte. bfe00094e0000359 => 7ff8000000000000
    941     frsqrte. 0000000000000000 => 7ff0000000000000
    942     frsqrte. 8000000000000000 => fff0000000000000
    943     frsqrte. 7ff0000000000000 => 0000000000000000
    944     frsqrte. fff0000000000000 => 7ff8000000000000
    945     frsqrte. 7ff7ffffffffffff => 7fff800000000000
    946     frsqrte. fff7ffffffffffff => ffff800000000000
    947     frsqrte. 7ff8000000000000 => 7ff8000000000000
    948     frsqrte. fff8000000000000 => fff8000000000000
    949 
    950        frsp. 0010000000000001 => 0000000000000000
    951        frsp. 00100094e0000359 => 0000000000000000
    952        frsp. 3fe0000000000001 => 3fe0000000000000
    953        frsp. 3fe00094e0000359 => 3fe00094e0000000
    954        frsp. 8010000000000001 => 8000000000000000
    955        frsp. 80100094e0000359 => 8000000000000000
    956        frsp. bfe0000000000001 => bfe0000000000000
    957        frsp. bfe00094e0000359 => bfe00094e0000000
    958        frsp. 0000000000000000 => 0000000000000000
    959        frsp. 8000000000000000 => 8000000000000000
    960        frsp. 7ff0000000000000 => 7ff0000000000000
    961        frsp. fff0000000000000 => fff0000000000000
    962        frsp. 7ff7ffffffffffff => 7fffffffe0000000
    963        frsp. fff7ffffffffffff => ffffffffe0000000
    964        frsp. 7ff8000000000000 => 7ff8000000000000
    965        frsp. fff8000000000000 => fff8000000000000
    966 
    967       fctiw. 0010000000000001 => 0000000000000000
    968       fctiw. 00100094e0000359 => 0000000000000000
    969       fctiw. 3fe0000000000001 => 0000000000000001
    970       fctiw. 3fe00094e0000359 => 0000000000000001
    971       fctiw. 8010000000000001 => 0000000000000000
    972       fctiw. 80100094e0000359 => 0000000000000000
    973       fctiw. bfe0000000000001 => 00000000ffffffff
    974       fctiw. bfe00094e0000359 => 00000000ffffffff
    975       fctiw. 0000000000000000 => 0000000000000000
    976       fctiw. 8000000000000000 => 0000000000000000
    977       fctiw. 7ff0000000000000 => 000000007fffffff
    978       fctiw. fff0000000000000 => 0000000080000000
    979       fctiw. 7ff7ffffffffffff => 0000000080000000
    980       fctiw. fff7ffffffffffff => 0000000080000000
    981       fctiw. 7ff8000000000000 => 0000000080000000
    982       fctiw. fff8000000000000 => 0000000080000000
    983 
    984      fctiwz. 0010000000000001 => 0000000000000000
    985      fctiwz. 00100094e0000359 => 0000000000000000
    986      fctiwz. 3fe0000000000001 => 0000000000000000
    987      fctiwz. 3fe00094e0000359 => 0000000000000000
    988      fctiwz. 8010000000000001 => 0000000000000000
    989      fctiwz. 80100094e0000359 => 0000000000000000
    990      fctiwz. bfe0000000000001 => 0000000000000000
    991      fctiwz. bfe00094e0000359 => 0000000000000000
    992      fctiwz. 0000000000000000 => 0000000000000000
    993      fctiwz. 8000000000000000 => 0000000000000000
    994      fctiwz. 7ff0000000000000 => 000000007fffffff
    995      fctiwz. fff0000000000000 => 0000000080000000
    996      fctiwz. 7ff7ffffffffffff => 0000000080000000
    997      fctiwz. fff7ffffffffffff => 0000000080000000
    998      fctiwz. 7ff8000000000000 => 0000000080000000
    999      fctiwz. fff8000000000000 => 0000000080000000
   1000 
   1001         fmr. 0010000000000001 => 0010000000000001
   1002         fmr. 00100094e0000359 => 00100094e0000359
   1003         fmr. 3fe0000000000001 => 3fe0000000000001
   1004         fmr. 3fe00094e0000359 => 3fe00094e0000359
   1005         fmr. 8010000000000001 => 8010000000000001
   1006         fmr. 80100094e0000359 => 80100094e0000359
   1007         fmr. bfe0000000000001 => bfe0000000000001
   1008         fmr. bfe00094e0000359 => bfe00094e0000359
   1009         fmr. 0000000000000000 => 0000000000000000
   1010         fmr. 8000000000000000 => 8000000000000000
   1011         fmr. 7ff0000000000000 => 7ff0000000000000
   1012         fmr. fff0000000000000 => fff0000000000000
   1013         fmr. 7ff7ffffffffffff => 7ff7ffffffffffff
   1014         fmr. fff7ffffffffffff => fff7ffffffffffff
   1015         fmr. 7ff8000000000000 => 7ff8000000000000
   1016         fmr. fff8000000000000 => fff8000000000000
   1017 
   1018        fneg. 0010000000000001 => 8010000000000001
   1019        fneg. 00100094e0000359 => 80100094e0000359
   1020        fneg. 3fe0000000000001 => bfe0000000000001
   1021        fneg. 3fe00094e0000359 => bfe00094e0000359
   1022        fneg. 8010000000000001 => 0010000000000001
   1023        fneg. 80100094e0000359 => 00100094e0000359
   1024        fneg. bfe0000000000001 => 3fe0000000000001
   1025        fneg. bfe00094e0000359 => 3fe00094e0000359
   1026        fneg. 0000000000000000 => 8000000000000000
   1027        fneg. 8000000000000000 => 0000000000000000
   1028        fneg. 7ff0000000000000 => fff0000000000000
   1029        fneg. fff0000000000000 => 7ff0000000000000
   1030        fneg. 7ff7ffffffffffff => fff7ffffffffffff
   1031        fneg. fff7ffffffffffff => 7ff7ffffffffffff
   1032        fneg. 7ff8000000000000 => fff8000000000000
   1033        fneg. fff8000000000000 => 7ff8000000000000
   1034 
   1035        fabs. 0010000000000001 => 0010000000000001
   1036        fabs. 00100094e0000359 => 00100094e0000359
   1037        fabs. 3fe0000000000001 => 3fe0000000000001
   1038        fabs. 3fe00094e0000359 => 3fe00094e0000359
   1039        fabs. 8010000000000001 => 0010000000000001
   1040        fabs. 80100094e0000359 => 00100094e0000359
   1041        fabs. bfe0000000000001 => 3fe0000000000001
   1042        fabs. bfe00094e0000359 => 3fe00094e0000359
   1043        fabs. 0000000000000000 => 0000000000000000
   1044        fabs. 8000000000000000 => 0000000000000000
   1045        fabs. 7ff0000000000000 => 7ff0000000000000
   1046        fabs. fff0000000000000 => 7ff0000000000000
   1047        fabs. 7ff7ffffffffffff => 7ff7ffffffffffff
   1048        fabs. fff7ffffffffffff => 7ff7ffffffffffff
   1049        fabs. 7ff8000000000000 => 7ff8000000000000
   1050        fabs. fff8000000000000 => 7ff8000000000000
   1051 
   1052       fnabs. 0010000000000001 => 8010000000000001
   1053       fnabs. 00100094e0000359 => 80100094e0000359
   1054       fnabs. 3fe0000000000001 => bfe0000000000001
   1055       fnabs. 3fe00094e0000359 => bfe00094e0000359
   1056       fnabs. 8010000000000001 => 8010000000000001
   1057       fnabs. 80100094e0000359 => 80100094e0000359
   1058       fnabs. bfe0000000000001 => bfe0000000000001
   1059       fnabs. bfe00094e0000359 => bfe00094e0000359
   1060       fnabs. 0000000000000000 => 8000000000000000
   1061       fnabs. 8000000000000000 => 8000000000000000
   1062       fnabs. 7ff0000000000000 => fff0000000000000
   1063       fnabs. fff0000000000000 => fff0000000000000
   1064       fnabs. 7ff7ffffffffffff => fff7ffffffffffff
   1065       fnabs. fff7ffffffffffff => fff7ffffffffffff
   1066       fnabs. 7ff8000000000000 => fff8000000000000
   1067       fnabs. fff8000000000000 => fff8000000000000
   1068 
   1069       fcfid. 0010000000000001 => 4330000000000001
   1070       fcfid. 00100094e0000359 => 43300094e0000359
   1071       fcfid. 3fe0000000000001 => 43cff00000000000
   1072       fcfid. 3fe00094e0000359 => 43cff0004a700002
   1073       fcfid. 8010000000000001 => c3dffc0000000000
   1074       fcfid. 80100094e0000359 => c3dffbffdac7ffff
   1075       fcfid. bfe0000000000001 => c3d0080000000000
   1076       fcfid. bfe00094e0000359 => c3d007ffdac7ffff
   1077       fcfid. 0000000000000000 => 0000000000000000
   1078       fcfid. 8000000000000000 => c3e0000000000000
   1079       fcfid. 7ff0000000000000 => 43dffc0000000000
   1080       fcfid. fff0000000000000 => c330000000000000
   1081       fcfid. 7ff7ffffffffffff => 43dffe0000000000
   1082       fcfid. fff7ffffffffffff => c320000000000002
   1083       fcfid. 7ff8000000000000 => 43dffe0000000000
   1084       fcfid. fff8000000000000 => c320000000000000
   1085 
   1086       fctid. 0010000000000001 => 0000000000000000
   1087       fctid. 00100094e0000359 => 0000000000000000
   1088       fctid. 3fe0000000000001 => 0000000000000001
   1089       fctid. 3fe00094e0000359 => 0000000000000001
   1090       fctid. 8010000000000001 => 0000000000000000
   1091       fctid. 80100094e0000359 => 0000000000000000
   1092       fctid. bfe0000000000001 => ffffffffffffffff
   1093       fctid. bfe00094e0000359 => ffffffffffffffff
   1094       fctid. 0000000000000000 => 0000000000000000
   1095       fctid. 8000000000000000 => 0000000000000000
   1096       fctid. 7ff0000000000000 => 7fffffffffffffff
   1097       fctid. fff0000000000000 => 8000000000000000
   1098       fctid. 7ff7ffffffffffff => 8000000000000000
   1099       fctid. fff7ffffffffffff => 8000000000000000
   1100       fctid. 7ff8000000000000 => 8000000000000000
   1101       fctid. fff8000000000000 => 8000000000000000
   1102 
   1103      fctidz. 0010000000000001 => 0000000000000000
   1104      fctidz. 00100094e0000359 => 0000000000000000
   1105      fctidz. 3fe0000000000001 => 0000000000000000
   1106      fctidz. 3fe00094e0000359 => 0000000000000000
   1107      fctidz. 8010000000000001 => 0000000000000000
   1108      fctidz. 80100094e0000359 => 0000000000000000
   1109      fctidz. bfe0000000000001 => 0000000000000000
   1110      fctidz. bfe00094e0000359 => 0000000000000000
   1111      fctidz. 0000000000000000 => 0000000000000000
   1112      fctidz. 8000000000000000 => 0000000000000000
   1113      fctidz. 7ff0000000000000 => 7fffffffffffffff
   1114      fctidz. fff0000000000000 => 8000000000000000
   1115      fctidz. 7ff7ffffffffffff => 8000000000000000
   1116      fctidz. fff7ffffffffffff => 8000000000000000
   1117      fctidz. 7ff8000000000000 => 8000000000000000
   1118      fctidz. fff8000000000000 => 8000000000000000
   1119 
   1120 PPC floating point status register manipulation insns:
   1121 PPC floating point status register manipulation insns
   1122   with flags update:
   1123 PPC float load insns
   1124     with one register + one 16 bits immediate args with flags update:
   1125          lfs 0010000000000001, -120 => 37e0000000000000,    0
   1126          lfs 00100094e0000359, -112 => 37e0009400000000,    0
   1127          lfs 3fe0000000000001, -104 => 3ffc000000000000,    0
   1128          lfs 3fe00094e0000359,  -96 => 3ffc001280000000,    0
   1129          lfs 8010000000000001,  -88 => b7e0000000000000,    0
   1130          lfs 80100094e0000359,  -80 => b7e0009400000000,    0
   1131          lfs bfe0000000000001,  -72 => bffc000000000000,    0
   1132          lfs bfe00094e0000359,  -64 => bffc001280000000,    0
   1133          lfs 0000000000000000,  -56 => 0000000000000000,    0
   1134          lfs 8000000000000000,  -48 => 8000000000000000,    0
   1135          lfs 7ff0000000000000,  -40 => 7ffe000000000000,    0
   1136          lfs fff0000000000000,  -32 => fffe000000000000,    0
   1137          lfs 7ff7ffffffffffff,  -24 => 7ffeffffe0000000,    0
   1138          lfs fff7ffffffffffff,  -16 => fffeffffe0000000,    0
   1139          lfs 7ff8000000000000,   -8 => 7fff000000000000,    0
   1140          lfs 0010000000000001,    0 => 37e0000000000000,    0
   1141          lfs 00100094e0000359,    8 => 37e0009400000000,    0
   1142          lfs 3fe0000000000001,   16 => 3ffc000000000000,    0
   1143          lfs 3fe00094e0000359,   24 => 3ffc001280000000,    0
   1144          lfs 8010000000000001,   32 => b7e0000000000000,    0
   1145          lfs 80100094e0000359,   40 => b7e0009400000000,    0
   1146          lfs bfe0000000000001,   48 => bffc000000000000,    0
   1147          lfs bfe00094e0000359,   56 => bffc001280000000,    0
   1148          lfs 0000000000000000,   64 => 0000000000000000,    0
   1149          lfs 8000000000000000,   72 => 8000000000000000,    0
   1150          lfs 7ff0000000000000,   80 => 7ffe000000000000,    0
   1151          lfs fff0000000000000,   88 => fffe000000000000,    0
   1152          lfs 7ff7ffffffffffff,   96 => 7ffeffffe0000000,    0
   1153          lfs fff7ffffffffffff,  104 => fffeffffe0000000,    0
   1154          lfs 7ff8000000000000,  112 => 7fff000000000000,    0
   1155          lfs fff8000000000000,  120 => ffff000000000000,    0
   1156 
   1157         lfsu 0010000000000001, -120 => 37e0000000000000, -120
   1158         lfsu 00100094e0000359, -112 => 37e0009400000000, -112
   1159         lfsu 3fe0000000000001, -104 => 3ffc000000000000, -104
   1160         lfsu 3fe00094e0000359,  -96 => 3ffc001280000000,  -96
   1161         lfsu 8010000000000001,  -88 => b7e0000000000000,  -88
   1162         lfsu 80100094e0000359,  -80 => b7e0009400000000,  -80
   1163         lfsu bfe0000000000001,  -72 => bffc000000000000,  -72
   1164         lfsu bfe00094e0000359,  -64 => bffc001280000000,  -64
   1165         lfsu 0000000000000000,  -56 => 0000000000000000,  -56
   1166         lfsu 8000000000000000,  -48 => 8000000000000000,  -48
   1167         lfsu 7ff0000000000000,  -40 => 7ffe000000000000,  -40
   1168         lfsu fff0000000000000,  -32 => fffe000000000000,  -32
   1169         lfsu 7ff7ffffffffffff,  -24 => 7ffeffffe0000000,  -24
   1170         lfsu fff7ffffffffffff,  -16 => fffeffffe0000000,  -16
   1171         lfsu 7ff8000000000000,   -8 => 7fff000000000000,   -8
   1172         lfsu 0010000000000001,    0 => 37e0000000000000,    0
   1173         lfsu 00100094e0000359,    8 => 37e0009400000000,    8
   1174         lfsu 3fe0000000000001,   16 => 3ffc000000000000,   16
   1175         lfsu 3fe00094e0000359,   24 => 3ffc001280000000,   24
   1176         lfsu 8010000000000001,   32 => b7e0000000000000,   32
   1177         lfsu 80100094e0000359,   40 => b7e0009400000000,   40
   1178         lfsu bfe0000000000001,   48 => bffc000000000000,   48
   1179         lfsu bfe00094e0000359,   56 => bffc001280000000,   56
   1180         lfsu 0000000000000000,   64 => 0000000000000000,   64
   1181         lfsu 8000000000000000,   72 => 8000000000000000,   72
   1182         lfsu 7ff0000000000000,   80 => 7ffe000000000000,   80
   1183         lfsu fff0000000000000,   88 => fffe000000000000,   88
   1184         lfsu 7ff7ffffffffffff,   96 => 7ffeffffe0000000,   96
   1185         lfsu fff7ffffffffffff,  104 => fffeffffe0000000,  104
   1186         lfsu 7ff8000000000000,  112 => 7fff000000000000,  112
   1187         lfsu fff8000000000000,  120 => ffff000000000000,  120
   1188 
   1189          lfd 0010000000000001, -120 => 0010000000000001,    0
   1190          lfd 00100094e0000359, -112 => 00100094e0000359,    0
   1191          lfd 3fe0000000000001, -104 => 3fe0000000000001,    0
   1192          lfd 3fe00094e0000359,  -96 => 3fe00094e0000359,    0
   1193          lfd 8010000000000001,  -88 => 8010000000000001,    0
   1194          lfd 80100094e0000359,  -80 => 80100094e0000359,    0
   1195          lfd bfe0000000000001,  -72 => bfe0000000000001,    0
   1196          lfd bfe00094e0000359,  -64 => bfe00094e0000359,    0
   1197          lfd 0000000000000000,  -56 => 0000000000000000,    0
   1198          lfd 8000000000000000,  -48 => 8000000000000000,    0
   1199          lfd 7ff0000000000000,  -40 => 7ff0000000000000,    0
   1200          lfd fff0000000000000,  -32 => fff0000000000000,    0
   1201          lfd 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,    0
   1202          lfd fff7ffffffffffff,  -16 => fff7ffffffffffff,    0
   1203          lfd 7ff8000000000000,   -8 => 7ff8000000000000,    0
   1204          lfd 0010000000000001,    0 => 0010000000000001,    0
   1205          lfd 00100094e0000359,    8 => 00100094e0000359,    0
   1206          lfd 3fe0000000000001,   16 => 3fe0000000000001,    0
   1207          lfd 3fe00094e0000359,   24 => 3fe00094e0000359,    0
   1208          lfd 8010000000000001,   32 => 8010000000000001,    0
   1209          lfd 80100094e0000359,   40 => 80100094e0000359,    0
   1210          lfd bfe0000000000001,   48 => bfe0000000000001,    0
   1211          lfd bfe00094e0000359,   56 => bfe00094e0000359,    0
   1212          lfd 0000000000000000,   64 => 0000000000000000,    0
   1213          lfd 8000000000000000,   72 => 8000000000000000,    0
   1214          lfd 7ff0000000000000,   80 => 7ff0000000000000,    0
   1215          lfd fff0000000000000,   88 => fff0000000000000,    0
   1216          lfd 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
   1217          lfd fff7ffffffffffff,  104 => fff7ffffffffffff,    0
   1218          lfd 7ff8000000000000,  112 => 7ff8000000000000,    0
   1219          lfd fff8000000000000,  120 => fff8000000000000,    0
   1220 
   1221         lfdu 0010000000000001, -120 => 0010000000000001, -120
   1222         lfdu 00100094e0000359, -112 => 00100094e0000359, -112
   1223         lfdu 3fe0000000000001, -104 => 3fe0000000000001, -104
   1224         lfdu 3fe00094e0000359,  -96 => 3fe00094e0000359,  -96
   1225         lfdu 8010000000000001,  -88 => 8010000000000001,  -88
   1226         lfdu 80100094e0000359,  -80 => 80100094e0000359,  -80
   1227         lfdu bfe0000000000001,  -72 => bfe0000000000001,  -72
   1228         lfdu bfe00094e0000359,  -64 => bfe00094e0000359,  -64
   1229         lfdu 0000000000000000,  -56 => 0000000000000000,  -56
   1230         lfdu 8000000000000000,  -48 => 8000000000000000,  -48
   1231         lfdu 7ff0000000000000,  -40 => 7ff0000000000000,  -40
   1232         lfdu fff0000000000000,  -32 => fff0000000000000,  -32
   1233         lfdu 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,  -24
   1234         lfdu fff7ffffffffffff,  -16 => fff7ffffffffffff,  -16
   1235         lfdu 7ff8000000000000,   -8 => 7ff8000000000000,   -8
   1236         lfdu 0010000000000001,    0 => 0010000000000001,    0
   1237         lfdu 00100094e0000359,    8 => 00100094e0000359,    8
   1238         lfdu 3fe0000000000001,   16 => 3fe0000000000001,   16
   1239         lfdu 3fe00094e0000359,   24 => 3fe00094e0000359,   24
   1240         lfdu 8010000000000001,   32 => 8010000000000001,   32
   1241         lfdu 80100094e0000359,   40 => 80100094e0000359,   40
   1242         lfdu bfe0000000000001,   48 => bfe0000000000001,   48
   1243         lfdu bfe00094e0000359,   56 => bfe00094e0000359,   56
   1244         lfdu 0000000000000000,   64 => 0000000000000000,   64
   1245         lfdu 8000000000000000,   72 => 8000000000000000,   72
   1246         lfdu 7ff0000000000000,   80 => 7ff0000000000000,   80
   1247         lfdu fff0000000000000,   88 => fff0000000000000,   88
   1248         lfdu 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
   1249         lfdu fff7ffffffffffff,  104 => fff7ffffffffffff,  104
   1250         lfdu 7ff8000000000000,  112 => 7ff8000000000000,  112
   1251         lfdu fff8000000000000,  120 => fff8000000000000,  120
   1252 
   1253 PPC float load insns with two register args:
   1254         lfsx 0010000000000001, -120 => 37e0000000000000,    0
   1255         lfsx 00100094e0000359, -112 => 37e0009400000000,    0
   1256         lfsx 3fe0000000000001, -104 => 3ffc000000000000,    0
   1257         lfsx 3fe00094e0000359,  -96 => 3ffc001280000000,    0
   1258         lfsx 8010000000000001,  -88 => b7e0000000000000,    0
   1259         lfsx 80100094e0000359,  -80 => b7e0009400000000,    0
   1260         lfsx bfe0000000000001,  -72 => bffc000000000000,    0
   1261         lfsx bfe00094e0000359,  -64 => bffc001280000000,    0
   1262         lfsx 0000000000000000,  -56 => 0000000000000000,    0
   1263         lfsx 8000000000000000,  -48 => 8000000000000000,    0
   1264         lfsx 7ff0000000000000,  -40 => 7ffe000000000000,    0
   1265         lfsx fff0000000000000,  -32 => fffe000000000000,    0
   1266         lfsx 7ff7ffffffffffff,  -24 => 7ffeffffe0000000,    0
   1267         lfsx fff7ffffffffffff,  -16 => fffeffffe0000000,    0
   1268         lfsx 7ff8000000000000,   -8 => 7fff000000000000,    0
   1269         lfsx 0010000000000001,    0 => 37e0000000000000,    0
   1270         lfsx 00100094e0000359,    8 => 37e0009400000000,    0
   1271         lfsx 3fe0000000000001,   16 => 3ffc000000000000,    0
   1272         lfsx 3fe00094e0000359,   24 => 3ffc001280000000,    0
   1273         lfsx 8010000000000001,   32 => b7e0000000000000,    0
   1274         lfsx 80100094e0000359,   40 => b7e0009400000000,    0
   1275         lfsx bfe0000000000001,   48 => bffc000000000000,    0
   1276         lfsx bfe00094e0000359,   56 => bffc001280000000,    0
   1277         lfsx 0000000000000000,   64 => 0000000000000000,    0
   1278         lfsx 8000000000000000,   72 => 8000000000000000,    0
   1279         lfsx 7ff0000000000000,   80 => 7ffe000000000000,    0
   1280         lfsx fff0000000000000,   88 => fffe000000000000,    0
   1281         lfsx 7ff7ffffffffffff,   96 => 7ffeffffe0000000,    0
   1282         lfsx fff7ffffffffffff,  104 => fffeffffe0000000,    0
   1283         lfsx 7ff8000000000000,  112 => 7fff000000000000,    0
   1284         lfsx fff8000000000000,  120 => ffff000000000000,    0
   1285 
   1286        lfsux 0010000000000001, -120 => 37e0000000000000, -120
   1287        lfsux 00100094e0000359, -112 => 37e0009400000000, -112
   1288        lfsux 3fe0000000000001, -104 => 3ffc000000000000, -104
   1289        lfsux 3fe00094e0000359,  -96 => 3ffc001280000000,  -96
   1290        lfsux 8010000000000001,  -88 => b7e0000000000000,  -88
   1291        lfsux 80100094e0000359,  -80 => b7e0009400000000,  -80
   1292        lfsux bfe0000000000001,  -72 => bffc000000000000,  -72
   1293        lfsux bfe00094e0000359,  -64 => bffc001280000000,  -64
   1294        lfsux 0000000000000000,  -56 => 0000000000000000,  -56
   1295        lfsux 8000000000000000,  -48 => 8000000000000000,  -48
   1296        lfsux 7ff0000000000000,  -40 => 7ffe000000000000,  -40
   1297        lfsux fff0000000000000,  -32 => fffe000000000000,  -32
   1298        lfsux 7ff7ffffffffffff,  -24 => 7ffeffffe0000000,  -24
   1299        lfsux fff7ffffffffffff,  -16 => fffeffffe0000000,  -16
   1300        lfsux 7ff8000000000000,   -8 => 7fff000000000000,   -8
   1301        lfsux 0010000000000001,    0 => 37e0000000000000,    0
   1302        lfsux 00100094e0000359,    8 => 37e0009400000000,    8
   1303        lfsux 3fe0000000000001,   16 => 3ffc000000000000,   16
   1304        lfsux 3fe00094e0000359,   24 => 3ffc001280000000,   24
   1305        lfsux 8010000000000001,   32 => b7e0000000000000,   32
   1306        lfsux 80100094e0000359,   40 => b7e0009400000000,   40
   1307        lfsux bfe0000000000001,   48 => bffc000000000000,   48
   1308        lfsux bfe00094e0000359,   56 => bffc001280000000,   56
   1309        lfsux 0000000000000000,   64 => 0000000000000000,   64
   1310        lfsux 8000000000000000,   72 => 8000000000000000,   72
   1311        lfsux 7ff0000000000000,   80 => 7ffe000000000000,   80
   1312        lfsux fff0000000000000,   88 => fffe000000000000,   88
   1313        lfsux 7ff7ffffffffffff,   96 => 7ffeffffe0000000,   96
   1314        lfsux fff7ffffffffffff,  104 => fffeffffe0000000,  104
   1315        lfsux 7ff8000000000000,  112 => 7fff000000000000,  112
   1316        lfsux fff8000000000000,  120 => ffff000000000000,  120
   1317 
   1318         lfdx 0010000000000001, -120 => 0010000000000001,    0
   1319         lfdx 00100094e0000359, -112 => 00100094e0000359,    0
   1320         lfdx 3fe0000000000001, -104 => 3fe0000000000001,    0
   1321         lfdx 3fe00094e0000359,  -96 => 3fe00094e0000359,    0
   1322         lfdx 8010000000000001,  -88 => 8010000000000001,    0
   1323         lfdx 80100094e0000359,  -80 => 80100094e0000359,    0
   1324         lfdx bfe0000000000001,  -72 => bfe0000000000001,    0
   1325         lfdx bfe00094e0000359,  -64 => bfe00094e0000359,    0
   1326         lfdx 0000000000000000,  -56 => 0000000000000000,    0
   1327         lfdx 8000000000000000,  -48 => 8000000000000000,    0
   1328         lfdx 7ff0000000000000,  -40 => 7ff0000000000000,    0
   1329         lfdx fff0000000000000,  -32 => fff0000000000000,    0
   1330         lfdx 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,    0
   1331         lfdx fff7ffffffffffff,  -16 => fff7ffffffffffff,    0
   1332         lfdx 7ff8000000000000,   -8 => 7ff8000000000000,    0
   1333         lfdx 0010000000000001,    0 => 0010000000000001,    0
   1334         lfdx 00100094e0000359,    8 => 00100094e0000359,    0
   1335         lfdx 3fe0000000000001,   16 => 3fe0000000000001,    0
   1336         lfdx 3fe00094e0000359,   24 => 3fe00094e0000359,    0
   1337         lfdx 8010000000000001,   32 => 8010000000000001,    0
   1338         lfdx 80100094e0000359,   40 => 80100094e0000359,    0
   1339         lfdx bfe0000000000001,   48 => bfe0000000000001,    0
   1340         lfdx bfe00094e0000359,   56 => bfe00094e0000359,    0
   1341         lfdx 0000000000000000,   64 => 0000000000000000,    0
   1342         lfdx 8000000000000000,   72 => 8000000000000000,    0
   1343         lfdx 7ff0000000000000,   80 => 7ff0000000000000,    0
   1344         lfdx fff0000000000000,   88 => fff0000000000000,    0
   1345         lfdx 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
   1346         lfdx fff7ffffffffffff,  104 => fff7ffffffffffff,    0
   1347         lfdx 7ff8000000000000,  112 => 7ff8000000000000,    0
   1348         lfdx fff8000000000000,  120 => fff8000000000000,    0
   1349 
   1350        lfdux 0010000000000001, -120 => 0010000000000001, -120
   1351        lfdux 00100094e0000359, -112 => 00100094e0000359, -112
   1352        lfdux 3fe0000000000001, -104 => 3fe0000000000001, -104
   1353        lfdux 3fe00094e0000359,  -96 => 3fe00094e0000359,  -96
   1354        lfdux 8010000000000001,  -88 => 8010000000000001,  -88
   1355        lfdux 80100094e0000359,  -80 => 80100094e0000359,  -80
   1356        lfdux bfe0000000000001,  -72 => bfe0000000000001,  -72
   1357        lfdux bfe00094e0000359,  -64 => bfe00094e0000359,  -64
   1358        lfdux 0000000000000000,  -56 => 0000000000000000,  -56
   1359        lfdux 8000000000000000,  -48 => 8000000000000000,  -48
   1360        lfdux 7ff0000000000000,  -40 => 7ff0000000000000,  -40
   1361        lfdux fff0000000000000,  -32 => fff0000000000000,  -32
   1362        lfdux 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,  -24
   1363        lfdux fff7ffffffffffff,  -16 => fff7ffffffffffff,  -16
   1364        lfdux 7ff8000000000000,   -8 => 7ff8000000000000,   -8
   1365        lfdux 0010000000000001,    0 => 0010000000000001,    0
   1366        lfdux 00100094e0000359,    8 => 00100094e0000359,    8
   1367        lfdux 3fe0000000000001,   16 => 3fe0000000000001,   16
   1368        lfdux 3fe00094e0000359,   24 => 3fe00094e0000359,   24
   1369        lfdux 8010000000000001,   32 => 8010000000000001,   32
   1370        lfdux 80100094e0000359,   40 => 80100094e0000359,   40
   1371        lfdux bfe0000000000001,   48 => bfe0000000000001,   48
   1372        lfdux bfe00094e0000359,   56 => bfe00094e0000359,   56
   1373        lfdux 0000000000000000,   64 => 0000000000000000,   64
   1374        lfdux 8000000000000000,   72 => 8000000000000000,   72
   1375        lfdux 7ff0000000000000,   80 => 7ff0000000000000,   80
   1376        lfdux fff0000000000000,   88 => fff0000000000000,   88
   1377        lfdux 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
   1378        lfdux fff7ffffffffffff,  104 => fff7ffffffffffff,  104
   1379        lfdux 7ff8000000000000,  112 => 7ff8000000000000,  112
   1380        lfdux fff8000000000000,  120 => fff8000000000000,  120
   1381 
   1382 PPC float store insns
   1383     with one register + one 16 bits immediate args with flags update:
   1384          stfs 0010000000000001,  -56 => 0000000000000000,    0
   1385          stfs 00100094e0000359,  -48 => 0000000000000000,    0
   1386          stfs 3fe0000000000001,  -40 => 3f00000000000000,    0
   1387          stfs 3fe00094e0000359,  -32 => 3f0004a700000000,    0
   1388          stfs 8010000000000001,  -24 => 8000000000000000,    0
   1389          stfs 80100094e0000359,  -16 => 8000000000000000,    0
   1390          stfs bfe0000000000001,   -8 => bf00000000000000,    0
   1391          stfs 0010000000000001,    0 => 0000000000000000,    0
   1392          stfs 00100094e0000359,    8 => 0000000000000000,    0
   1393          stfs 3fe0000000000001,   16 => 3f00000000000000,    0
   1394          stfs 3fe00094e0000359,   24 => 3f0004a700000000,    0
   1395          stfs 8010000000000001,   32 => 8000000000000000,    0
   1396          stfs 80100094e0000359,   40 => 8000000000000000,    0
   1397          stfs bfe0000000000001,   48 => bf00000000000000,    0
   1398          stfs bfe00094e0000359,   56 => bf0004a700000000,    0
   1399 
   1400         stfsu 0010000000000001,  -56 => 0000000000000000,  -56
   1401         stfsu 00100094e0000359,  -48 => 0000000000000000,  -48
   1402         stfsu 3fe0000000000001,  -40 => 3f00000000000000,  -40
   1403         stfsu 3fe00094e0000359,  -32 => 3f0004a700000000,  -32
   1404         stfsu 8010000000000001,  -24 => 8000000000000000,  -24
   1405         stfsu 80100094e0000359,  -16 => 8000000000000000,  -16
   1406         stfsu bfe0000000000001,   -8 => bf00000000000000,   -8
   1407         stfsu 0010000000000001,    0 => 0000000000000000,    0
   1408         stfsu 00100094e0000359,    8 => 0000000000000000,    8
   1409         stfsu 3fe0000000000001,   16 => 3f00000000000000,   16
   1410         stfsu 3fe00094e0000359,   24 => 3f0004a700000000,   24
   1411         stfsu 8010000000000001,   32 => 8000000000000000,   32
   1412         stfsu 80100094e0000359,   40 => 8000000000000000,   40
   1413         stfsu bfe0000000000001,   48 => bf00000000000000,   48
   1414         stfsu bfe00094e0000359,   56 => bf0004a700000000,   56
   1415 
   1416          stfd 0010000000000001, -120 => 0010000000000001,    0
   1417          stfd 00100094e0000359, -112 => 00100094e0000359,    0
   1418          stfd 3fe0000000000001, -104 => 3fe0000000000001,    0
   1419          stfd 3fe00094e0000359,  -96 => 3fe00094e0000359,    0
   1420          stfd 8010000000000001,  -88 => 8010000000000001,    0
   1421          stfd 80100094e0000359,  -80 => 80100094e0000359,    0
   1422          stfd bfe0000000000001,  -72 => bfe0000000000001,    0
   1423          stfd bfe00094e0000359,  -64 => bfe00094e0000359,    0
   1424          stfd 0000000000000000,  -56 => 0000000000000000,    0
   1425          stfd 8000000000000000,  -48 => 8000000000000000,    0
   1426          stfd 7ff0000000000000,  -40 => 7ff0000000000000,    0
   1427          stfd fff0000000000000,  -32 => fff0000000000000,    0
   1428          stfd 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,    0
   1429          stfd fff7ffffffffffff,  -16 => fff7ffffffffffff,    0
   1430          stfd 7ff8000000000000,   -8 => 7ff8000000000000,    0
   1431          stfd 0010000000000001,    0 => 0010000000000001,    0
   1432          stfd 00100094e0000359,    8 => 00100094e0000359,    0
   1433          stfd 3fe0000000000001,   16 => 3fe0000000000001,    0
   1434          stfd 3fe00094e0000359,   24 => 3fe00094e0000359,    0
   1435          stfd 8010000000000001,   32 => 8010000000000001,    0
   1436          stfd 80100094e0000359,   40 => 80100094e0000359,    0
   1437          stfd bfe0000000000001,   48 => bfe0000000000001,    0
   1438          stfd bfe00094e0000359,   56 => bfe00094e0000359,    0
   1439          stfd 0000000000000000,   64 => 0000000000000000,    0
   1440          stfd 8000000000000000,   72 => 8000000000000000,    0
   1441          stfd 7ff0000000000000,   80 => 7ff0000000000000,    0
   1442          stfd fff0000000000000,   88 => fff0000000000000,    0
   1443          stfd 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
   1444          stfd fff7ffffffffffff,  104 => fff7ffffffffffff,    0
   1445          stfd 7ff8000000000000,  112 => 7ff8000000000000,    0
   1446          stfd fff8000000000000,  120 => fff8000000000000,    0
   1447 
   1448         stfdu 0010000000000001, -120 => 0010000000000001, -120
   1449         stfdu 00100094e0000359, -112 => 00100094e0000359, -112
   1450         stfdu 3fe0000000000001, -104 => 3fe0000000000001, -104
   1451         stfdu 3fe00094e0000359,  -96 => 3fe00094e0000359,  -96
   1452         stfdu 8010000000000001,  -88 => 8010000000000001,  -88
   1453         stfdu 80100094e0000359,  -80 => 80100094e0000359,  -80
   1454         stfdu bfe0000000000001,  -72 => bfe0000000000001,  -72
   1455         stfdu bfe00094e0000359,  -64 => bfe00094e0000359,  -64
   1456         stfdu 0000000000000000,  -56 => 0000000000000000,  -56
   1457         stfdu 8000000000000000,  -48 => 8000000000000000,  -48
   1458         stfdu 7ff0000000000000,  -40 => 7ff0000000000000,  -40
   1459         stfdu fff0000000000000,  -32 => fff0000000000000,  -32
   1460         stfdu 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,  -24
   1461         stfdu fff7ffffffffffff,  -16 => fff7ffffffffffff,  -16
   1462         stfdu 7ff8000000000000,   -8 => 7ff8000000000000,   -8
   1463         stfdu 0010000000000001,    0 => 0010000000000001,    0
   1464         stfdu 00100094e0000359,    8 => 00100094e0000359,    8
   1465         stfdu 3fe0000000000001,   16 => 3fe0000000000001,   16
   1466         stfdu 3fe00094e0000359,   24 => 3fe00094e0000359,   24
   1467         stfdu 8010000000000001,   32 => 8010000000000001,   32
   1468         stfdu 80100094e0000359,   40 => 80100094e0000359,   40
   1469         stfdu bfe0000000000001,   48 => bfe0000000000001,   48
   1470         stfdu bfe00094e0000359,   56 => bfe00094e0000359,   56
   1471         stfdu 0000000000000000,   64 => 0000000000000000,   64
   1472         stfdu 8000000000000000,   72 => 8000000000000000,   72
   1473         stfdu 7ff0000000000000,   80 => 7ff0000000000000,   80
   1474         stfdu fff0000000000000,   88 => fff0000000000000,   88
   1475         stfdu 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
   1476         stfdu fff7ffffffffffff,  104 => fff7ffffffffffff,  104
   1477         stfdu 7ff8000000000000,  112 => 7ff8000000000000,  112
   1478         stfdu fff8000000000000,  120 => fff8000000000000,  120
   1479 
   1480 PPC float store insns with three register args:
   1481         stfsx 0010000000000001,    0 => 0000000000000000,    0
   1482         stfsx 00100094e0000359,    8 => 0000000000000000,    0
   1483         stfsx 3fe0000000000001,   16 => 3f00000000000000,    0
   1484         stfsx 3fe00094e0000359,   24 => 3f0004a700000000,    0
   1485         stfsx 8010000000000001,   32 => 8000000000000000,    0
   1486         stfsx 80100094e0000359,   40 => 8000000000000000,    0
   1487         stfsx bfe0000000000001,   48 => bf00000000000000,    0
   1488         stfsx bfe00094e0000359,   56 => bf0004a700000000,    0
   1489 
   1490        stfsux 0010000000000001,    0 => 0000000000000000,    0
   1491        stfsux 00100094e0000359,    8 => 0000000000000000,    8
   1492        stfsux 3fe0000000000001,   16 => 3f00000000000000,   16
   1493        stfsux 3fe00094e0000359,   24 => 3f0004a700000000,   24
   1494        stfsux 8010000000000001,   32 => 8000000000000000,   32
   1495        stfsux 80100094e0000359,   40 => 8000000000000000,   40
   1496        stfsux bfe0000000000001,   48 => bf00000000000000,   48
   1497        stfsux bfe00094e0000359,   56 => bf0004a700000000,   56
   1498 
   1499         stfdx 0010000000000001,    0 => 0010000000000001,    0
   1500         stfdx 00100094e0000359,    8 => 00100094e0000359,    0
   1501         stfdx 3fe0000000000001,   16 => 3fe0000000000001,    0
   1502         stfdx 3fe00094e0000359,   24 => 3fe00094e0000359,    0
   1503         stfdx 8010000000000001,   32 => 8010000000000001,    0
   1504         stfdx 80100094e0000359,   40 => 80100094e0000359,    0
   1505         stfdx bfe0000000000001,   48 => bfe0000000000001,    0
   1506         stfdx bfe00094e0000359,   56 => bfe00094e0000359,    0
   1507         stfdx 0000000000000000,   64 => 0000000000000000,    0
   1508         stfdx 8000000000000000,   72 => 8000000000000000,    0
   1509         stfdx 7ff0000000000000,   80 => 7ff0000000000000,    0
   1510         stfdx fff0000000000000,   88 => fff0000000000000,    0
   1511         stfdx 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
   1512         stfdx fff7ffffffffffff,  104 => fff7ffffffffffff,    0
   1513         stfdx 7ff8000000000000,  112 => 7ff8000000000000,    0
   1514         stfdx fff8000000000000,  120 => fff8000000000000,    0
   1515 
   1516        stfdux 0010000000000001,    0 => 0010000000000001,    0
   1517        stfdux 00100094e0000359,    8 => 00100094e0000359,    8
   1518        stfdux 3fe0000000000001,   16 => 3fe0000000000001,   16
   1519        stfdux 3fe00094e0000359,   24 => 3fe00094e0000359,   24
   1520        stfdux 8010000000000001,   32 => 8010000000000001,   32
   1521        stfdux 80100094e0000359,   40 => 80100094e0000359,   40
   1522        stfdux bfe0000000000001,   48 => bfe0000000000001,   48
   1523        stfdux bfe00094e0000359,   56 => bfe00094e0000359,   56
   1524        stfdux 0000000000000000,   64 => 0000000000000000,   64
   1525        stfdux 8000000000000000,   72 => 8000000000000000,   72
   1526        stfdux 7ff0000000000000,   80 => 7ff0000000000000,   80
   1527        stfdux fff0000000000000,   88 => fff0000000000000,   88
   1528        stfdux 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
   1529        stfdux fff7ffffffffffff,  104 => fff7ffffffffffff,  104
   1530        stfdux 7ff8000000000000,  112 => 7ff8000000000000,  112
   1531        stfdux fff8000000000000,  120 => fff8000000000000,  120
   1532 
   1533 All done. Tested 77 different instructions
   1534