1PPC 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 119PPC 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 238PPC 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 439PPC 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 641PPC 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 692PPC floating point arith insns with one arg: 693 fres 0010000000000001 => 7ff0000000000000 694 fres 00100094e0000359 => 7ff0000000000000 695 fres 3fe0000000000001 => 4000000000000000 696 fres 3fe00094e0000359 => 3ffff00000000000 697 fres 8010000000000001 => fff0000000000000 698 fres 80100094e0000359 => fff0000000000000 699 fres bfe0000000000001 => c000000000000000 700 fres bfe00094e0000359 => bffff00000000000 701 fres 0000000000000000 => 7ff0000000000000 702 fres 8000000000000000 => fff0000000000000 703 fres 7ff0000000000000 => 0000000000000000 704 fres fff0000000000000 => 8000000000000000 705 fres 7ff7ffffffffffff => 7ffff00000000000 706 fres fff7ffffffffffff => fffff00000000000 707 fres 7ff8000000000000 => 7ff8000000000000 708 fres fff8000000000000 => fff8000000000000 709 710 frsqrte 0010000000000001 => 5fdf000000000000 711 frsqrte 00100094e0000359 => 5fdf000000000000 712 frsqrte 3fe0000000000001 => 3ff6000000000000 713 frsqrte 3fe00094e0000359 => 3ff6000000000000 714 frsqrte 8010000000000001 => 7ff8000000000000 715 frsqrte 80100094e0000359 => 7ff8000000000000 716 frsqrte bfe0000000000001 => 7ff8000000000000 717 frsqrte bfe00094e0000359 => 7ff8000000000000 718 frsqrte 0000000000000000 => 7ff0000000000000 719 frsqrte 8000000000000000 => fff0000000000000 720 frsqrte 7ff0000000000000 => 0000000000000000 721 frsqrte fff0000000000000 => 7ff8000000000000 722 frsqrte 7ff7ffffffffffff => 7fff800000000000 723 frsqrte fff7ffffffffffff => ffff800000000000 724 frsqrte 7ff8000000000000 => 7ff8000000000000 725 frsqrte fff8000000000000 => fff8000000000000 726 727 frsp 0010000000000001 => 0000000000000000 728 frsp 00100094e0000359 => 0000000000000000 729 frsp 3fe0000000000001 => 3fe0000000000000 730 frsp 3fe00094e0000359 => 3fe00094e0000000 731 frsp 8010000000000001 => 8000000000000000 732 frsp 80100094e0000359 => 8000000000000000 733 frsp bfe0000000000001 => bfe0000000000000 734 frsp bfe00094e0000359 => bfe00094e0000000 735 frsp 0000000000000000 => 0000000000000000 736 frsp 8000000000000000 => 8000000000000000 737 frsp 7ff0000000000000 => 7ff0000000000000 738 frsp fff0000000000000 => fff0000000000000 739 frsp 7ff7ffffffffffff => 7fffffffe0000000 740 frsp fff7ffffffffffff => ffffffffe0000000 741 frsp 7ff8000000000000 => 7ff8000000000000 742 frsp fff8000000000000 => fff8000000000000 743 744 fctiw 0010000000000001 => 0000000000000000 745 fctiw 00100094e0000359 => 0000000000000000 746 fctiw 3fe0000000000001 => 0000000000000001 747 fctiw 3fe00094e0000359 => 0000000000000001 748 fctiw 8010000000000001 => 0000000000000000 749 fctiw 80100094e0000359 => 0000000000000000 750 fctiw bfe0000000000001 => 00000000ffffffff 751 fctiw bfe00094e0000359 => 00000000ffffffff 752 fctiw 0000000000000000 => 0000000000000000 753 fctiw 8000000000000000 => 0000000000000000 754 fctiw 7ff0000000000000 => 000000007fffffff 755 fctiw fff0000000000000 => 0000000080000000 756 fctiw 7ff7ffffffffffff => 0000000080000000 757 fctiw fff7ffffffffffff => 0000000080000000 758 fctiw 7ff8000000000000 => 0000000080000000 759 fctiw fff8000000000000 => 0000000080000000 760 761 fctiwz 0010000000000001 => 0000000000000000 762 fctiwz 00100094e0000359 => 0000000000000000 763 fctiwz 3fe0000000000001 => 0000000000000000 764 fctiwz 3fe00094e0000359 => 0000000000000000 765 fctiwz 8010000000000001 => 0000000000000000 766 fctiwz 80100094e0000359 => 0000000000000000 767 fctiwz bfe0000000000001 => 0000000000000000 768 fctiwz bfe00094e0000359 => 0000000000000000 769 fctiwz 0000000000000000 => 0000000000000000 770 fctiwz 8000000000000000 => 0000000000000000 771 fctiwz 7ff0000000000000 => 000000007fffffff 772 fctiwz fff0000000000000 => 0000000080000000 773 fctiwz 7ff7ffffffffffff => 0000000080000000 774 fctiwz fff7ffffffffffff => 0000000080000000 775 fctiwz 7ff8000000000000 => 0000000080000000 776 fctiwz fff8000000000000 => 0000000080000000 777 778 fmr 0010000000000001 => 0010000000000001 779 fmr 00100094e0000359 => 00100094e0000359 780 fmr 3fe0000000000001 => 3fe0000000000001 781 fmr 3fe00094e0000359 => 3fe00094e0000359 782 fmr 8010000000000001 => 8010000000000001 783 fmr 80100094e0000359 => 80100094e0000359 784 fmr bfe0000000000001 => bfe0000000000001 785 fmr bfe00094e0000359 => bfe00094e0000359 786 fmr 0000000000000000 => 0000000000000000 787 fmr 8000000000000000 => 8000000000000000 788 fmr 7ff0000000000000 => 7ff0000000000000 789 fmr fff0000000000000 => fff0000000000000 790 fmr 7ff7ffffffffffff => 7ff7ffffffffffff 791 fmr fff7ffffffffffff => fff7ffffffffffff 792 fmr 7ff8000000000000 => 7ff8000000000000 793 fmr fff8000000000000 => fff8000000000000 794 795 fneg 0010000000000001 => 8010000000000001 796 fneg 00100094e0000359 => 80100094e0000359 797 fneg 3fe0000000000001 => bfe0000000000001 798 fneg 3fe00094e0000359 => bfe00094e0000359 799 fneg 8010000000000001 => 0010000000000001 800 fneg 80100094e0000359 => 00100094e0000359 801 fneg bfe0000000000001 => 3fe0000000000001 802 fneg bfe00094e0000359 => 3fe00094e0000359 803 fneg 0000000000000000 => 8000000000000000 804 fneg 8000000000000000 => 0000000000000000 805 fneg 7ff0000000000000 => fff0000000000000 806 fneg fff0000000000000 => 7ff0000000000000 807 fneg 7ff7ffffffffffff => fff7ffffffffffff 808 fneg fff7ffffffffffff => 7ff7ffffffffffff 809 fneg 7ff8000000000000 => fff8000000000000 810 fneg fff8000000000000 => 7ff8000000000000 811 812 fabs 0010000000000001 => 0010000000000001 813 fabs 00100094e0000359 => 00100094e0000359 814 fabs 3fe0000000000001 => 3fe0000000000001 815 fabs 3fe00094e0000359 => 3fe00094e0000359 816 fabs 8010000000000001 => 0010000000000001 817 fabs 80100094e0000359 => 00100094e0000359 818 fabs bfe0000000000001 => 3fe0000000000001 819 fabs bfe00094e0000359 => 3fe00094e0000359 820 fabs 0000000000000000 => 0000000000000000 821 fabs 8000000000000000 => 0000000000000000 822 fabs 7ff0000000000000 => 7ff0000000000000 823 fabs fff0000000000000 => 7ff0000000000000 824 fabs 7ff7ffffffffffff => 7ff7ffffffffffff 825 fabs fff7ffffffffffff => 7ff7ffffffffffff 826 fabs 7ff8000000000000 => 7ff8000000000000 827 fabs fff8000000000000 => 7ff8000000000000 828 829 fnabs 0010000000000001 => 8010000000000001 830 fnabs 00100094e0000359 => 80100094e0000359 831 fnabs 3fe0000000000001 => bfe0000000000001 832 fnabs 3fe00094e0000359 => bfe00094e0000359 833 fnabs 8010000000000001 => 8010000000000001 834 fnabs 80100094e0000359 => 80100094e0000359 835 fnabs bfe0000000000001 => bfe0000000000001 836 fnabs bfe00094e0000359 => bfe00094e0000359 837 fnabs 0000000000000000 => 8000000000000000 838 fnabs 8000000000000000 => 8000000000000000 839 fnabs 7ff0000000000000 => fff0000000000000 840 fnabs fff0000000000000 => fff0000000000000 841 fnabs 7ff7ffffffffffff => fff7ffffffffffff 842 fnabs fff7ffffffffffff => fff7ffffffffffff 843 fnabs 7ff8000000000000 => fff8000000000000 844 fnabs fff8000000000000 => fff8000000000000 845 846 fsqrt 0010000000000001 => 2000000000000000 847 fsqrt 00100094e0000359 => 2000004a6f52dd4a 848 fsqrt 3fe0000000000001 => 3fe6a09e667f3bcd 849 fsqrt 3fe00094e0000359 => 3fe6a107aacb50df 850 fsqrt 8010000000000001 => 7ff8000000000000 851 fsqrt 80100094e0000359 => 7ff8000000000000 852 fsqrt bfe0000000000001 => 7ff8000000000000 853 fsqrt bfe00094e0000359 => 7ff8000000000000 854 fsqrt 0000000000000000 => 0000000000000000 855 fsqrt 8000000000000000 => 8000000000000000 856 fsqrt 7ff0000000000000 => 7ff0000000000000 857 fsqrt fff0000000000000 => 7ff8000000000000 858 fsqrt 7ff7ffffffffffff => 7fffffffffffffff 859 fsqrt fff7ffffffffffff => ffffffffffffffff 860 fsqrt 7ff8000000000000 => 7ff8000000000000 861 fsqrt fff8000000000000 => fff8000000000000 862 863PPC 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 => 7fff800000000000 895 frsqrte. fff7ffffffffffff => ffff800000000000 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 1018PPC floating point status register manipulation insns: 1019PPC floating point status register manipulation insns 1020 with flags update: 1021PPC 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 1151PPC 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 1280PPC 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 1378PPC 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 1431All done. Tested 71 different instructions 1432