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