none/tests/ppc32/jm-fp.stdout.exp

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