1# For z14 and above. 2# RUN: llvm-mc -triple s390x-linux-gnu -mcpu=z14 -show-encoding %s \ 3# RUN: | FileCheck %s 4# RUN: llvm-mc -triple s390x-linux-gnu -mcpu=arch12 -show-encoding %s \ 5# RUN: | FileCheck %s 6 7#CHECK: agh %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x38] 8#CHECK: agh %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x38] 9#CHECK: agh %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x38] 10#CHECK: agh %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x38] 11#CHECK: agh %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x38] 12#CHECK: agh %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x38] 13#CHECK: agh %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x38] 14#CHECK: agh %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x38] 15#CHECK: agh %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x38] 16#CHECK: agh %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x38] 17#CHECK: agh %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x38] 18#CHECK: agh %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x38] 19#CHECK: agh %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x38] 20#CHECK: agh %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x38] 21#CHECK: agh %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x38] 22#CHECK: agh %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x38] 23#CHECK: agh %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x38] 24#CHECK: agh %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x38] 25#CHECK: agh %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x38] 26#CHECK: agh %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x38] 27 28 agh %r0, -524288 29 agh %r0, -1 30 agh %r0, 0 31 agh %r0, 1 32 agh %r0, 524287 33 agh %r0, 0(%r1) 34 agh %r0, 0(%r15) 35 agh %r0, 524287(%r1,%r15) 36 agh %r0, 524287(%r15,%r1) 37 agh %r15, 0 38 agh 0, -524288 39 agh 0, -1 40 agh 0, 0 41 agh 0, 1 42 agh 0, 524287 43 agh 0, 0(1) 44 agh 0, 0(15) 45 agh 0, 524287(1,15) 46 agh 0, 524287(15,1) 47 agh 15, 0 48 49#CHECK: bi -524288 # encoding: [0xe3,0xf0,0x00,0x00,0x80,0x47] 50#CHECK: bi -1 # encoding: [0xe3,0xf0,0x0f,0xff,0xff,0x47] 51#CHECK: bi 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x47] 52#CHECK: bi 1 # encoding: [0xe3,0xf0,0x00,0x01,0x00,0x47] 53#CHECK: bi 524287 # encoding: [0xe3,0xf0,0x0f,0xff,0x7f,0x47] 54#CHECK: bi 0(%r1) # encoding: [0xe3,0xf0,0x10,0x00,0x00,0x47] 55#CHECK: bi 0(%r15) # encoding: [0xe3,0xf0,0xf0,0x00,0x00,0x47] 56#CHECK: bi 524287(%r1,%r15) # encoding: [0xe3,0xf1,0xff,0xff,0x7f,0x47] 57#CHECK: bi 524287(%r15,%r1) # encoding: [0xe3,0xff,0x1f,0xff,0x7f,0x47] 58 59 bi -524288 60 bi -1 61 bi 0 62 bi 1 63 bi 524287 64 bi 0(%r1) 65 bi 0(%r15) 66 bi 524287(%r1,%r15) 67 bi 524287(%r15,%r1) 68 69#CHECK: bic 0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x47] 70#CHECK: bic 0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x47] 71#CHECK: bic 0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x47] 72#CHECK: bic 0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x47] 73#CHECK: bic 0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x47] 74#CHECK: bic 0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x47] 75#CHECK: bic 0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x47] 76#CHECK: bic 0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x47] 77#CHECK: bic 0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x47] 78#CHECK: bic 15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x47] 79 80 bic 0, -524288 81 bic 0, -1 82 bic 0, 0 83 bic 0, 1 84 bic 0, 524287 85 bic 0, 0(%r1) 86 bic 0, 0(%r15) 87 bic 0, 524287(%r1,%r15) 88 bic 0, 524287(%r15,%r1) 89 bic 15, 0 90 91#CHECK: bic 1, 0(%r7) # encoding: [0xe3,0x10,0x70,0x00,0x00,0x47] 92#CHECK: bio 0(%r15) # encoding: [0xe3,0x10,0xf0,0x00,0x00,0x47] 93 94 bic 1, 0(%r7) 95 bio 0(%r15) 96 97#CHECK: bic 2, 0(%r7) # encoding: [0xe3,0x20,0x70,0x00,0x00,0x47] 98#CHECK: bih 0(%r15) # encoding: [0xe3,0x20,0xf0,0x00,0x00,0x47] 99#CHECK: bip 0(%r14) # encoding: [0xe3,0x20,0xe0,0x00,0x00,0x47] 100 101 bic 2, 0(%r7) 102 bih 0(%r15) 103 bip 0(%r14) 104 105#CHECK: bic 3, 0(%r7) # encoding: [0xe3,0x30,0x70,0x00,0x00,0x47] 106#CHECK: binle 0(%r15) # encoding: [0xe3,0x30,0xf0,0x00,0x00,0x47] 107 108 bic 3, 0(%r7) 109 binle 0(%r15) 110 111#CHECK: bic 4, 0(%r7) # encoding: [0xe3,0x40,0x70,0x00,0x00,0x47] 112#CHECK: bil 0(%r15) # encoding: [0xe3,0x40,0xf0,0x00,0x00,0x47] 113#CHECK: bim 0(%r13) # encoding: [0xe3,0x40,0xd0,0x00,0x00,0x47] 114 115 bic 4, 0(%r7) 116 bil 0(%r15) 117 bim 0(%r13) 118 119#CHECK: bic 5, 0(%r7) # encoding: [0xe3,0x50,0x70,0x00,0x00,0x47] 120#CHECK: binhe 0(%r15) # encoding: [0xe3,0x50,0xf0,0x00,0x00,0x47] 121 122 bic 5, 0(%r7) 123 binhe 0(%r15) 124 125#CHECK: bic 6, 0(%r7) # encoding: [0xe3,0x60,0x70,0x00,0x00,0x47] 126#CHECK: bilh 0(%r15) # encoding: [0xe3,0x60,0xf0,0x00,0x00,0x47] 127 128 bic 6, 0(%r7) 129 bilh 0(%r15) 130 131#CHECK: bic 7, 0(%r7) # encoding: [0xe3,0x70,0x70,0x00,0x00,0x47] 132#CHECK: bine 0(%r15) # encoding: [0xe3,0x70,0xf0,0x00,0x00,0x47] 133#CHECK: binz 0(%r12) # encoding: [0xe3,0x70,0xc0,0x00,0x00,0x47] 134 135 bic 7, 0(%r7) 136 bine 0(%r15) 137 binz 0(%r12) 138 139#CHECK: bic 8, 0(%r7) # encoding: [0xe3,0x80,0x70,0x00,0x00,0x47] 140#CHECK: bie 0(%r15) # encoding: [0xe3,0x80,0xf0,0x00,0x00,0x47] 141#CHECK: biz 0(%r11) # encoding: [0xe3,0x80,0xb0,0x00,0x00,0x47] 142 143 bic 8, 0(%r7) 144 bie 0(%r15) 145 biz 0(%r11) 146 147#CHECK: bic 9, 0(%r7) # encoding: [0xe3,0x90,0x70,0x00,0x00,0x47] 148#CHECK: binlh 0(%r15) # encoding: [0xe3,0x90,0xf0,0x00,0x00,0x47] 149 150 bic 9, 0(%r7) 151 binlh 0(%r15) 152 153#CHECK: bic 10, 0(%r7) # encoding: [0xe3,0xa0,0x70,0x00,0x00,0x47] 154#CHECK: bihe 0(%r15) # encoding: [0xe3,0xa0,0xf0,0x00,0x00,0x47] 155 156 bic 10, 0(%r7) 157 bihe 0(%r15) 158 159#CHECK: bic 11, 0(%r7) # encoding: [0xe3,0xb0,0x70,0x00,0x00,0x47] 160#CHECK: binl 0(%r15) # encoding: [0xe3,0xb0,0xf0,0x00,0x00,0x47] 161#CHECK: binm 0(%r10) # encoding: [0xe3,0xb0,0xa0,0x00,0x00,0x47] 162 163 bic 11, 0(%r7) 164 binl 0(%r15) 165 binm 0(%r10) 166 167#CHECK: bic 12, 0(%r7) # encoding: [0xe3,0xc0,0x70,0x00,0x00,0x47] 168#CHECK: bile 0(%r15) # encoding: [0xe3,0xc0,0xf0,0x00,0x00,0x47] 169 170 bic 12, 0(%r7) 171 bile 0(%r15) 172 173#CHECK: bic 13, 0(%r7) # encoding: [0xe3,0xd0,0x70,0x00,0x00,0x47] 174#CHECK: binh 0(%r15) # encoding: [0xe3,0xd0,0xf0,0x00,0x00,0x47] 175#CHECK: binp 0(%r9) # encoding: [0xe3,0xd0,0x90,0x00,0x00,0x47] 176 177 bic 13, 0(%r7) 178 binh 0(%r15) 179 binp 0(%r9) 180 181#CHECK: bic 14, 0(%r7) # encoding: [0xe3,0xe0,0x70,0x00,0x00,0x47] 182#CHECK: bino 0(%r15) # encoding: [0xe3,0xe0,0xf0,0x00,0x00,0x47] 183 184 bic 14, 0(%r7) 185 bino 0(%r15) 186 187#CHECK: irbm %r0, %r0 # encoding: [0xb9,0xac,0x00,0x00] 188#CHECK: irbm %r0, %r15 # encoding: [0xb9,0xac,0x00,0x0f] 189#CHECK: irbm %r15, %r0 # encoding: [0xb9,0xac,0x00,0xf0] 190#CHECK: irbm %r7, %r8 # encoding: [0xb9,0xac,0x00,0x78] 191#CHECK: irbm %r15, %r15 # encoding: [0xb9,0xac,0x00,0xff] 192 193 irbm %r0,%r0 194 irbm %r0,%r15 195 irbm %r15,%r0 196 irbm %r7,%r8 197 irbm %r15,%r15 198 199#CHECK: kma %r2, %r2, %r2 # encoding: [0xb9,0x29,0x20,0x22] 200#CHECK: kma %r2, %r8, %r14 # encoding: [0xb9,0x29,0x80,0x2e] 201#CHECK: kma %r14, %r8, %r2 # encoding: [0xb9,0x29,0x80,0xe2] 202#CHECK: kma %r6, %r8, %r10 # encoding: [0xb9,0x29,0x80,0x6a] 203 204 kma %r2, %r2, %r2 205 kma %r2, %r8, %r14 206 kma %r14, %r8, %r2 207 kma %r6, %r8, %r10 208 209#CHECK: lgg %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x4c] 210#CHECK: lgg %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x4c] 211#CHECK: lgg %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x4c] 212#CHECK: lgg %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x4c] 213#CHECK: lgg %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x4c] 214#CHECK: lgg %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x4c] 215#CHECK: lgg %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x4c] 216#CHECK: lgg %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x4c] 217#CHECK: lgg %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x4c] 218#CHECK: lgg %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x4c] 219 220 lgg %r0, -524288 221 lgg %r0, -1 222 lgg %r0, 0 223 lgg %r0, 1 224 lgg %r0, 524287 225 lgg %r0, 0(%r1) 226 lgg %r0, 0(%r15) 227 lgg %r0, 524287(%r1,%r15) 228 lgg %r0, 524287(%r15,%r1) 229 lgg %r15, 0 230 231#CHECK: lgsc %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x4d] 232#CHECK: lgsc %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x4d] 233#CHECK: lgsc %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x4d] 234#CHECK: lgsc %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x4d] 235#CHECK: lgsc %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x4d] 236#CHECK: lgsc %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x4d] 237#CHECK: lgsc %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x4d] 238#CHECK: lgsc %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x4d] 239#CHECK: lgsc %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x4d] 240 241 lgsc %r0, -524288 242 lgsc %r0, -1 243 lgsc %r0, 0 244 lgsc %r0, 1 245 lgsc %r0, 524287 246 lgsc %r0, 0(%r1) 247 lgsc %r0, 0(%r15) 248 lgsc %r0, 524287(%r1,%r15) 249 lgsc %r0, 524287(%r15,%r1) 250 251#CHECK: llgfsg %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x48] 252#CHECK: llgfsg %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x48] 253#CHECK: llgfsg %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x48] 254#CHECK: llgfsg %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x48] 255#CHECK: llgfsg %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x48] 256#CHECK: llgfsg %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x48] 257#CHECK: llgfsg %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x48] 258#CHECK: llgfsg %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x48] 259#CHECK: llgfsg %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x48] 260#CHECK: llgfsg %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x48] 261 262 llgfsg %r0, -524288 263 llgfsg %r0, -1 264 llgfsg %r0, 0 265 llgfsg %r0, 1 266 llgfsg %r0, 524287 267 llgfsg %r0, 0(%r1) 268 llgfsg %r0, 0(%r15) 269 llgfsg %r0, 524287(%r1,%r15) 270 llgfsg %r0, 524287(%r15,%r1) 271 llgfsg %r15, 0 272 273#CHECK: mg %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x84] 274#CHECK: mg %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x84] 275#CHECK: mg %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x84] 276#CHECK: mg %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x84] 277#CHECK: mg %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x84] 278#CHECK: mg %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x84] 279#CHECK: mg %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x84] 280#CHECK: mg %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x84] 281#CHECK: mg %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x84] 282#CHECK: mg %r14, 0 # encoding: [0xe3,0xe0,0x00,0x00,0x00,0x84] 283 284 mg %r0, -524288 285 mg %r0, -1 286 mg %r0, 0 287 mg %r0, 1 288 mg %r0, 524287 289 mg %r0, 0(%r1) 290 mg %r0, 0(%r15) 291 mg %r0, 524287(%r1,%r15) 292 mg %r0, 524287(%r15,%r1) 293 mg %r14, 0 294 295#CHECK: mgh %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x3c] 296#CHECK: mgh %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x3c] 297#CHECK: mgh %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x3c] 298#CHECK: mgh %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x3c] 299#CHECK: mgh %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x3c] 300#CHECK: mgh %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x3c] 301#CHECK: mgh %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x3c] 302#CHECK: mgh %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x3c] 303#CHECK: mgh %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x3c] 304#CHECK: mgh %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x3c] 305 306 mgh %r0, -524288 307 mgh %r0, -1 308 mgh %r0, 0 309 mgh %r0, 1 310 mgh %r0, 524287 311 mgh %r0, 0(%r1) 312 mgh %r0, 0(%r15) 313 mgh %r0, 524287(%r1,%r15) 314 mgh %r0, 524287(%r15,%r1) 315 mgh %r15, 0 316 317#CHECK: mgrk %r0, %r0, %r0 # encoding: [0xb9,0xec,0x00,0x00] 318#CHECK: mgrk %r0, %r0, %r15 # encoding: [0xb9,0xec,0xf0,0x00] 319#CHECK: mgrk %r0, %r15, %r0 # encoding: [0xb9,0xec,0x00,0x0f] 320#CHECK: mgrk %r14, %r0, %r0 # encoding: [0xb9,0xec,0x00,0xe0] 321#CHECK: mgrk %r6, %r8, %r9 # encoding: [0xb9,0xec,0x90,0x68] 322 323 mgrk %r0,%r0,%r0 324 mgrk %r0,%r0,%r15 325 mgrk %r0,%r15,%r0 326 mgrk %r14,%r0,%r0 327 mgrk %r6,%r8,%r9 328 329#CHECK: msc %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x53] 330#CHECK: msc %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x53] 331#CHECK: msc %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x53] 332#CHECK: msc %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x53] 333#CHECK: msc %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x53] 334#CHECK: msc %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x53] 335#CHECK: msc %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x53] 336#CHECK: msc %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x53] 337#CHECK: msc %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x53] 338#CHECK: msc %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x53] 339 340 msc %r0, -524288 341 msc %r0, -1 342 msc %r0, 0 343 msc %r0, 1 344 msc %r0, 524287 345 msc %r0, 0(%r1) 346 msc %r0, 0(%r15) 347 msc %r0, 524287(%r1,%r15) 348 msc %r0, 524287(%r15,%r1) 349 msc %r15, 0 350 351#CHECK: msgc %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x83] 352#CHECK: msgc %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x83] 353#CHECK: msgc %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x83] 354#CHECK: msgc %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x83] 355#CHECK: msgc %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x83] 356#CHECK: msgc %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x83] 357#CHECK: msgc %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x83] 358#CHECK: msgc %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x83] 359#CHECK: msgc %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x83] 360#CHECK: msgc %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x83] 361 362 msgc %r0, -524288 363 msgc %r0, -1 364 msgc %r0, 0 365 msgc %r0, 1 366 msgc %r0, 524287 367 msgc %r0, 0(%r1) 368 msgc %r0, 0(%r15) 369 msgc %r0, 524287(%r1,%r15) 370 msgc %r0, 524287(%r15,%r1) 371 msgc %r15, 0 372 373#CHECK: msrkc %r0, %r0, %r0 # encoding: [0xb9,0xfd,0x00,0x00] 374#CHECK: msrkc %r0, %r0, %r15 # encoding: [0xb9,0xfd,0xf0,0x00] 375#CHECK: msrkc %r0, %r15, %r0 # encoding: [0xb9,0xfd,0x00,0x0f] 376#CHECK: msrkc %r15, %r0, %r0 # encoding: [0xb9,0xfd,0x00,0xf0] 377#CHECK: msrkc %r7, %r8, %r9 # encoding: [0xb9,0xfd,0x90,0x78] 378 379 msrkc %r0,%r0,%r0 380 msrkc %r0,%r0,%r15 381 msrkc %r0,%r15,%r0 382 msrkc %r15,%r0,%r0 383 msrkc %r7,%r8,%r9 384 385#CHECK: msgrkc %r0, %r0, %r0 # encoding: [0xb9,0xed,0x00,0x00] 386#CHECK: msgrkc %r0, %r0, %r15 # encoding: [0xb9,0xed,0xf0,0x00] 387#CHECK: msgrkc %r0, %r15, %r0 # encoding: [0xb9,0xed,0x00,0x0f] 388#CHECK: msgrkc %r15, %r0, %r0 # encoding: [0xb9,0xed,0x00,0xf0] 389#CHECK: msgrkc %r7, %r8, %r9 # encoding: [0xb9,0xed,0x90,0x78] 390 391 msgrkc %r0,%r0,%r0 392 msgrkc %r0,%r0,%r15 393 msgrkc %r0,%r15,%r0 394 msgrkc %r15,%r0,%r0 395 msgrkc %r7,%r8,%r9 396 397#CHECK: prno %r2, %r2 # encoding: [0xb9,0x3c,0x00,0x22] 398#CHECK: prno %r2, %r14 # encoding: [0xb9,0x3c,0x00,0x2e] 399#CHECK: prno %r14, %r2 # encoding: [0xb9,0x3c,0x00,0xe2] 400#CHECK: prno %r6, %r10 # encoding: [0xb9,0x3c,0x00,0x6a] 401 402 prno %r2, %r2 403 prno %r2, %r14 404 prno %r14, %r2 405 prno %r6, %r10 406 407#CHECK: sgh %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x39] 408#CHECK: sgh %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x39] 409#CHECK: sgh %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x39] 410#CHECK: sgh %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x39] 411#CHECK: sgh %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x39] 412#CHECK: sgh %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x39] 413#CHECK: sgh %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x39] 414#CHECK: sgh %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x39] 415#CHECK: sgh %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x39] 416#CHECK: sgh %r15, 0 # encoding: [0xe3,0xf0,0x00,0x00,0x00,0x39] 417 418 sgh %r0, -524288 419 sgh %r0, -1 420 sgh %r0, 0 421 sgh %r0, 1 422 sgh %r0, 524287 423 sgh %r0, 0(%r1) 424 sgh %r0, 0(%r15) 425 sgh %r0, 524287(%r1,%r15) 426 sgh %r0, 524287(%r15,%r1) 427 sgh %r15, 0 428 429#CHECK: stgsc %r0, -524288 # encoding: [0xe3,0x00,0x00,0x00,0x80,0x49] 430#CHECK: stgsc %r0, -1 # encoding: [0xe3,0x00,0x0f,0xff,0xff,0x49] 431#CHECK: stgsc %r0, 0 # encoding: [0xe3,0x00,0x00,0x00,0x00,0x49] 432#CHECK: stgsc %r0, 1 # encoding: [0xe3,0x00,0x00,0x01,0x00,0x49] 433#CHECK: stgsc %r0, 524287 # encoding: [0xe3,0x00,0x0f,0xff,0x7f,0x49] 434#CHECK: stgsc %r0, 0(%r1) # encoding: [0xe3,0x00,0x10,0x00,0x00,0x49] 435#CHECK: stgsc %r0, 0(%r15) # encoding: [0xe3,0x00,0xf0,0x00,0x00,0x49] 436#CHECK: stgsc %r0, 524287(%r1,%r15) # encoding: [0xe3,0x01,0xff,0xff,0x7f,0x49] 437#CHECK: stgsc %r0, 524287(%r15,%r1) # encoding: [0xe3,0x0f,0x1f,0xff,0x7f,0x49] 438 439 stgsc %r0, -524288 440 stgsc %r0, -1 441 stgsc %r0, 0 442 stgsc %r0, 1 443 stgsc %r0, 524287 444 stgsc %r0, 0(%r1) 445 stgsc %r0, 0(%r15) 446 stgsc %r0, 524287(%r1,%r15) 447 stgsc %r0, 524287(%r15,%r1) 448 449#CHECK: vap %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x71] 450#CHECK: vap %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x71] 451#CHECK: vap %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x71] 452#CHECK: vap %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x71] 453#CHECK: vap %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x71] 454#CHECK: vap %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x71] 455#CHECK: vap %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x71] 456 457 vap %v0, %v0, %v0, 0, 0 458 vap %v0, %v0, %v0, 0, 15 459 vap %v0, %v0, %v0, 255, 0 460 vap %v0, %v0, %v31, 0, 0 461 vap %v0, %v31, %v0, 0, 0 462 vap %v31, %v0, %v0, 0, 0 463 vap %v13, %v17, %v21, 0x79, 11 464 465#CHECK: vbperm %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x85] 466#CHECK: vbperm %v0, %v0, %v15 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0x85] 467#CHECK: vbperm %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x85] 468#CHECK: vbperm %v0, %v15, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x85] 469#CHECK: vbperm %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x85] 470#CHECK: vbperm %v15, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x85] 471#CHECK: vbperm %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x85] 472#CHECK: vbperm %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x0a,0x85] 473 474 vbperm %v0, %v0, %v0 475 vbperm %v0, %v0, %v15 476 vbperm %v0, %v0, %v31 477 vbperm %v0, %v15, %v0 478 vbperm %v0, %v31, %v0 479 vbperm %v15, %v0, %v0 480 vbperm %v31, %v0, %v0 481 vbperm %v18, %v3, %v20 482 483#CHECK: vcp %v0, %v0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x77] 484#CHECK: vcp %v0, %v0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x77] 485#CHECK: vcp %v15, %v0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x77] 486#CHECK: vcp %v31, %v0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x77] 487#CHECK: vcp %v0, %v15, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x77] 488#CHECK: vcp %v0, %v31, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x77] 489#CHECK: vcp %v3, %v18, 4 # encoding: [0xe6,0x03,0x20,0x40,0x02,0x77] 490 491 vcp %v0, %v0, 0 492 vcp %v0, %v0, 15 493 vcp %v15, %v0, 0 494 vcp %v31, %v0, 0 495 vcp %v0, %v15, 0 496 vcp %v0, %v31, 0 497 vcp %v3, %v18, 4 498 499#CHECK: vcvb %r0, %v0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x50] 500#CHECK: vcvb %r0, %v0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x50] 501#CHECK: vcvb %r15, %v0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x50] 502#CHECK: vcvb %r0, %v15, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x50] 503#CHECK: vcvb %r0, %v31, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x50] 504#CHECK: vcvb %r3, %v18, 4 # encoding: [0xe6,0x32,0x00,0x40,0x04,0x50] 505 506 vcvb %r0, %v0, 0 507 vcvb %r0, %v0, 15 508 vcvb %r15, %v0, 0 509 vcvb %r0, %v15, 0 510 vcvb %r0, %v31, 0 511 vcvb %r3, %v18, 4 512 513#CHECK: vcvbg %r0, %v0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x52] 514#CHECK: vcvbg %r0, %v0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x52] 515#CHECK: vcvbg %r15, %v0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x52] 516#CHECK: vcvbg %r0, %v15, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x52] 517#CHECK: vcvbg %r0, %v31, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x52] 518#CHECK: vcvbg %r3, %v18, 4 # encoding: [0xe6,0x32,0x00,0x40,0x04,0x52] 519 520 vcvbg %r0, %v0, 0 521 vcvbg %r0, %v0, 15 522 vcvbg %r15, %v0, 0 523 vcvbg %r0, %v15, 0 524 vcvbg %r0, %v31, 0 525 vcvbg %r3, %v18, 4 526 527#CHECK: vcvd %v0, %r0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x58] 528#CHECK: vcvd %v0, %r0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x58] 529#CHECK: vcvd %v0, %r0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x58] 530#CHECK: vcvd %v0, %r15, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x58] 531#CHECK: vcvd %v15, %r0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x58] 532#CHECK: vcvd %v31, %r0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x58] 533#CHECK: vcvd %v18, %r9, 52, 11 # encoding: [0xe6,0x29,0x00,0xb3,0x48,0x58] 534 535 vcvd %v0, %r0, 0, 0 536 vcvd %v0, %r0, 0, 15 537 vcvd %v0, %r0, 255, 0 538 vcvd %v0, %r15, 0, 0 539 vcvd %v15, %r0, 0, 0 540 vcvd %v31, %r0, 0, 0 541 vcvd %v18, %r9, 0x34, 11 542 543#CHECK: vcvdg %v0, %r0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x5a] 544#CHECK: vcvdg %v0, %r0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x5a] 545#CHECK: vcvdg %v0, %r0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x5a] 546#CHECK: vcvdg %v0, %r15, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x5a] 547#CHECK: vcvdg %v15, %r0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x5a] 548#CHECK: vcvdg %v31, %r0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x5a] 549#CHECK: vcvdg %v18, %r9, 52, 11 # encoding: [0xe6,0x29,0x00,0xb3,0x48,0x5a] 550 551 vcvdg %v0, %r0, 0, 0 552 vcvdg %v0, %r0, 0, 15 553 vcvdg %v0, %r0, 255, 0 554 vcvdg %v0, %r15, 0, 0 555 vcvdg %v15, %r0, 0, 0 556 vcvdg %v31, %r0, 0, 0 557 vcvdg %v18, %r9, 0x34, 11 558 559#CHECK: vdp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x7a] 560#CHECK: vdp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x7a] 561#CHECK: vdp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x7a] 562#CHECK: vdp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x7a] 563#CHECK: vdp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x7a] 564#CHECK: vdp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x7a] 565#CHECK: vdp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x7a] 566 567 vdp %v0, %v0, %v0, 0, 0 568 vdp %v0, %v0, %v0, 0, 15 569 vdp %v0, %v0, %v0, 255, 0 570 vdp %v0, %v0, %v31, 0, 0 571 vdp %v0, %v31, %v0, 0, 0 572 vdp %v31, %v0, %v0, 0, 0 573 vdp %v13, %v17, %v21, 0x79, 11 574 575#CHECK: vfasb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xe3] 576#CHECK: vfasb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe3] 577#CHECK: vfasb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe3] 578#CHECK: vfasb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe3] 579#CHECK: vfasb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xe3] 580 581 vfasb %v0, %v0, %v0 582 vfasb %v0, %v0, %v31 583 vfasb %v0, %v31, %v0 584 vfasb %v31, %v0, %v0 585 vfasb %v18, %v3, %v20 586 587#CHECK: vfcesb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xe8] 588#CHECK: vfcesb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe8] 589#CHECK: vfcesb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe8] 590#CHECK: vfcesb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe8] 591#CHECK: vfcesb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xe8] 592 593 vfcesb %v0, %v0, %v0 594 vfcesb %v0, %v0, %v31 595 vfcesb %v0, %v31, %v0 596 vfcesb %v31, %v0, %v0 597 vfcesb %v18, %v3, %v20 598 599#CHECK: vfcesbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x10,0x20,0xe8] 600#CHECK: vfcesbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x10,0x22,0xe8] 601#CHECK: vfcesbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x10,0x24,0xe8] 602#CHECK: vfcesbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x28,0xe8] 603#CHECK: vfcesbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x10,0x2a,0xe8] 604 605 vfcesbs %v0, %v0, %v0 606 vfcesbs %v0, %v0, %v31 607 vfcesbs %v0, %v31, %v0 608 vfcesbs %v31, %v0, %v0 609 vfcesbs %v18, %v3, %v20 610 611#CHECK: vfchsb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xeb] 612#CHECK: vfchsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xeb] 613#CHECK: vfchsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xeb] 614#CHECK: vfchsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xeb] 615#CHECK: vfchsb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xeb] 616 617 vfchsb %v0, %v0, %v0 618 vfchsb %v0, %v0, %v31 619 vfchsb %v0, %v31, %v0 620 vfchsb %v31, %v0, %v0 621 vfchsb %v18, %v3, %v20 622 623#CHECK: vfchsbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x10,0x20,0xeb] 624#CHECK: vfchsbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x10,0x22,0xeb] 625#CHECK: vfchsbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x10,0x24,0xeb] 626#CHECK: vfchsbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x28,0xeb] 627#CHECK: vfchsbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x10,0x2a,0xeb] 628 629 vfchsbs %v0, %v0, %v0 630 vfchsbs %v0, %v0, %v31 631 vfchsbs %v0, %v31, %v0 632 vfchsbs %v31, %v0, %v0 633 vfchsbs %v18, %v3, %v20 634 635#CHECK: vfchesb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xea] 636#CHECK: vfchesb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xea] 637#CHECK: vfchesb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xea] 638#CHECK: vfchesb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xea] 639#CHECK: vfchesb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xea] 640 641 vfchesb %v0, %v0, %v0 642 vfchesb %v0, %v0, %v31 643 vfchesb %v0, %v31, %v0 644 vfchesb %v31, %v0, %v0 645 vfchesb %v18, %v3, %v20 646 647#CHECK: vfchesbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x10,0x20,0xea] 648#CHECK: vfchesbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x10,0x22,0xea] 649#CHECK: vfchesbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x10,0x24,0xea] 650#CHECK: vfchesbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x28,0xea] 651#CHECK: vfchesbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x10,0x2a,0xea] 652 653 vfchesbs %v0, %v0, %v0 654 vfchesbs %v0, %v0, %v31 655 vfchesbs %v0, %v31, %v0 656 vfchesbs %v31, %v0, %v0 657 vfchesbs %v18, %v3, %v20 658 659#CHECK: vfdsb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xe5] 660#CHECK: vfdsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe5] 661#CHECK: vfdsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe5] 662#CHECK: vfdsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe5] 663#CHECK: vfdsb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xe5] 664 665 vfdsb %v0, %v0, %v0 666 vfdsb %v0, %v0, %v31 667 vfdsb %v0, %v31, %v0 668 vfdsb %v31, %v0, %v0 669 vfdsb %v18, %v3, %v20 670 671#CHECK: vfisb %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xc7] 672#CHECK: vfisb %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x20,0xc7] 673#CHECK: vfisb %v0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x20,0xc7] 674#CHECK: vfisb %v0, %v0, 7, 0 # encoding: [0xe7,0x00,0x00,0x07,0x20,0xc7] 675#CHECK: vfisb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xc7] 676#CHECK: vfisb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xc7] 677#CHECK: vfisb %v14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xa4,0x24,0xc7] 678 679 vfisb %v0, %v0, 0, 0 680 vfisb %v0, %v0, 0, 15 681 vfisb %v0, %v0, 4, 0 682 vfisb %v0, %v0, 7, 0 683 vfisb %v0, %v31, 0, 0 684 vfisb %v31, %v0, 0, 0 685 vfisb %v14, %v17, 4, 10 686 687#CHECK: vfkedb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xe8] 688#CHECK: vfkedb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x32,0xe8] 689#CHECK: vfkedb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x34,0xe8] 690#CHECK: vfkedb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x38,0xe8] 691#CHECK: vfkedb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x3a,0xe8] 692 693 vfkedb %v0, %v0, %v0 694 vfkedb %v0, %v0, %v31 695 vfkedb %v0, %v31, %v0 696 vfkedb %v31, %v0, %v0 697 vfkedb %v18, %v3, %v20 698 699#CHECK: vfkedbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x30,0xe8] 700#CHECK: vfkedbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x32,0xe8] 701#CHECK: vfkedbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x34,0xe8] 702#CHECK: vfkedbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x38,0xe8] 703#CHECK: vfkedbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x3a,0xe8] 704 705 vfkedbs %v0, %v0, %v0 706 vfkedbs %v0, %v0, %v31 707 vfkedbs %v0, %v31, %v0 708 vfkedbs %v31, %v0, %v0 709 vfkedbs %v18, %v3, %v20 710 711#CHECK: vfkesb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x20,0xe8] 712#CHECK: vfkesb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x22,0xe8] 713#CHECK: vfkesb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x24,0xe8] 714#CHECK: vfkesb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x28,0xe8] 715#CHECK: vfkesb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x2a,0xe8] 716 717 vfkesb %v0, %v0, %v0 718 vfkesb %v0, %v0, %v31 719 vfkesb %v0, %v31, %v0 720 vfkesb %v31, %v0, %v0 721 vfkesb %v18, %v3, %v20 722 723#CHECK: vfkesbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x20,0xe8] 724#CHECK: vfkesbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x22,0xe8] 725#CHECK: vfkesbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x24,0xe8] 726#CHECK: vfkesbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x28,0xe8] 727#CHECK: vfkesbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x2a,0xe8] 728 729 vfkesbs %v0, %v0, %v0 730 vfkesbs %v0, %v0, %v31 731 vfkesbs %v0, %v31, %v0 732 vfkesbs %v31, %v0, %v0 733 vfkesbs %v18, %v3, %v20 734 735#CHECK: vfkhdb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xeb] 736#CHECK: vfkhdb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x32,0xeb] 737#CHECK: vfkhdb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x34,0xeb] 738#CHECK: vfkhdb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x38,0xeb] 739#CHECK: vfkhdb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x3a,0xeb] 740 741 vfkhdb %v0, %v0, %v0 742 vfkhdb %v0, %v0, %v31 743 vfkhdb %v0, %v31, %v0 744 vfkhdb %v31, %v0, %v0 745 vfkhdb %v18, %v3, %v20 746 747#CHECK: vfkhdbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x30,0xeb] 748#CHECK: vfkhdbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x32,0xeb] 749#CHECK: vfkhdbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x34,0xeb] 750#CHECK: vfkhdbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x38,0xeb] 751#CHECK: vfkhdbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x3a,0xeb] 752 753 vfkhdbs %v0, %v0, %v0 754 vfkhdbs %v0, %v0, %v31 755 vfkhdbs %v0, %v31, %v0 756 vfkhdbs %v31, %v0, %v0 757 vfkhdbs %v18, %v3, %v20 758 759#CHECK: vfkhsb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x20,0xeb] 760#CHECK: vfkhsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x22,0xeb] 761#CHECK: vfkhsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x24,0xeb] 762#CHECK: vfkhsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x28,0xeb] 763#CHECK: vfkhsb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x2a,0xeb] 764 765 vfkhsb %v0, %v0, %v0 766 vfkhsb %v0, %v0, %v31 767 vfkhsb %v0, %v31, %v0 768 vfkhsb %v31, %v0, %v0 769 vfkhsb %v18, %v3, %v20 770 771#CHECK: vfkhsbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x20,0xeb] 772#CHECK: vfkhsbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x22,0xeb] 773#CHECK: vfkhsbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x24,0xeb] 774#CHECK: vfkhsbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x28,0xeb] 775#CHECK: vfkhsbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x2a,0xeb] 776 777 vfkhsbs %v0, %v0, %v0 778 vfkhsbs %v0, %v0, %v31 779 vfkhsbs %v0, %v31, %v0 780 vfkhsbs %v31, %v0, %v0 781 vfkhsbs %v18, %v3, %v20 782 783#CHECK: vfkhedb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xea] 784#CHECK: vfkhedb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x32,0xea] 785#CHECK: vfkhedb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x34,0xea] 786#CHECK: vfkhedb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x38,0xea] 787#CHECK: vfkhedb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x3a,0xea] 788 789 vfkhedb %v0, %v0, %v0 790 vfkhedb %v0, %v0, %v31 791 vfkhedb %v0, %v31, %v0 792 vfkhedb %v31, %v0, %v0 793 vfkhedb %v18, %v3, %v20 794 795#CHECK: vfkhedbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x30,0xea] 796#CHECK: vfkhedbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x32,0xea] 797#CHECK: vfkhedbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x34,0xea] 798#CHECK: vfkhedbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x38,0xea] 799#CHECK: vfkhedbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x3a,0xea] 800 801 vfkhedbs %v0, %v0, %v0 802 vfkhedbs %v0, %v0, %v31 803 vfkhedbs %v0, %v31, %v0 804 vfkhedbs %v31, %v0, %v0 805 vfkhedbs %v18, %v3, %v20 806 807#CHECK: vfkhesb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x04,0x20,0xea] 808#CHECK: vfkhesb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x04,0x22,0xea] 809#CHECK: vfkhesb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x04,0x24,0xea] 810#CHECK: vfkhesb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x04,0x28,0xea] 811#CHECK: vfkhesb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x04,0x2a,0xea] 812 813 vfkhesb %v0, %v0, %v0 814 vfkhesb %v0, %v0, %v31 815 vfkhesb %v0, %v31, %v0 816 vfkhesb %v31, %v0, %v0 817 vfkhesb %v18, %v3, %v20 818 819#CHECK: vfkhesbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x14,0x20,0xea] 820#CHECK: vfkhesbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x14,0x22,0xea] 821#CHECK: vfkhesbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x14,0x24,0xea] 822#CHECK: vfkhesbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x14,0x28,0xea] 823#CHECK: vfkhesbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x14,0x2a,0xea] 824 825 vfkhesbs %v0, %v0, %v0 826 vfkhesbs %v0, %v0, %v31 827 vfkhesbs %v0, %v31, %v0 828 vfkhesbs %v31, %v0, %v0 829 vfkhesbs %v18, %v3, %v20 830 831#CHECK: vfpsosb %v0, %v0, 3 # encoding: [0xe7,0x00,0x00,0x30,0x20,0xcc] 832#CHECK: vfpsosb %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x20,0xcc] 833#CHECK: vfpsosb %v0, %v15, 3 # encoding: [0xe7,0x0f,0x00,0x30,0x20,0xcc] 834#CHECK: vfpsosb %v0, %v31, 3 # encoding: [0xe7,0x0f,0x00,0x30,0x24,0xcc] 835#CHECK: vfpsosb %v15, %v0, 3 # encoding: [0xe7,0xf0,0x00,0x30,0x20,0xcc] 836#CHECK: vfpsosb %v31, %v0, 3 # encoding: [0xe7,0xf0,0x00,0x30,0x28,0xcc] 837#CHECK: vfpsosb %v14, %v17, 7 # encoding: [0xe7,0xe1,0x00,0x70,0x24,0xcc] 838 839 vfpsosb %v0, %v0, 3 840 vfpsosb %v0, %v0, 15 841 vfpsosb %v0, %v15, 3 842 vfpsosb %v0, %v31, 3 843 vfpsosb %v15, %v0, 3 844 vfpsosb %v31, %v0, 3 845 vfpsosb %v14, %v17, 7 846 847#CHECK: vflcsb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xcc] 848#CHECK: vflcsb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0xcc] 849#CHECK: vflcsb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xcc] 850#CHECK: vflcsb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0xcc] 851#CHECK: vflcsb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xcc] 852#CHECK: vflcsb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0xcc] 853 854 vflcsb %v0, %v0 855 vflcsb %v0, %v15 856 vflcsb %v0, %v31 857 vflcsb %v15, %v0 858 vflcsb %v31, %v0 859 vflcsb %v14, %v17 860 861#CHECK: vflnsb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x10,0x20,0xcc] 862#CHECK: vflnsb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x10,0x20,0xcc] 863#CHECK: vflnsb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x10,0x24,0xcc] 864#CHECK: vflnsb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x20,0xcc] 865#CHECK: vflnsb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x10,0x28,0xcc] 866#CHECK: vflnsb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x10,0x24,0xcc] 867 868 vflnsb %v0, %v0 869 vflnsb %v0, %v15 870 vflnsb %v0, %v31 871 vflnsb %v15, %v0 872 vflnsb %v31, %v0 873 vflnsb %v14, %v17 874 875#CHECK: vflpsb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x20,0x20,0xcc] 876#CHECK: vflpsb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x20,0x20,0xcc] 877#CHECK: vflpsb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x20,0x24,0xcc] 878#CHECK: vflpsb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x20,0x20,0xcc] 879#CHECK: vflpsb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x20,0x28,0xcc] 880#CHECK: vflpsb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x20,0x24,0xcc] 881 882 vflpsb %v0, %v0 883 vflpsb %v0, %v15 884 vflpsb %v0, %v31 885 vflpsb %v15, %v0 886 vflpsb %v31, %v0 887 vflpsb %v14, %v17 888 889#CHECK: vfll %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xc4] 890#CHECK: vfll %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xc4] 891#CHECK: vfll %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xc4] 892#CHECK: vfll %v0, %v15, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xc4] 893#CHECK: vfll %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc4] 894#CHECK: vfll %v15, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0xc4] 895#CHECK: vfll %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc4] 896#CHECK: vfll %v14, %v17, 11, 9 # encoding: [0xe7,0xe1,0x00,0x09,0xb4,0xc4] 897 898 vfll %v0, %v0, 0, 0 899 vfll %v0, %v0, 15, 0 900 vfll %v0, %v0, 0, 15 901 vfll %v0, %v15, 0, 0 902 vfll %v0, %v31, 0, 0 903 vfll %v15, %v0, 0, 0 904 vfll %v31, %v0, 0, 0 905 vfll %v14, %v17, 11, 9 906 907#CHECK: vflls %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xc4] 908#CHECK: vflls %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0xc4] 909#CHECK: vflls %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xc4] 910#CHECK: vflls %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0xc4] 911#CHECK: vflls %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xc4] 912#CHECK: vflls %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0xc4] 913 914 vflls %v0, %v0 915 vflls %v0, %v15 916 vflls %v0, %v31 917 vflls %v15, %v0 918 vflls %v31, %v0 919 vflls %v14, %v17 920 921#CHECK: vflr %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xc5] 922#CHECK: vflr %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xc5] 923#CHECK: vflr %v0, %v0, 0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x00,0xc5] 924#CHECK: vflr %v0, %v0, 0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x00,0xc5] 925#CHECK: vflr %v0, %v0, 0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x00,0xc5] 926#CHECK: vflr %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xc5] 927#CHECK: vflr %v31, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xc5] 928#CHECK: vflr %v14, %v17, 11, 4, 10 # encoding: [0xe7,0xe1,0x00,0xa4,0xb4,0xc5] 929 930 vflr %v0, %v0, 0, 0, 0 931 vflr %v0, %v0, 15, 0, 0 932 vflr %v0, %v0, 0, 0, 15 933 vflr %v0, %v0, 0, 4, 0 934 vflr %v0, %v0, 0, 12, 0 935 vflr %v0, %v31, 0, 0, 0 936 vflr %v31, %v0, 0, 0, 0 937 vflr %v14, %v17, 11, 4, 10 938 939#CHECK: vflrd %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xc5] 940#CHECK: vflrd %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf0,0x30,0xc5] 941#CHECK: vflrd %v0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x04,0x30,0xc5] 942#CHECK: vflrd %v0, %v0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc5] 943#CHECK: vflrd %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xc5] 944#CHECK: vflrd %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xc5] 945#CHECK: vflrd %v14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xa4,0x34,0xc5] 946 947 vflrd %v0, %v0, 0, 0 948 vflrd %v0, %v0, 0, 15 949 vflrd %v0, %v0, 4, 0 950 vflrd %v0, %v0, 12, 0 951 vflrd %v0, %v31, 0, 0 952 vflrd %v31, %v0, 0, 0 953 vflrd %v14, %v17, 4, 10 954 955#CHECK: vfmax %v0, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xef] 956#CHECK: vfmax %v0, %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xef] 957#CHECK: vfmax %v0, %v0, %v0, 0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xef] 958#CHECK: vfmax %v0, %v0, %v0, 0, 0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x00,0xef] 959#CHECK: vfmax %v0, %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xef] 960#CHECK: vfmax %v0, %v31, %v0, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xef] 961#CHECK: vfmax %v31, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xef] 962#CHECK: vfmax %v18, %v3, %v20, 11, 9, 12 # encoding: [0xe7,0x23,0x40,0xc9,0xba,0xef] 963 964 vfmax %v0, %v0, %v0, 0, 0, 0 965 vfmax %v0, %v0, %v0, 15, 0, 0 966 vfmax %v0, %v0, %v0, 0, 15, 0 967 vfmax %v0, %v0, %v0, 0, 0, 4 968 vfmax %v0, %v0, %v31, 0, 0, 0 969 vfmax %v0, %v31, %v0, 0, 0, 0 970 vfmax %v31, %v0, %v0, 0, 0, 0 971 vfmax %v18, %v3, %v20, 11, 9, 12 972 973#CHECK: vfmaxdb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xef] 974#CHECK: vfmaxdb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x30,0xef] 975#CHECK: vfmaxdb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xef] 976#CHECK: vfmaxdb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xef] 977#CHECK: vfmaxdb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xef] 978#CHECK: vfmaxdb %v18, %v3, %v20, 12 # encoding: [0xe7,0x23,0x40,0xc0,0x3a,0xef] 979 980 vfmaxdb %v0, %v0, %v0, 0 981 vfmaxdb %v0, %v0, %v0, 4 982 vfmaxdb %v0, %v0, %v31, 0 983 vfmaxdb %v0, %v31, %v0, 0 984 vfmaxdb %v31, %v0, %v0, 0 985 vfmaxdb %v18, %v3, %v20, 12 986 987#CHECK: vfmaxsb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xef] 988#CHECK: vfmaxsb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x20,0xef] 989#CHECK: vfmaxsb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xef] 990#CHECK: vfmaxsb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xef] 991#CHECK: vfmaxsb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xef] 992#CHECK: vfmaxsb %v18, %v3, %v20, 12 # encoding: [0xe7,0x23,0x40,0xc0,0x2a,0xef] 993 994 vfmaxsb %v0, %v0, %v0, 0 995 vfmaxsb %v0, %v0, %v0, 4 996 vfmaxsb %v0, %v0, %v31, 0 997 vfmaxsb %v0, %v31, %v0, 0 998 vfmaxsb %v31, %v0, %v0, 0 999 vfmaxsb %v18, %v3, %v20, 12 1000 1001#CHECK: vfmin %v0, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xee] 1002#CHECK: vfmin %v0, %v0, %v0, 15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xee] 1003#CHECK: vfmin %v0, %v0, %v0, 0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0xee] 1004#CHECK: vfmin %v0, %v0, %v0, 0, 0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x00,0xee] 1005#CHECK: vfmin %v0, %v0, %v31, 0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xee] 1006#CHECK: vfmin %v0, %v31, %v0, 0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xee] 1007#CHECK: vfmin %v31, %v0, %v0, 0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xee] 1008#CHECK: vfmin %v18, %v3, %v20, 11, 9, 12 # encoding: [0xe7,0x23,0x40,0xc9,0xba,0xee] 1009 1010 vfmin %v0, %v0, %v0, 0, 0, 0 1011 vfmin %v0, %v0, %v0, 15, 0, 0 1012 vfmin %v0, %v0, %v0, 0, 15, 0 1013 vfmin %v0, %v0, %v0, 0, 0, 4 1014 vfmin %v0, %v0, %v31, 0, 0, 0 1015 vfmin %v0, %v31, %v0, 0, 0, 0 1016 vfmin %v31, %v0, %v0, 0, 0, 0 1017 vfmin %v18, %v3, %v20, 11, 9, 12 1018 1019#CHECK: vfmindb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xee] 1020#CHECK: vfmindb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x30,0xee] 1021#CHECK: vfmindb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x32,0xee] 1022#CHECK: vfmindb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xee] 1023#CHECK: vfmindb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xee] 1024#CHECK: vfmindb %v18, %v3, %v20, 12 # encoding: [0xe7,0x23,0x40,0xc0,0x3a,0xee] 1025 1026 vfmindb %v0, %v0, %v0, 0 1027 vfmindb %v0, %v0, %v0, 4 1028 vfmindb %v0, %v0, %v31, 0 1029 vfmindb %v0, %v31, %v0, 0 1030 vfmindb %v31, %v0, %v0, 0 1031 vfmindb %v18, %v3, %v20, 12 1032 1033#CHECK: vfminsb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xee] 1034#CHECK: vfminsb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x40,0x20,0xee] 1035#CHECK: vfminsb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xee] 1036#CHECK: vfminsb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xee] 1037#CHECK: vfminsb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xee] 1038#CHECK: vfminsb %v18, %v3, %v20, 12 # encoding: [0xe7,0x23,0x40,0xc0,0x2a,0xee] 1039 1040 vfminsb %v0, %v0, %v0, 0 1041 vfminsb %v0, %v0, %v0, 4 1042 vfminsb %v0, %v0, %v31, 0 1043 vfminsb %v0, %v31, %v0, 0 1044 vfminsb %v31, %v0, %v0, 0 1045 vfminsb %v18, %v3, %v20, 12 1046 1047#CHECK: vfmasb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x02,0x00,0x00,0x8f] 1048#CHECK: vfmasb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x8f] 1049#CHECK: vfmasb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x8f] 1050#CHECK: vfmasb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x8f] 1051#CHECK: vfmasb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x8f] 1052#CHECK: vfmasb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x00,0x97,0x8f] 1053 1054 vfmasb %v0, %v0, %v0, %v0 1055 vfmasb %v0, %v0, %v0, %v31 1056 vfmasb %v0, %v0, %v31, %v0 1057 vfmasb %v0, %v31, %v0, %v0 1058 vfmasb %v31, %v0, %v0, %v0 1059 vfmasb %v13, %v17, %v21, %v25 1060 1061#CHECK: vfmsb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xe7] 1062#CHECK: vfmsb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe7] 1063#CHECK: vfmsb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe7] 1064#CHECK: vfmsb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe7] 1065#CHECK: vfmsb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xe7] 1066 1067 vfmsb %v0, %v0, %v0 1068 vfmsb %v0, %v0, %v31 1069 vfmsb %v0, %v31, %v0 1070 vfmsb %v31, %v0, %v0 1071 vfmsb %v18, %v3, %v20 1072 1073#CHECK: vfmssb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x02,0x00,0x00,0x8e] 1074#CHECK: vfmssb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x8e] 1075#CHECK: vfmssb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x8e] 1076#CHECK: vfmssb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x8e] 1077#CHECK: vfmssb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x8e] 1078#CHECK: vfmssb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x00,0x97,0x8e] 1079 1080 vfmssb %v0, %v0, %v0, %v0 1081 vfmssb %v0, %v0, %v0, %v31 1082 vfmssb %v0, %v0, %v31, %v0 1083 vfmssb %v0, %v31, %v0, %v0 1084 vfmssb %v31, %v0, %v0, %v0 1085 vfmssb %v13, %v17, %v21, %v25 1086 1087#CHECK: vfnma %v0, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x9f] 1088#CHECK: vfnma %v0, %v0, %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0x9f] 1089#CHECK: vfnma %v0, %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0x9f] 1090#CHECK: vfnma %v0, %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x9f] 1091#CHECK: vfnma %v0, %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x9f] 1092#CHECK: vfnma %v0, %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x9f] 1093#CHECK: vfnma %v31, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x9f] 1094#CHECK: vfnma %v13, %v17, %v21, %v25, 9, 11 # encoding: [0xe7,0xd1,0x5b,0x09,0x97,0x9f] 1095 1096 vfnma %v0, %v0, %v0, %v0, 0, 0 1097 vfnma %v0, %v0, %v0, %v0, 0, 15 1098 vfnma %v0, %v0, %v0, %v0, 15, 0 1099 vfnma %v0, %v0, %v0, %v31, 0, 0 1100 vfnma %v0, %v0, %v31, %v0, 0, 0 1101 vfnma %v0, %v31, %v0, %v0, 0, 0 1102 vfnma %v31, %v0, %v0, %v0, 0, 0 1103 vfnma %v13, %v17, %v21, %v25, 9, 11 1104 1105#CHECK: vfnmadb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x03,0x00,0x00,0x9f] 1106#CHECK: vfnmadb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0x9f] 1107#CHECK: vfnmadb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0x9f] 1108#CHECK: vfnmadb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x03,0x00,0x04,0x9f] 1109#CHECK: vfnmadb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x03,0x00,0x08,0x9f] 1110#CHECK: vfnmadb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x53,0x00,0x97,0x9f] 1111 1112 vfnmadb %v0, %v0, %v0, %v0 1113 vfnmadb %v0, %v0, %v0, %v31 1114 vfnmadb %v0, %v0, %v31, %v0 1115 vfnmadb %v0, %v31, %v0, %v0 1116 vfnmadb %v31, %v0, %v0, %v0 1117 vfnmadb %v13, %v17, %v21, %v25 1118 1119#CHECK: vfnmasb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x02,0x00,0x00,0x9f] 1120#CHECK: vfnmasb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x9f] 1121#CHECK: vfnmasb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x9f] 1122#CHECK: vfnmasb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x9f] 1123#CHECK: vfnmasb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x9f] 1124#CHECK: vfnmasb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x00,0x97,0x9f] 1125 1126 vfnmasb %v0, %v0, %v0, %v0 1127 vfnmasb %v0, %v0, %v0, %v31 1128 vfnmasb %v0, %v0, %v31, %v0 1129 vfnmasb %v0, %v31, %v0, %v0 1130 vfnmasb %v31, %v0, %v0, %v0 1131 vfnmasb %v13, %v17, %v21, %v25 1132 1133#CHECK: vfnms %v0, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x9e] 1134#CHECK: vfnms %v0, %v0, %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0x9e] 1135#CHECK: vfnms %v0, %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x00,0x9e] 1136#CHECK: vfnms %v0, %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0x9e] 1137#CHECK: vfnms %v0, %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x9e] 1138#CHECK: vfnms %v0, %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x9e] 1139#CHECK: vfnms %v31, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x9e] 1140#CHECK: vfnms %v13, %v17, %v21, %v25, 9, 11 # encoding: [0xe7,0xd1,0x5b,0x09,0x97,0x9e] 1141 1142 vfnms %v0, %v0, %v0, %v0, 0, 0 1143 vfnms %v0, %v0, %v0, %v0, 0, 15 1144 vfnms %v0, %v0, %v0, %v0, 15, 0 1145 vfnms %v0, %v0, %v0, %v31, 0, 0 1146 vfnms %v0, %v0, %v31, %v0, 0, 0 1147 vfnms %v0, %v31, %v0, %v0, 0, 0 1148 vfnms %v31, %v0, %v0, %v0, 0, 0 1149 vfnms %v13, %v17, %v21, %v25, 9, 11 1150 1151#CHECK: vfnmsdb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x03,0x00,0x00,0x9e] 1152#CHECK: vfnmsdb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0x9e] 1153#CHECK: vfnmsdb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0x9e] 1154#CHECK: vfnmsdb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x03,0x00,0x04,0x9e] 1155#CHECK: vfnmsdb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x03,0x00,0x08,0x9e] 1156#CHECK: vfnmsdb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x53,0x00,0x97,0x9e] 1157 1158 vfnmsdb %v0, %v0, %v0, %v0 1159 vfnmsdb %v0, %v0, %v0, %v31 1160 vfnmsdb %v0, %v0, %v31, %v0 1161 vfnmsdb %v0, %v31, %v0, %v0 1162 vfnmsdb %v31, %v0, %v0, %v0 1163 vfnmsdb %v13, %v17, %v21, %v25 1164 1165#CHECK: vfnmssb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x02,0x00,0x00,0x9e] 1166#CHECK: vfnmssb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x02,0x00,0xf1,0x9e] 1167#CHECK: vfnmssb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf2,0x00,0x02,0x9e] 1168#CHECK: vfnmssb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x02,0x00,0x04,0x9e] 1169#CHECK: vfnmssb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x02,0x00,0x08,0x9e] 1170#CHECK: vfnmssb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x00,0x97,0x9e] 1171 1172 vfnmssb %v0, %v0, %v0, %v0 1173 vfnmssb %v0, %v0, %v0, %v31 1174 vfnmssb %v0, %v0, %v31, %v0 1175 vfnmssb %v0, %v31, %v0, %v0 1176 vfnmssb %v31, %v0, %v0, %v0 1177 vfnmssb %v13, %v17, %v21, %v25 1178 1179#CHECK: vfssb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xe2] 1180#CHECK: vfssb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x22,0xe2] 1181#CHECK: vfssb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xe2] 1182#CHECK: vfssb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xe2] 1183#CHECK: vfssb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x2a,0xe2] 1184 1185 vfssb %v0, %v0, %v0 1186 vfssb %v0, %v0, %v31 1187 vfssb %v0, %v31, %v0 1188 vfssb %v31, %v0, %v0 1189 vfssb %v18, %v3, %v20 1190 1191#CHECK: vfsqsb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xce] 1192#CHECK: vfsqsb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0xce] 1193#CHECK: vfsqsb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xce] 1194#CHECK: vfsqsb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0xce] 1195#CHECK: vfsqsb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xce] 1196#CHECK: vfsqsb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0xce] 1197 1198 vfsqsb %v0, %v0 1199 vfsqsb %v0, %v15 1200 vfsqsb %v0, %v31 1201 vfsqsb %v15, %v0 1202 vfsqsb %v31, %v0 1203 vfsqsb %v14, %v17 1204 1205#CHECK: vftcisb %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0x4a] 1206#CHECK: vftcisb %v0, %v0, 4095 # encoding: [0xe7,0x00,0xff,0xf0,0x20,0x4a] 1207#CHECK: vftcisb %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0x4a] 1208#CHECK: vftcisb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x4a] 1209#CHECK: vftcisb %v15, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0x4a] 1210#CHECK: vftcisb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x4a] 1211#CHECK: vftcisb %v4, %v21, 1656 # encoding: [0xe7,0x45,0x67,0x80,0x24,0x4a] 1212 1213 vftcisb %v0, %v0, 0 1214 vftcisb %v0, %v0, 4095 1215 vftcisb %v0, %v15, 0 1216 vftcisb %v0, %v31, 0 1217 vftcisb %v15, %v0, 0 1218 vftcisb %v31, %v0, 0 1219 vftcisb %v4, %v21, 0x678 1220 1221#CHECK: vlip %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x49] 1222#CHECK: vlip %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x49] 1223#CHECK: vlip %v0, 65535, 0 # encoding: [0xe6,0x00,0xff,0xff,0x00,0x49] 1224#CHECK: vlip %v15, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x00,0x49] 1225#CHECK: vlip %v31, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x49] 1226#CHECK: vlip %v17, 4660, 7 # encoding: [0xe6,0x10,0x12,0x34,0x78,0x49] 1227 1228 vlip %v0, 0, 0 1229 vlip %v0, 0, 15 1230 vlip %v0, 0xffff, 0 1231 vlip %v15, 0, 0 1232 vlip %v31, 0, 0 1233 vlip %v17, 0x1234, 7 1234 1235#CHECK: vllezlf %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x60,0x04] 1236#CHECK: vllezlf %v0, 4095 # encoding: [0xe7,0x00,0x0f,0xff,0x60,0x04] 1237#CHECK: vllezlf %v0, 0(%r15) # encoding: [0xe7,0x00,0xf0,0x00,0x60,0x04] 1238#CHECK: vllezlf %v0, 0(%r15,%r1) # encoding: [0xe7,0x0f,0x10,0x00,0x60,0x04] 1239#CHECK: vllezlf %v15, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x60,0x04] 1240#CHECK: vllezlf %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x68,0x04] 1241#CHECK: vllezlf %v18, 1383(%r3,%r4) # encoding: [0xe7,0x23,0x45,0x67,0x68,0x04] 1242#CHECK: vllezlf %v0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x60,0x04] 1243#CHECK: vllezlf %v0, 4095 # encoding: [0xe7,0x00,0x0f,0xff,0x60,0x04] 1244#CHECK: vllezlf %v0, 0(%r15) # encoding: [0xe7,0x00,0xf0,0x00,0x60,0x04] 1245#CHECK: vllezlf %v0, 0(%r15,%r1) # encoding: [0xe7,0x0f,0x10,0x00,0x60,0x04] 1246#CHECK: vllezlf %v15, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x60,0x04] 1247#CHECK: vllezlf %v31, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x68,0x04] 1248#CHECK: vllezlf %v18, 1383(%r3,%r4) # encoding: [0xe7,0x23,0x45,0x67,0x68,0x04] 1249 1250 vllezlf %v0, 0 1251 vllezlf %v0, 4095 1252 vllezlf %v0, 0(%r15) 1253 vllezlf %v0, 0(%r15,%r1) 1254 vllezlf %v15, 0 1255 vllezlf %v31, 0 1256 vllezlf %v18, 0x567(%r3,%r4) 1257 vllezlf 0, 0 1258 vllezlf 0, 4095 1259 vllezlf 0, 0(15) 1260 vllezlf 0, 0(15,1) 1261 vllezlf 15, 0 1262 vllezlf 31, 0 1263 vllezlf 18, 0x567(3,4) 1264 1265#CHECK: vlrl %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x35] 1266#CHECK: vlrl %v0, 4095, 0 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x35] 1267#CHECK: vlrl %v0, 0(%r15), 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x35] 1268#CHECK: vlrl %v0, 0, 255 # encoding: [0xe6,0xff,0x00,0x00,0x00,0x35] 1269#CHECK: vlrl %v15, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x35] 1270#CHECK: vlrl %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x35] 1271#CHECK: vlrl %v18, 1383(%r4), 3 # encoding: [0xe6,0x03,0x45,0x67,0x21,0x35] 1272#CHECK: vlrl %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x35] 1273#CHECK: vlrl %v0, 4095, 0 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x35] 1274#CHECK: vlrl %v0, 0(%r15), 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x35] 1275#CHECK: vlrl %v0, 0, 255 # encoding: [0xe6,0xff,0x00,0x00,0x00,0x35] 1276#CHECK: vlrl %v15, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x35] 1277#CHECK: vlrl %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x35] 1278#CHECK: vlrl %v18, 1383(%r4), 3 # encoding: [0xe6,0x03,0x45,0x67,0x21,0x35] 1279 1280 vlrl %v0, 0, 0 1281 vlrl %v0, 4095, 0 1282 vlrl %v0, 0(%r15), 0 1283 vlrl %v0, 0, 255 1284 vlrl %v15, 0, 0 1285 vlrl %v31, 0, 0 1286 vlrl %v18, 1383(%r4), 3 1287 vlrl 0, 0, 0 1288 vlrl 0, 4095, 0 1289 vlrl 0, 0(15), 0 1290 vlrl 0, 0, 255 1291 vlrl 15, 0, 0 1292 vlrl 31, 0, 0 1293 vlrl 18, 1383(4), 3 1294 1295#CHECK: vlrlr %v0, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x37] 1296#CHECK: vlrlr %v0, %r0, 4095 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x37] 1297#CHECK: vlrlr %v0, %r0, 0(%r15) # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x37] 1298#CHECK: vlrlr %v0, %r15, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x37] 1299#CHECK: vlrlr %v15, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x37] 1300#CHECK: vlrlr %v31, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x37] 1301#CHECK: vlrlr %v18, %r3, 1383(%r4) # encoding: [0xe6,0x03,0x45,0x67,0x21,0x37] 1302 1303 vlrlr %v0, %r0, 0 1304 vlrlr %v0, %r0, 4095 1305 vlrlr %v0, %r0, 0(%r15) 1306 vlrlr %v0, %r15, 0 1307 vlrlr %v15, %r0, 0 1308 vlrlr %v31, %r0, 0 1309 vlrlr %v18, %r3, 1383(%r4) 1310 1311#CHECK: vmsl %v0, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0xb8] 1312#CHECK: vmsl %v0, %v0, %v0, %v0, 15, 0 # encoding: [0xe7,0x00,0x0f,0x00,0x00,0xb8] 1313#CHECK: vmsl %v0, %v0, %v0, %v0, 0, 12 # encoding: [0xe7,0x00,0x00,0xc0,0x00,0xb8] 1314#CHECK: vmsl %v0, %v0, %v0, %v15, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf0,0xb8] 1315#CHECK: vmsl %v0, %v0, %v0, %v31, 0, 0 # encoding: [0xe7,0x00,0x00,0x00,0xf1,0xb8] 1316#CHECK: vmsl %v0, %v0, %v15, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x00,0xb8] 1317#CHECK: vmsl %v0, %v0, %v31, %v0, 0, 0 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0xb8] 1318#CHECK: vmsl %v0, %v15, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0xb8] 1319#CHECK: vmsl %v0, %v31, %v0, %v0, 0, 0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0xb8] 1320#CHECK: vmsl %v15, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0xb8] 1321#CHECK: vmsl %v31, %v0, %v0, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0xb8] 1322#CHECK: vmsl %v18, %v3, %v20, %v5, 0, 4 # encoding: [0xe7,0x23,0x40,0x40,0x5a,0xb8] 1323#CHECK: vmsl %v18, %v3, %v20, %v5, 11, 8 # encoding: [0xe7,0x23,0x4b,0x80,0x5a,0xb8] 1324 1325 vmsl %v0, %v0, %v0, %v0, 0, 0 1326 vmsl %v0, %v0, %v0, %v0, 15, 0 1327 vmsl %v0, %v0, %v0, %v0, 0, 12 1328 vmsl %v0, %v0, %v0, %v15, 0, 0 1329 vmsl %v0, %v0, %v0, %v31, 0, 0 1330 vmsl %v0, %v0, %v15, %v0, 0, 0 1331 vmsl %v0, %v0, %v31, %v0, 0, 0 1332 vmsl %v0, %v15, %v0, %v0, 0, 0 1333 vmsl %v0, %v31, %v0, %v0, 0, 0 1334 vmsl %v15, %v0, %v0, %v0, 0, 0 1335 vmsl %v31, %v0, %v0, %v0, 0, 0 1336 vmsl %v18, %v3, %v20, %v5, 0, 4 1337 vmsl %v18, %v3, %v20, %v5, 11, 8 1338 1339#CHECK: vmslg %v0, %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x03,0x00,0x00,0xb8] 1340#CHECK: vmslg %v0, %v0, %v0, %v0, 12 # encoding: [0xe7,0x00,0x03,0xc0,0x00,0xb8] 1341#CHECK: vmslg %v0, %v0, %v0, %v15, 0 # encoding: [0xe7,0x00,0x03,0x00,0xf0,0xb8] 1342#CHECK: vmslg %v0, %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0x03,0x00,0xf1,0xb8] 1343#CHECK: vmslg %v0, %v0, %v15, %v0, 0 # encoding: [0xe7,0x00,0xf3,0x00,0x00,0xb8] 1344#CHECK: vmslg %v0, %v0, %v31, %v0, 0 # encoding: [0xe7,0x00,0xf3,0x00,0x02,0xb8] 1345#CHECK: vmslg %v0, %v15, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x03,0x00,0x00,0xb8] 1346#CHECK: vmslg %v0, %v31, %v0, %v0, 0 # encoding: [0xe7,0x0f,0x03,0x00,0x04,0xb8] 1347#CHECK: vmslg %v15, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x03,0x00,0x00,0xb8] 1348#CHECK: vmslg %v31, %v0, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x03,0x00,0x08,0xb8] 1349#CHECK: vmslg %v18, %v3, %v20, %v5, 4 # encoding: [0xe7,0x23,0x43,0x40,0x5a,0xb8] 1350#CHECK: vmslg %v18, %v3, %v20, %v5, 8 # encoding: [0xe7,0x23,0x43,0x80,0x5a,0xb8] 1351 1352 vmslg %v0, %v0, %v0, %v0, 0 1353 vmslg %v0, %v0, %v0, %v0, 12 1354 vmslg %v0, %v0, %v0, %v15, 0 1355 vmslg %v0, %v0, %v0, %v31, 0 1356 vmslg %v0, %v0, %v15, %v0, 0 1357 vmslg %v0, %v0, %v31, %v0, 0 1358 vmslg %v0, %v15, %v0, %v0, 0 1359 vmslg %v0, %v31, %v0, %v0, 0 1360 vmslg %v15, %v0, %v0, %v0, 0 1361 vmslg %v31, %v0, %v0, %v0, 0 1362 vmslg %v18, %v3, %v20, %v5, 4 1363 vmslg %v18, %v3, %v20, %v5, 8 1364 1365#CHECK: vmp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x78] 1366#CHECK: vmp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x78] 1367#CHECK: vmp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x78] 1368#CHECK: vmp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x78] 1369#CHECK: vmp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x78] 1370#CHECK: vmp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x78] 1371#CHECK: vmp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x78] 1372 1373 vmp %v0, %v0, %v0, 0, 0 1374 vmp %v0, %v0, %v0, 0, 15 1375 vmp %v0, %v0, %v0, 255, 0 1376 vmp %v0, %v0, %v31, 0, 0 1377 vmp %v0, %v31, %v0, 0, 0 1378 vmp %v31, %v0, %v0, 0, 0 1379 vmp %v13, %v17, %v21, 0x79, 11 1380 1381#CHECK: vmsp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x79] 1382#CHECK: vmsp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x79] 1383#CHECK: vmsp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x79] 1384#CHECK: vmsp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x79] 1385#CHECK: vmsp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x79] 1386#CHECK: vmsp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x79] 1387#CHECK: vmsp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x79] 1388 1389 vmsp %v0, %v0, %v0, 0, 0 1390 vmsp %v0, %v0, %v0, 0, 15 1391 vmsp %v0, %v0, %v0, 255, 0 1392 vmsp %v0, %v0, %v31, 0, 0 1393 vmsp %v0, %v31, %v0, 0, 0 1394 vmsp %v31, %v0, %v0, 0, 0 1395 vmsp %v13, %v17, %v21, 0x79, 11 1396 1397#CHECK: vnn %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x6e] 1398#CHECK: vnn %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6e] 1399#CHECK: vnn %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6e] 1400#CHECK: vnn %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6e] 1401#CHECK: vnn %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x0a,0x6e] 1402 1403 vnn %v0, %v0, %v0 1404 vnn %v0, %v0, %v31 1405 vnn %v0, %v31, %v0 1406 vnn %v31, %v0, %v0 1407 vnn %v18, %v3, %v20 1408 1409#CHECK: vnx %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x6c] 1410#CHECK: vnx %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6c] 1411#CHECK: vnx %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6c] 1412#CHECK: vnx %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6c] 1413#CHECK: vnx %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x0a,0x6c] 1414 1415 vnx %v0, %v0, %v0 1416 vnx %v0, %v0, %v31 1417 vnx %v0, %v31, %v0 1418 vnx %v31, %v0, %v0 1419 vnx %v18, %v3, %v20 1420 1421#CHECK: voc %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x6f] 1422#CHECK: voc %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x00,0x02,0x6f] 1423#CHECK: voc %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x6f] 1424#CHECK: voc %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x6f] 1425#CHECK: voc %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x00,0x0a,0x6f] 1426 1427 voc %v0, %v0, %v0 1428 voc %v0, %v0, %v31 1429 voc %v0, %v31, %v0 1430 voc %v31, %v0, %v0 1431 voc %v18, %v3, %v20 1432 1433#CHECK: vpkz %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x34] 1434#CHECK: vpkz %v0, 4095, 0 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x34] 1435#CHECK: vpkz %v0, 0(%r15), 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x34] 1436#CHECK: vpkz %v0, 0, 255 # encoding: [0xe6,0xff,0x00,0x00,0x00,0x34] 1437#CHECK: vpkz %v15, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x34] 1438#CHECK: vpkz %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x34] 1439#CHECK: vpkz %v18, 1383(%r4), 3 # encoding: [0xe6,0x03,0x45,0x67,0x21,0x34] 1440 1441 vpkz %v0, 0, 0 1442 vpkz %v0, 4095, 0 1443 vpkz %v0, 0(%r15), 0 1444 vpkz %v0, 0, 255 1445 vpkz %v15, 0, 0 1446 vpkz %v31, 0, 0 1447 vpkz %v18, 1383(%r4), 3 1448 1449#CHECK: vpopctb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x00,0x50] 1450#CHECK: vpopctb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x00,0x50] 1451#CHECK: vpopctb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x04,0x50] 1452#CHECK: vpopctb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x00,0x50] 1453#CHECK: vpopctb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x08,0x50] 1454#CHECK: vpopctb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x04,0x50] 1455 1456 vpopctb %v0, %v0 1457 vpopctb %v0, %v15 1458 vpopctb %v0, %v31 1459 vpopctb %v15, %v0 1460 vpopctb %v31, %v0 1461 vpopctb %v14, %v17 1462 1463#CHECK: vpopctf %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0x50] 1464#CHECK: vpopctf %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0x50] 1465#CHECK: vpopctf %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0x50] 1466#CHECK: vpopctf %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0x50] 1467#CHECK: vpopctf %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0x50] 1468#CHECK: vpopctf %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0x50] 1469 1470 vpopctf %v0, %v0 1471 vpopctf %v0, %v15 1472 vpopctf %v0, %v31 1473 vpopctf %v15, %v0 1474 vpopctf %v31, %v0 1475 vpopctf %v14, %v17 1476 1477#CHECK: vpopctg %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0x50] 1478#CHECK: vpopctg %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x30,0x50] 1479#CHECK: vpopctg %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0x50] 1480#CHECK: vpopctg %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x30,0x50] 1481#CHECK: vpopctg %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0x50] 1482#CHECK: vpopctg %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x34,0x50] 1483 1484 vpopctg %v0, %v0 1485 vpopctg %v0, %v15 1486 vpopctg %v0, %v31 1487 vpopctg %v15, %v0 1488 vpopctg %v31, %v0 1489 vpopctg %v14, %v17 1490 1491#CHECK: vpopcth %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x10,0x50] 1492#CHECK: vpopcth %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x10,0x50] 1493#CHECK: vpopcth %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x14,0x50] 1494#CHECK: vpopcth %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x10,0x50] 1495#CHECK: vpopcth %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x18,0x50] 1496#CHECK: vpopcth %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x14,0x50] 1497 1498 vpopcth %v0, %v0 1499 vpopcth %v0, %v15 1500 vpopcth %v0, %v31 1501 vpopcth %v15, %v0 1502 vpopcth %v31, %v0 1503 vpopcth %v14, %v17 1504 1505#CHECK: vpsop %v0, %v0, 0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x5b] 1506#CHECK: vpsop %v0, %v0, 0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x5b] 1507#CHECK: vpsop %v0, %v0, 0, 255, 0 # encoding: [0xe6,0x00,0xff,0x00,0x00,0x5b] 1508#CHECK: vpsop %v0, %v0, 255, 0, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x5b] 1509#CHECK: vpsop %v0, %v31, 0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x5b] 1510#CHECK: vpsop %v31, %v0, 0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x5b] 1511#CHECK: vpsop %v13, %v17, 52, 121, 11 # encoding: [0xe6,0xd1,0x79,0xb3,0x44,0x5b] 1512 1513 vpsop %v0, %v0, 0, 0, 0 1514 vpsop %v0, %v0, 0, 0, 15 1515 vpsop %v0, %v0, 0, 255, 0 1516 vpsop %v0, %v0, 255, 0, 0 1517 vpsop %v0, %v31, 0, 0, 0 1518 vpsop %v31, %v0, 0, 0, 0 1519 vpsop %v13, %v17, 0x34, 0x79, 11 1520 1521#CHECK: vrp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x7b] 1522#CHECK: vrp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x7b] 1523#CHECK: vrp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x7b] 1524#CHECK: vrp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x7b] 1525#CHECK: vrp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x7b] 1526#CHECK: vrp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x7b] 1527#CHECK: vrp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x7b] 1528 1529 vrp %v0, %v0, %v0, 0, 0 1530 vrp %v0, %v0, %v0, 0, 15 1531 vrp %v0, %v0, %v0, 255, 0 1532 vrp %v0, %v0, %v31, 0, 0 1533 vrp %v0, %v31, %v0, 0, 0 1534 vrp %v31, %v0, %v0, 0, 0 1535 vrp %v13, %v17, %v21, 0x79, 11 1536 1537#CHECK: vsdp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x7e] 1538#CHECK: vsdp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x7e] 1539#CHECK: vsdp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x7e] 1540#CHECK: vsdp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x7e] 1541#CHECK: vsdp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x7e] 1542#CHECK: vsdp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x7e] 1543#CHECK: vsdp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x7e] 1544 1545 vsdp %v0, %v0, %v0, 0, 0 1546 vsdp %v0, %v0, %v0, 0, 15 1547 vsdp %v0, %v0, %v0, 255, 0 1548 vsdp %v0, %v0, %v31, 0, 0 1549 vsdp %v0, %v31, %v0, 0, 0 1550 vsdp %v31, %v0, %v0, 0, 0 1551 vsdp %v13, %v17, %v21, 0x79, 11 1552 1553#CHECK: vsp %v0, %v0, %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x73] 1554#CHECK: vsp %v0, %v0, %v0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x73] 1555#CHECK: vsp %v0, %v0, %v0, 255, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x73] 1556#CHECK: vsp %v0, %v0, %v31, 0, 0 # encoding: [0xe6,0x00,0xf0,0x00,0x02,0x73] 1557#CHECK: vsp %v0, %v31, %v0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x73] 1558#CHECK: vsp %v31, %v0, %v0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x73] 1559#CHECK: vsp %v13, %v17, %v21, 121, 11 # encoding: [0xe6,0xd1,0x50,0xb7,0x96,0x73] 1560 1561 vsp %v0, %v0, %v0, 0, 0 1562 vsp %v0, %v0, %v0, 0, 15 1563 vsp %v0, %v0, %v0, 255, 0 1564 vsp %v0, %v0, %v31, 0, 0 1565 vsp %v0, %v31, %v0, 0, 0 1566 vsp %v31, %v0, %v0, 0, 0 1567 vsp %v13, %v17, %v21, 0x79, 11 1568 1569#CHECK: vsrp %v0, %v0, 0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x59] 1570#CHECK: vsrp %v0, %v0, 0, 0, 15 # encoding: [0xe6,0x00,0x00,0xf0,0x00,0x59] 1571#CHECK: vsrp %v0, %v0, 0, 255, 0 # encoding: [0xe6,0x00,0xff,0x00,0x00,0x59] 1572#CHECK: vsrp %v0, %v0, 255, 0, 0 # encoding: [0xe6,0x00,0x00,0x0f,0xf0,0x59] 1573#CHECK: vsrp %v0, %v31, 0, 0, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x59] 1574#CHECK: vsrp %v31, %v0, 0, 0, 0 # encoding: [0xe6,0xf0,0x00,0x00,0x08,0x59] 1575#CHECK: vsrp %v13, %v17, 52, 121, 11 # encoding: [0xe6,0xd1,0x79,0xb3,0x44,0x59] 1576 1577 vsrp %v0, %v0, 0, 0, 0 1578 vsrp %v0, %v0, 0, 0, 15 1579 vsrp %v0, %v0, 0, 255, 0 1580 vsrp %v0, %v0, 255, 0, 0 1581 vsrp %v0, %v31, 0, 0, 0 1582 vsrp %v31, %v0, 0, 0, 0 1583 vsrp %v13, %v17, 0x34, 0x79, 11 1584 1585#CHECK: vstrl %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x3d] 1586#CHECK: vstrl %v0, 4095, 0 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x3d] 1587#CHECK: vstrl %v0, 0(%r15), 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x3d] 1588#CHECK: vstrl %v0, 0, 255 # encoding: [0xe6,0xff,0x00,0x00,0x00,0x3d] 1589#CHECK: vstrl %v15, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x3d] 1590#CHECK: vstrl %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x3d] 1591#CHECK: vstrl %v18, 1383(%r4), 3 # encoding: [0xe6,0x03,0x45,0x67,0x21,0x3d] 1592 1593 vstrl %v0, 0, 0 1594 vstrl %v0, 4095, 0 1595 vstrl %v0, 0(%r15), 0 1596 vstrl %v0, 0, 255 1597 vstrl %v15, 0, 0 1598 vstrl %v31, 0, 0 1599 vstrl %v18, 1383(%r4), 3 1600 1601#CHECK: vstrlr %v0, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x3f] 1602#CHECK: vstrlr %v0, %r0, 4095 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x3f] 1603#CHECK: vstrlr %v0, %r0, 0(%r15) # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x3f] 1604#CHECK: vstrlr %v0, %r15, 0 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x3f] 1605#CHECK: vstrlr %v15, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x3f] 1606#CHECK: vstrlr %v31, %r0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x3f] 1607#CHECK: vstrlr %v18, %r3, 1383(%r4) # encoding: [0xe6,0x03,0x45,0x67,0x21,0x3f] 1608 1609 vstrlr %v0, %r0, 0 1610 vstrlr %v0, %r0, 4095 1611 vstrlr %v0, %r0, 0(%r15) 1612 vstrlr %v0, %r15, 0 1613 vstrlr %v15, %r0, 0 1614 vstrlr %v31, %r0, 0 1615 vstrlr %v18, %r3, 1383(%r4) 1616 1617#CHECK: vtp %v0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x5f] 1618#CHECK: vtp %v15 # encoding: [0xe6,0x0f,0x00,0x00,0x00,0x5f] 1619#CHECK: vtp %v31 # encoding: [0xe6,0x0f,0x00,0x00,0x04,0x5f] 1620 1621 vtp %v0 1622 vtp %v15 1623 vtp %v31 1624 1625#CHECK: vupkz %v0, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0x00,0x3c] 1626#CHECK: vupkz %v0, 4095, 0 # encoding: [0xe6,0x00,0x0f,0xff,0x00,0x3c] 1627#CHECK: vupkz %v0, 0(%r15), 0 # encoding: [0xe6,0x00,0xf0,0x00,0x00,0x3c] 1628#CHECK: vupkz %v0, 0, 255 # encoding: [0xe6,0xff,0x00,0x00,0x00,0x3c] 1629#CHECK: vupkz %v15, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf0,0x3c] 1630#CHECK: vupkz %v31, 0, 0 # encoding: [0xe6,0x00,0x00,0x00,0xf1,0x3c] 1631#CHECK: vupkz %v18, 1383(%r4), 3 # encoding: [0xe6,0x03,0x45,0x67,0x21,0x3c] 1632 1633 vupkz %v0, 0, 0 1634 vupkz %v0, 4095, 0 1635 vupkz %v0, 0(%r15), 0 1636 vupkz %v0, 0, 255 1637 vupkz %v15, 0, 0 1638 vupkz %v31, 0, 0 1639 vupkz %v18, 1383(%r4), 3 1640 1641#CHECK: wfasb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe3] 1642#CHECK: wfasb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe3] 1643#CHECK: wfasb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe3] 1644#CHECK: wfasb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe3] 1645#CHECK: wfasb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe3] 1646#CHECK: wfasb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xe3] 1647 1648 wfasb %v0, %v0, %v0 1649 wfasb %f0, %f0, %f0 1650 wfasb %v0, %v0, %v31 1651 wfasb %v0, %v31, %v0 1652 wfasb %v31, %v0, %v0 1653 wfasb %v18, %v3, %v20 1654 1655#CHECK: wfaxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xe3] 1656#CHECK: wfaxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe3] 1657#CHECK: wfaxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe3] 1658#CHECK: wfaxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe3] 1659#CHECK: wfaxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xe3] 1660 1661 wfaxb %v0, %v0, %v0 1662 wfaxb %v0, %v0, %v31 1663 wfaxb %v0, %v31, %v0 1664 wfaxb %v31, %v0, %v0 1665 wfaxb %v18, %v3, %v20 1666 1667#CHECK: wfcsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xcb] 1668#CHECK: wfcsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xcb] 1669#CHECK: wfcsb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0xcb] 1670#CHECK: wfcsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xcb] 1671#CHECK: wfcsb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0xcb] 1672#CHECK: wfcsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xcb] 1673#CHECK: wfcsb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0xcb] 1674 1675 wfcsb %v0, %v0 1676 wfcsb %f0, %f0 1677 wfcsb %v0, %v15 1678 wfcsb %v0, %v31 1679 wfcsb %v15, %v0 1680 wfcsb %v31, %v0 1681 wfcsb %v14, %v17 1682 1683#CHECK: wfcxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x40,0xcb] 1684#CHECK: wfcxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x40,0xcb] 1685#CHECK: wfcxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x44,0xcb] 1686#CHECK: wfcxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x40,0xcb] 1687#CHECK: wfcxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x48,0xcb] 1688#CHECK: wfcxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x44,0xcb] 1689 1690 wfcxb %v0, %v0 1691 wfcxb %v0, %v15 1692 wfcxb %v0, %v31 1693 wfcxb %v15, %v0 1694 wfcxb %v31, %v0 1695 wfcxb %v14, %v17 1696 1697#CHECK: wfcesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe8] 1698#CHECK: wfcesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe8] 1699#CHECK: wfcesb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe8] 1700#CHECK: wfcesb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe8] 1701#CHECK: wfcesb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe8] 1702#CHECK: wfcesb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xe8] 1703 1704 wfcesb %v0, %v0, %v0 1705 wfcesb %f0, %f0, %f0 1706 wfcesb %v0, %v0, %v31 1707 wfcesb %v0, %v31, %v0 1708 wfcesb %v31, %v0, %v0 1709 wfcesb %v18, %v3, %v20 1710 1711#CHECK: wfcesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xe8] 1712#CHECK: wfcesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xe8] 1713#CHECK: wfcesbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x22,0xe8] 1714#CHECK: wfcesbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x24,0xe8] 1715#CHECK: wfcesbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x28,0xe8] 1716#CHECK: wfcesbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x2a,0xe8] 1717 1718 wfcesbs %v0, %v0, %v0 1719 wfcesbs %f0, %f0, %f0 1720 wfcesbs %v0, %v0, %v31 1721 wfcesbs %v0, %v31, %v0 1722 wfcesbs %v31, %v0, %v0 1723 wfcesbs %v18, %v3, %v20 1724 1725#CHECK: wfcexb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xe8] 1726#CHECK: wfcexb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe8] 1727#CHECK: wfcexb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe8] 1728#CHECK: wfcexb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe8] 1729#CHECK: wfcexb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xe8] 1730 1731 wfcexb %v0, %v0, %v0 1732 wfcexb %v0, %v0, %v31 1733 wfcexb %v0, %v31, %v0 1734 wfcexb %v31, %v0, %v0 1735 wfcexb %v18, %v3, %v20 1736 1737#CHECK: wfcexbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x18,0x40,0xe8] 1738#CHECK: wfcexbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x42,0xe8] 1739#CHECK: wfcexbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x18,0x44,0xe8] 1740#CHECK: wfcexbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x48,0xe8] 1741#CHECK: wfcexbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x4a,0xe8] 1742 1743 wfcexbs %v0, %v0, %v0 1744 wfcexbs %v0, %v0, %v31 1745 wfcexbs %v0, %v31, %v0 1746 wfcexbs %v31, %v0, %v0 1747 wfcexbs %v18, %v3, %v20 1748 1749#CHECK: wfchsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xeb] 1750#CHECK: wfchsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xeb] 1751#CHECK: wfchsb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xeb] 1752#CHECK: wfchsb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xeb] 1753#CHECK: wfchsb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xeb] 1754#CHECK: wfchsb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xeb] 1755 1756 wfchsb %v0, %v0, %v0 1757 wfchsb %f0, %f0, %f0 1758 wfchsb %v0, %v0, %v31 1759 wfchsb %v0, %v31, %v0 1760 wfchsb %v31, %v0, %v0 1761 wfchsb %v18, %v3, %v20 1762 1763#CHECK: wfchsbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xeb] 1764#CHECK: wfchsbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xeb] 1765#CHECK: wfchsbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x22,0xeb] 1766#CHECK: wfchsbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x24,0xeb] 1767#CHECK: wfchsbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x28,0xeb] 1768#CHECK: wfchsbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x2a,0xeb] 1769 1770 wfchsbs %v0, %v0, %v0 1771 wfchsbs %f0, %f0, %f0 1772 wfchsbs %v0, %v0, %v31 1773 wfchsbs %v0, %v31, %v0 1774 wfchsbs %v31, %v0, %v0 1775 wfchsbs %v18, %v3, %v20 1776 1777#CHECK: wfchxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xeb] 1778#CHECK: wfchxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xeb] 1779#CHECK: wfchxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xeb] 1780#CHECK: wfchxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xeb] 1781#CHECK: wfchxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xeb] 1782 1783 wfchxb %v0, %v0, %v0 1784 wfchxb %v0, %v0, %v31 1785 wfchxb %v0, %v31, %v0 1786 wfchxb %v31, %v0, %v0 1787 wfchxb %v18, %v3, %v20 1788 1789#CHECK: wfchxbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x18,0x40,0xeb] 1790#CHECK: wfchxbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x42,0xeb] 1791#CHECK: wfchxbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x18,0x44,0xeb] 1792#CHECK: wfchxbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x48,0xeb] 1793#CHECK: wfchxbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x4a,0xeb] 1794 1795 wfchxbs %v0, %v0, %v0 1796 wfchxbs %v0, %v0, %v31 1797 wfchxbs %v0, %v31, %v0 1798 wfchxbs %v31, %v0, %v0 1799 wfchxbs %v18, %v3, %v20 1800 1801#CHECK: wfchesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xea] 1802#CHECK: wfchesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xea] 1803#CHECK: wfchesb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xea] 1804#CHECK: wfchesb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xea] 1805#CHECK: wfchesb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xea] 1806#CHECK: wfchesb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xea] 1807 1808 wfchesb %v0, %v0, %v0 1809 wfchesb %f0, %f0, %f0 1810 wfchesb %v0, %v0, %v31 1811 wfchesb %v0, %v31, %v0 1812 wfchesb %v31, %v0, %v0 1813 wfchesb %v18, %v3, %v20 1814 1815#CHECK: wfchesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xea] 1816#CHECK: wfchesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xea] 1817#CHECK: wfchesbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x22,0xea] 1818#CHECK: wfchesbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x24,0xea] 1819#CHECK: wfchesbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x28,0xea] 1820#CHECK: wfchesbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x2a,0xea] 1821 1822 wfchesbs %v0, %v0, %v0 1823 wfchesbs %f0, %f0, %f0 1824 wfchesbs %v0, %v0, %v31 1825 wfchesbs %v0, %v31, %v0 1826 wfchesbs %v31, %v0, %v0 1827 wfchesbs %v18, %v3, %v20 1828 1829#CHECK: wfchexb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xea] 1830#CHECK: wfchexb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xea] 1831#CHECK: wfchexb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xea] 1832#CHECK: wfchexb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xea] 1833#CHECK: wfchexb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xea] 1834 1835 wfchexb %v0, %v0, %v0 1836 wfchexb %v0, %v0, %v31 1837 wfchexb %v0, %v31, %v0 1838 wfchexb %v31, %v0, %v0 1839 wfchexb %v18, %v3, %v20 1840 1841#CHECK: wfchexbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x18,0x40,0xea] 1842#CHECK: wfchexbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x42,0xea] 1843#CHECK: wfchexbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x18,0x44,0xea] 1844#CHECK: wfchexbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x48,0xea] 1845#CHECK: wfchexbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x4a,0xea] 1846 1847 wfchexbs %v0, %v0, %v0 1848 wfchexbs %v0, %v0, %v31 1849 wfchexbs %v0, %v31, %v0 1850 wfchexbs %v31, %v0, %v0 1851 wfchexbs %v18, %v3, %v20 1852 1853#CHECK: wfdsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe5] 1854#CHECK: wfdsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe5] 1855#CHECK: wfdsb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe5] 1856#CHECK: wfdsb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe5] 1857#CHECK: wfdsb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe5] 1858#CHECK: wfdsb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xe5] 1859 1860 wfdsb %v0, %v0, %v0 1861 wfdsb %f0, %f0, %f0 1862 wfdsb %v0, %v0, %v31 1863 wfdsb %v0, %v31, %v0 1864 wfdsb %v31, %v0, %v0 1865 wfdsb %v18, %v3, %v20 1866 1867#CHECK: wfdxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xe5] 1868#CHECK: wfdxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe5] 1869#CHECK: wfdxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe5] 1870#CHECK: wfdxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe5] 1871#CHECK: wfdxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xe5] 1872 1873 wfdxb %v0, %v0, %v0 1874 wfdxb %v0, %v0, %v31 1875 wfdxb %v0, %v31, %v0 1876 wfdxb %v31, %v0, %v0 1877 wfdxb %v18, %v3, %v20 1878 1879#CHECK: wfisb %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc7] 1880#CHECK: wfisb %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc7] 1881#CHECK: wfisb %f0, %f0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x20,0xc7] 1882#CHECK: wfisb %f0, %f0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xc7] 1883#CHECK: wfisb %f0, %f0, 7, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x20,0xc7] 1884#CHECK: wfisb %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xc7] 1885#CHECK: wfisb %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xc7] 1886#CHECK: wfisb %f14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x24,0xc7] 1887 1888 wfisb %v0, %v0, 0, 0 1889 wfisb %f0, %f0, 0, 0 1890 wfisb %v0, %v0, 0, 15 1891 wfisb %v0, %v0, 4, 0 1892 wfisb %v0, %v0, 7, 0 1893 wfisb %v0, %v31, 0, 0 1894 wfisb %v31, %v0, 0, 0 1895 wfisb %v14, %v17, 4, 10 1896 1897#CHECK: wfixb %v0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xc7] 1898#CHECK: wfixb %v0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x40,0xc7] 1899#CHECK: wfixb %v0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x40,0xc7] 1900#CHECK: wfixb %v0, %v0, 7, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x40,0xc7] 1901#CHECK: wfixb %v0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xc7] 1902#CHECK: wfixb %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xc7] 1903#CHECK: wfixb %v14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x44,0xc7] 1904 1905 wfixb %v0, %v0, 0, 0 1906 wfixb %v0, %v0, 0, 15 1907 wfixb %v0, %v0, 4, 0 1908 wfixb %v0, %v0, 7, 0 1909 wfixb %v0, %v31, 0, 0 1910 wfixb %v31, %v0, 0, 0 1911 wfixb %v14, %v17, 4, 10 1912 1913#CHECK: wfksb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xca] 1914#CHECK: wfksb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x20,0xca] 1915#CHECK: wfksb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x00,0x20,0xca] 1916#CHECK: wfksb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x24,0xca] 1917#CHECK: wfksb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x20,0xca] 1918#CHECK: wfksb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x28,0xca] 1919#CHECK: wfksb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x24,0xca] 1920 1921 wfksb %v0, %v0 1922 wfksb %f0, %f0 1923 wfksb %v0, %v15 1924 wfksb %v0, %v31 1925 wfksb %v15, %v0 1926 wfksb %v31, %v0 1927 wfksb %v14, %v17 1928 1929#CHECK: wfkxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x00,0x40,0xca] 1930#CHECK: wfkxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x00,0x40,0xca] 1931#CHECK: wfkxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x44,0xca] 1932#CHECK: wfkxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x40,0xca] 1933#CHECK: wfkxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x00,0x48,0xca] 1934#CHECK: wfkxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x44,0xca] 1935 1936 wfkxb %v0, %v0 1937 wfkxb %v0, %v15 1938 wfkxb %v0, %v31 1939 wfkxb %v15, %v0 1940 wfkxb %v31, %v0 1941 wfkxb %v14, %v17 1942 1943#CHECK: wfkedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xe8] 1944#CHECK: wfkedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xe8] 1945#CHECK: wfkedb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x32,0xe8] 1946#CHECK: wfkedb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x34,0xe8] 1947#CHECK: wfkedb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x38,0xe8] 1948#CHECK: wfkedb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x3a,0xe8] 1949 1950 wfkedb %v0, %v0, %v0 1951 wfkedb %f0, %f0, %f0 1952 wfkedb %v0, %v0, %v31 1953 wfkedb %v0, %v31, %v0 1954 wfkedb %v31, %v0, %v0 1955 wfkedb %v18, %v3, %v20 1956 1957#CHECK: wfkedbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xe8] 1958#CHECK: wfkedbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xe8] 1959#CHECK: wfkedbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x32,0xe8] 1960#CHECK: wfkedbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x34,0xe8] 1961#CHECK: wfkedbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x38,0xe8] 1962#CHECK: wfkedbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x3a,0xe8] 1963 1964 wfkedbs %v0, %v0, %v0 1965 wfkedbs %f0, %f0, %f0 1966 wfkedbs %v0, %v0, %v31 1967 wfkedbs %v0, %v31, %v0 1968 wfkedbs %v31, %v0, %v0 1969 wfkedbs %v18, %v3, %v20 1970 1971#CHECK: wfkesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xe8] 1972#CHECK: wfkesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xe8] 1973#CHECK: wfkesb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x22,0xe8] 1974#CHECK: wfkesb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x24,0xe8] 1975#CHECK: wfkesb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x28,0xe8] 1976#CHECK: wfkesb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x2a,0xe8] 1977 1978 wfkesb %v0, %v0, %v0 1979 wfkesb %f0, %f0, %f0 1980 wfkesb %v0, %v0, %v31 1981 wfkesb %v0, %v31, %v0 1982 wfkesb %v31, %v0, %v0 1983 wfkesb %v18, %v3, %v20 1984 1985#CHECK: wfkesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xe8] 1986#CHECK: wfkesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xe8] 1987#CHECK: wfkesbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x22,0xe8] 1988#CHECK: wfkesbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x24,0xe8] 1989#CHECK: wfkesbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x28,0xe8] 1990#CHECK: wfkesbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x2a,0xe8] 1991 1992 wfkesbs %v0, %v0, %v0 1993 wfkesbs %f0, %f0, %f0 1994 wfkesbs %v0, %v0, %v31 1995 wfkesbs %v0, %v31, %v0 1996 wfkesbs %v31, %v0, %v0 1997 wfkesbs %v18, %v3, %v20 1998 1999#CHECK: wfkexb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x0c,0x40,0xe8] 2000#CHECK: wfkexb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x42,0xe8] 2001#CHECK: wfkexb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x0c,0x44,0xe8] 2002#CHECK: wfkexb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x0c,0x48,0xe8] 2003#CHECK: wfkexb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x4a,0xe8] 2004 2005 wfkexb %v0, %v0, %v0 2006 wfkexb %v0, %v0, %v31 2007 wfkexb %v0, %v31, %v0 2008 wfkexb %v31, %v0, %v0 2009 wfkexb %v18, %v3, %v20 2010 2011#CHECK: wfkexbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x1c,0x40,0xe8] 2012#CHECK: wfkexbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x42,0xe8] 2013#CHECK: wfkexbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x1c,0x44,0xe8] 2014#CHECK: wfkexbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x1c,0x48,0xe8] 2015#CHECK: wfkexbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x4a,0xe8] 2016 2017 wfkexbs %v0, %v0, %v0 2018 wfkexbs %v0, %v0, %v31 2019 wfkexbs %v0, %v31, %v0 2020 wfkexbs %v31, %v0, %v0 2021 wfkexbs %v18, %v3, %v20 2022 2023#CHECK: wfkhdb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xeb] 2024#CHECK: wfkhdb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xeb] 2025#CHECK: wfkhdb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x32,0xeb] 2026#CHECK: wfkhdb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x34,0xeb] 2027#CHECK: wfkhdb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x38,0xeb] 2028#CHECK: wfkhdb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x3a,0xeb] 2029 2030 wfkhdb %v0, %v0, %v0 2031 wfkhdb %f0, %f0, %f0 2032 wfkhdb %v0, %v0, %v31 2033 wfkhdb %v0, %v31, %v0 2034 wfkhdb %v31, %v0, %v0 2035 wfkhdb %v18, %v3, %v20 2036 2037#CHECK: wfkhdbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xeb] 2038#CHECK: wfkhdbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xeb] 2039#CHECK: wfkhdbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x32,0xeb] 2040#CHECK: wfkhdbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x34,0xeb] 2041#CHECK: wfkhdbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x38,0xeb] 2042#CHECK: wfkhdbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x3a,0xeb] 2043 2044 wfkhdbs %v0, %v0, %v0 2045 wfkhdbs %f0, %f0, %f0 2046 wfkhdbs %v0, %v0, %v31 2047 wfkhdbs %v0, %v31, %v0 2048 wfkhdbs %v31, %v0, %v0 2049 wfkhdbs %v18, %v3, %v20 2050 2051#CHECK: wfkhsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xeb] 2052#CHECK: wfkhsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xeb] 2053#CHECK: wfkhsb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x22,0xeb] 2054#CHECK: wfkhsb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x24,0xeb] 2055#CHECK: wfkhsb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x28,0xeb] 2056#CHECK: wfkhsb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x2a,0xeb] 2057 2058 wfkhsb %v0, %v0, %v0 2059 wfkhsb %f0, %f0, %f0 2060 wfkhsb %v0, %v0, %v31 2061 wfkhsb %v0, %v31, %v0 2062 wfkhsb %v31, %v0, %v0 2063 wfkhsb %v18, %v3, %v20 2064 2065#CHECK: wfkhsbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xeb] 2066#CHECK: wfkhsbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xeb] 2067#CHECK: wfkhsbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x22,0xeb] 2068#CHECK: wfkhsbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x24,0xeb] 2069#CHECK: wfkhsbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x28,0xeb] 2070#CHECK: wfkhsbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x2a,0xeb] 2071 2072 wfkhsbs %v0, %v0, %v0 2073 wfkhsbs %f0, %f0, %f0 2074 wfkhsbs %v0, %v0, %v31 2075 wfkhsbs %v0, %v31, %v0 2076 wfkhsbs %v31, %v0, %v0 2077 wfkhsbs %v18, %v3, %v20 2078 2079#CHECK: wfkhxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x0c,0x40,0xeb] 2080#CHECK: wfkhxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x42,0xeb] 2081#CHECK: wfkhxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x0c,0x44,0xeb] 2082#CHECK: wfkhxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x0c,0x48,0xeb] 2083#CHECK: wfkhxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x4a,0xeb] 2084 2085 wfkhxb %v0, %v0, %v0 2086 wfkhxb %v0, %v0, %v31 2087 wfkhxb %v0, %v31, %v0 2088 wfkhxb %v31, %v0, %v0 2089 wfkhxb %v18, %v3, %v20 2090 2091#CHECK: wfkhxbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x1c,0x40,0xeb] 2092#CHECK: wfkhxbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x42,0xeb] 2093#CHECK: wfkhxbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x1c,0x44,0xeb] 2094#CHECK: wfkhxbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x1c,0x48,0xeb] 2095#CHECK: wfkhxbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x4a,0xeb] 2096 2097 wfkhxbs %v0, %v0, %v0 2098 wfkhxbs %v0, %v0, %v31 2099 wfkhxbs %v0, %v31, %v0 2100 wfkhxbs %v31, %v0, %v0 2101 wfkhxbs %v18, %v3, %v20 2102 2103#CHECK: wfkhedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xea] 2104#CHECK: wfkhedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xea] 2105#CHECK: wfkhedb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x32,0xea] 2106#CHECK: wfkhedb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x34,0xea] 2107#CHECK: wfkhedb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x38,0xea] 2108#CHECK: wfkhedb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x3a,0xea] 2109 2110 wfkhedb %v0, %v0, %v0 2111 wfkhedb %f0, %f0, %f0 2112 wfkhedb %v0, %v0, %v31 2113 wfkhedb %v0, %v31, %v0 2114 wfkhedb %v31, %v0, %v0 2115 wfkhedb %v18, %v3, %v20 2116 2117#CHECK: wfkhedbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xea] 2118#CHECK: wfkhedbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x30,0xea] 2119#CHECK: wfkhedbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x32,0xea] 2120#CHECK: wfkhedbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x34,0xea] 2121#CHECK: wfkhedbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x38,0xea] 2122#CHECK: wfkhedbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x3a,0xea] 2123 2124 wfkhedbs %v0, %v0, %v0 2125 wfkhedbs %f0, %f0, %f0 2126 wfkhedbs %v0, %v0, %v31 2127 wfkhedbs %v0, %v31, %v0 2128 wfkhedbs %v31, %v0, %v0 2129 wfkhedbs %v18, %v3, %v20 2130 2131#CHECK: wfkhesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xea] 2132#CHECK: wfkhesb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x0c,0x20,0xea] 2133#CHECK: wfkhesb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x22,0xea] 2134#CHECK: wfkhesb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x0c,0x24,0xea] 2135#CHECK: wfkhesb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x0c,0x28,0xea] 2136#CHECK: wfkhesb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x2a,0xea] 2137 2138 wfkhesb %v0, %v0, %v0 2139 wfkhesb %f0, %f0, %f0 2140 wfkhesb %v0, %v0, %v31 2141 wfkhesb %v0, %v31, %v0 2142 wfkhesb %v31, %v0, %v0 2143 wfkhesb %v18, %v3, %v20 2144 2145#CHECK: wfkhesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xea] 2146#CHECK: wfkhesbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x1c,0x20,0xea] 2147#CHECK: wfkhesbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x22,0xea] 2148#CHECK: wfkhesbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x1c,0x24,0xea] 2149#CHECK: wfkhesbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x1c,0x28,0xea] 2150#CHECK: wfkhesbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x2a,0xea] 2151 2152 wfkhesbs %v0, %v0, %v0 2153 wfkhesbs %f0, %f0, %f0 2154 wfkhesbs %v0, %v0, %v31 2155 wfkhesbs %v0, %v31, %v0 2156 wfkhesbs %v31, %v0, %v0 2157 wfkhesbs %v18, %v3, %v20 2158 2159#CHECK: wfkhexb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x0c,0x40,0xea] 2160#CHECK: wfkhexb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x0c,0x42,0xea] 2161#CHECK: wfkhexb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x0c,0x44,0xea] 2162#CHECK: wfkhexb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x0c,0x48,0xea] 2163#CHECK: wfkhexb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x0c,0x4a,0xea] 2164 2165 wfkhexb %v0, %v0, %v0 2166 wfkhexb %v0, %v0, %v31 2167 wfkhexb %v0, %v31, %v0 2168 wfkhexb %v31, %v0, %v0 2169 wfkhexb %v18, %v3, %v20 2170 2171#CHECK: wfkhexbs %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x1c,0x40,0xea] 2172#CHECK: wfkhexbs %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x1c,0x42,0xea] 2173#CHECK: wfkhexbs %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x1c,0x44,0xea] 2174#CHECK: wfkhexbs %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x1c,0x48,0xea] 2175#CHECK: wfkhexbs %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x1c,0x4a,0xea] 2176 2177 wfkhexbs %v0, %v0, %v0 2178 wfkhexbs %v0, %v0, %v31 2179 wfkhexbs %v0, %v31, %v0 2180 wfkhexbs %v31, %v0, %v0 2181 wfkhexbs %v18, %v3, %v20 2182 2183#CHECK: wfpsosb %f0, %f0, 3 # encoding: [0xe7,0x00,0x00,0x38,0x20,0xcc] 2184#CHECK: wfpsosb %f0, %f0, 3 # encoding: [0xe7,0x00,0x00,0x38,0x20,0xcc] 2185#CHECK: wfpsosb %f0, %f0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x20,0xcc] 2186#CHECK: wfpsosb %f0, %f15, 3 # encoding: [0xe7,0x0f,0x00,0x38,0x20,0xcc] 2187#CHECK: wfpsosb %f0, %v31, 3 # encoding: [0xe7,0x0f,0x00,0x38,0x24,0xcc] 2188#CHECK: wfpsosb %f15, %f0, 3 # encoding: [0xe7,0xf0,0x00,0x38,0x20,0xcc] 2189#CHECK: wfpsosb %v31, %f0, 3 # encoding: [0xe7,0xf0,0x00,0x38,0x28,0xcc] 2190#CHECK: wfpsosb %f14, %v17, 7 # encoding: [0xe7,0xe1,0x00,0x78,0x24,0xcc] 2191 2192 wfpsosb %v0, %v0, 3 2193 wfpsosb %f0, %f0, 3 2194 wfpsosb %v0, %v0, 15 2195 wfpsosb %v0, %v15, 3 2196 wfpsosb %v0, %v31, 3 2197 wfpsosb %v15, %v0, 3 2198 wfpsosb %v31, %v0, 3 2199 wfpsosb %v14, %v17, 7 2200 2201#CHECK: wfpsoxb %v0, %v0, 3 # encoding: [0xe7,0x00,0x00,0x38,0x40,0xcc] 2202#CHECK: wfpsoxb %v0, %v0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x40,0xcc] 2203#CHECK: wfpsoxb %v0, %v15, 3 # encoding: [0xe7,0x0f,0x00,0x38,0x40,0xcc] 2204#CHECK: wfpsoxb %v0, %v31, 3 # encoding: [0xe7,0x0f,0x00,0x38,0x44,0xcc] 2205#CHECK: wfpsoxb %v15, %v0, 3 # encoding: [0xe7,0xf0,0x00,0x38,0x40,0xcc] 2206#CHECK: wfpsoxb %v31, %v0, 3 # encoding: [0xe7,0xf0,0x00,0x38,0x48,0xcc] 2207#CHECK: wfpsoxb %v14, %v17, 7 # encoding: [0xe7,0xe1,0x00,0x78,0x44,0xcc] 2208 2209 wfpsoxb %v0, %v0, 3 2210 wfpsoxb %v0, %v0, 15 2211 wfpsoxb %v0, %v15, 3 2212 wfpsoxb %v0, %v31, 3 2213 wfpsoxb %v15, %v0, 3 2214 wfpsoxb %v31, %v0, 3 2215 wfpsoxb %v14, %v17, 7 2216 2217#CHECK: wflcsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xcc] 2218#CHECK: wflcsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xcc] 2219#CHECK: wflcsb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x08,0x20,0xcc] 2220#CHECK: wflcsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xcc] 2221#CHECK: wflcsb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x20,0xcc] 2222#CHECK: wflcsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xcc] 2223#CHECK: wflcsb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x24,0xcc] 2224 2225 wflcsb %v0, %v0 2226 wflcsb %f0, %f0 2227 wflcsb %v0, %v15 2228 wflcsb %v0, %v31 2229 wflcsb %v15, %v0 2230 wflcsb %v31, %v0 2231 wflcsb %v14, %v17 2232 2233#CHECK: wflcxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xcc] 2234#CHECK: wflcxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x08,0x40,0xcc] 2235#CHECK: wflcxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xcc] 2236#CHECK: wflcxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x40,0xcc] 2237#CHECK: wflcxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xcc] 2238#CHECK: wflcxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x44,0xcc] 2239 2240 wflcxb %v0, %v0 2241 wflcxb %v0, %v15 2242 wflcxb %v0, %v31 2243 wflcxb %v15, %v0 2244 wflcxb %v31, %v0 2245 wflcxb %v14, %v17 2246 2247#CHECK: wflnsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xcc] 2248#CHECK: wflnsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x20,0xcc] 2249#CHECK: wflnsb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x18,0x20,0xcc] 2250#CHECK: wflnsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x18,0x24,0xcc] 2251#CHECK: wflnsb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x20,0xcc] 2252#CHECK: wflnsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x28,0xcc] 2253#CHECK: wflnsb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x18,0x24,0xcc] 2254 2255 wflnsb %v0, %v0 2256 wflnsb %f0, %f0 2257 wflnsb %v0, %v15 2258 wflnsb %v0, %v31 2259 wflnsb %v15, %v0 2260 wflnsb %v31, %v0 2261 wflnsb %v14, %v17 2262 2263#CHECK: wflnxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x18,0x40,0xcc] 2264#CHECK: wflnxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x18,0x40,0xcc] 2265#CHECK: wflnxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x18,0x44,0xcc] 2266#CHECK: wflnxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x40,0xcc] 2267#CHECK: wflnxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x18,0x48,0xcc] 2268#CHECK: wflnxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x18,0x44,0xcc] 2269 2270 wflnxb %v0, %v0 2271 wflnxb %v0, %v15 2272 wflnxb %v0, %v31 2273 wflnxb %v15, %v0 2274 wflnxb %v31, %v0 2275 wflnxb %v14, %v17 2276 2277#CHECK: wflpsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x28,0x20,0xcc] 2278#CHECK: wflpsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x28,0x20,0xcc] 2279#CHECK: wflpsb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x28,0x20,0xcc] 2280#CHECK: wflpsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x28,0x24,0xcc] 2281#CHECK: wflpsb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x28,0x20,0xcc] 2282#CHECK: wflpsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x28,0x28,0xcc] 2283#CHECK: wflpsb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x28,0x24,0xcc] 2284 2285 wflpsb %v0, %v0 2286 wflpsb %f0, %f0 2287 wflpsb %v0, %v15 2288 wflpsb %v0, %v31 2289 wflpsb %v15, %v0 2290 wflpsb %v31, %v0 2291 wflpsb %v14, %v17 2292 2293#CHECK: wflpxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x28,0x40,0xcc] 2294#CHECK: wflpxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x28,0x40,0xcc] 2295#CHECK: wflpxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x28,0x44,0xcc] 2296#CHECK: wflpxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x28,0x40,0xcc] 2297#CHECK: wflpxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x28,0x48,0xcc] 2298#CHECK: wflpxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x28,0x44,0xcc] 2299 2300 wflpxb %v0, %v0 2301 wflpxb %v0, %v15 2302 wflpxb %v0, %v31 2303 wflpxb %v15, %v0 2304 wflpxb %v31, %v0 2305 wflpxb %v14, %v17 2306 2307#CHECK: wflls %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc4] 2308#CHECK: wflls %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc4] 2309#CHECK: wflls %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x08,0x20,0xc4] 2310#CHECK: wflls %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xc4] 2311#CHECK: wflls %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x20,0xc4] 2312#CHECK: wflls %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xc4] 2313#CHECK: wflls %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x24,0xc4] 2314 2315 wflls %v0, %v0 2316 wflls %f0, %f0 2317 wflls %v0, %v15 2318 wflls %v0, %v31 2319 wflls %v15, %v0 2320 wflls %v31, %v0 2321 wflls %v14, %v17 2322 2323#CHECK: wflld %v0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc4] 2324#CHECK: wflld %v0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc4] 2325#CHECK: wflld %v0, %f15 # encoding: [0xe7,0x0f,0x00,0x08,0x30,0xc4] 2326#CHECK: wflld %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc4] 2327#CHECK: wflld %v15, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x30,0xc4] 2328#CHECK: wflld %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc4] 2329#CHECK: wflld %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x34,0xc4] 2330 2331 wflld %v0, %v0 2332 wflld %v0, %f0 2333 wflld %v0, %v15 2334 wflld %v0, %v31 2335 wflld %v15, %v0 2336 wflld %v31, %v0 2337 wflld %v14, %v17 2338 2339#CHECK: wflrd %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc5] 2340#CHECK: wflrd %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc5] 2341#CHECK: wflrd %f0, %f0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x30,0xc5] 2342#CHECK: wflrd %f0, %f0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc5] 2343#CHECK: wflrd %f0, %f0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc5] 2344#CHECK: wflrd %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xc5] 2345#CHECK: wflrd %v31, %f0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xc5] 2346#CHECK: wflrd %f14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x34,0xc5] 2347 2348 wflrd %v0, %v0, 0, 0 2349 wflrd %f0, %f0, 0, 0 2350 wflrd %v0, %v0, 0, 15 2351 wflrd %v0, %v0, 4, 0 2352 wflrd %v0, %v0, 12, 0 2353 wflrd %v0, %v31, 0, 0 2354 wflrd %v31, %v0, 0, 0 2355 wflrd %v14, %v17, 4, 10 2356 2357#CHECK: wflrx %f0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xc5] 2358#CHECK: wflrx %f0, %v0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xc5] 2359#CHECK: wflrx %f0, %v0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x40,0xc5] 2360#CHECK: wflrx %f0, %v0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x40,0xc5] 2361#CHECK: wflrx %f0, %v0, 7, 0 # encoding: [0xe7,0x00,0x00,0x0f,0x40,0xc5] 2362#CHECK: wflrx %f0, %v31, 0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xc5] 2363#CHECK: wflrx %v31, %v0, 0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xc5] 2364#CHECK: wflrx %f14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x44,0xc5] 2365 2366 wflrx %v0, %v0, 0, 0 2367 wflrx %f0, %v0, 0, 0 2368 wflrx %v0, %v0, 0, 15 2369 wflrx %v0, %v0, 4, 0 2370 wflrx %v0, %v0, 7, 0 2371 wflrx %v0, %v31, 0, 0 2372 wflrx %v31, %v0, 0, 0 2373 wflrx %v14, %v17, 4, 10 2374 2375#CHECK: wfmaxdb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xef] 2376#CHECK: wfmaxdb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xef] 2377#CHECK: wfmaxdb %f0, %f0, %f0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x30,0xef] 2378#CHECK: wfmaxdb %f0, %f0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xef] 2379#CHECK: wfmaxdb %f0, %v31, %f0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xef] 2380#CHECK: wfmaxdb %v31, %f0, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xef] 2381#CHECK: wfmaxdb %v18, %f3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x3a,0xef] 2382 2383 wfmaxdb %v0, %v0, %v0, 0 2384 wfmaxdb %f0, %f0, %f0, 0 2385 wfmaxdb %v0, %v0, %v0, 4 2386 wfmaxdb %v0, %v0, %v31, 0 2387 wfmaxdb %v0, %v31, %v0, 0 2388 wfmaxdb %v31, %v0, %v0, 0 2389 wfmaxdb %v18, %v3, %v20, 11 2390 2391#CHECK: wfmaxsb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xef] 2392#CHECK: wfmaxsb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xef] 2393#CHECK: wfmaxsb %f0, %f0, %f0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x20,0xef] 2394#CHECK: wfmaxsb %f0, %f0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xef] 2395#CHECK: wfmaxsb %f0, %v31, %f0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xef] 2396#CHECK: wfmaxsb %v31, %f0, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xef] 2397#CHECK: wfmaxsb %v18, %f3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x2a,0xef] 2398 2399 wfmaxsb %v0, %v0, %v0, 0 2400 wfmaxsb %f0, %f0, %f0, 0 2401 wfmaxsb %v0, %v0, %v0, 4 2402 wfmaxsb %v0, %v0, %v31, 0 2403 wfmaxsb %v0, %v31, %v0, 0 2404 wfmaxsb %v31, %v0, %v0, 0 2405 wfmaxsb %v18, %v3, %v20, 11 2406 2407#CHECK: wfmaxxb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xef] 2408#CHECK: wfmaxxb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x40,0xef] 2409#CHECK: wfmaxxb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xef] 2410#CHECK: wfmaxxb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xef] 2411#CHECK: wfmaxxb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xef] 2412#CHECK: wfmaxxb %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x4a,0xef] 2413 2414 wfmaxxb %v0, %v0, %v0, 0 2415 wfmaxxb %v0, %v0, %v0, 4 2416 wfmaxxb %v0, %v0, %v31, 0 2417 wfmaxxb %v0, %v31, %v0, 0 2418 wfmaxxb %v31, %v0, %v0, 0 2419 wfmaxxb %v18, %v3, %v20, 11 2420 2421#CHECK: wfmindb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xee] 2422#CHECK: wfmindb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xee] 2423#CHECK: wfmindb %f0, %f0, %f0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x30,0xee] 2424#CHECK: wfmindb %f0, %f0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xee] 2425#CHECK: wfmindb %f0, %v31, %f0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xee] 2426#CHECK: wfmindb %v31, %f0, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xee] 2427#CHECK: wfmindb %v18, %f3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x3a,0xee] 2428 2429 wfmindb %v0, %v0, %v0, 0 2430 wfmindb %f0, %f0, %f0, 0 2431 wfmindb %v0, %v0, %v0, 4 2432 wfmindb %v0, %v0, %v31, 0 2433 wfmindb %v0, %v31, %v0, 0 2434 wfmindb %v31, %v0, %v0, 0 2435 wfmindb %v18, %v3, %v20, 11 2436 2437#CHECK: wfminsb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xee] 2438#CHECK: wfminsb %f0, %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xee] 2439#CHECK: wfminsb %f0, %f0, %f0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x20,0xee] 2440#CHECK: wfminsb %f0, %f0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xee] 2441#CHECK: wfminsb %f0, %v31, %f0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xee] 2442#CHECK: wfminsb %v31, %f0, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xee] 2443#CHECK: wfminsb %v18, %f3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x2a,0xee] 2444 2445 wfminsb %v0, %v0, %v0, 0 2446 wfminsb %f0, %f0, %f0, 0 2447 wfminsb %v0, %v0, %v0, 4 2448 wfminsb %v0, %v0, %v31, 0 2449 wfminsb %v0, %v31, %v0, 0 2450 wfminsb %v31, %v0, %v0, 0 2451 wfminsb %v18, %v3, %v20, 11 2452 2453#CHECK: wfminxb %v0, %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xee] 2454#CHECK: wfminxb %v0, %v0, %v0, 4 # encoding: [0xe7,0x00,0x00,0x48,0x40,0xee] 2455#CHECK: wfminxb %v0, %v0, %v31, 0 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xee] 2456#CHECK: wfminxb %v0, %v31, %v0, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xee] 2457#CHECK: wfminxb %v31, %v0, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xee] 2458#CHECK: wfminxb %v18, %v3, %v20, 11 # encoding: [0xe7,0x23,0x40,0xb8,0x4a,0xee] 2459 2460 wfminxb %v0, %v0, %v0, 0 2461 wfminxb %v0, %v0, %v0, 4 2462 wfminxb %v0, %v0, %v31, 0 2463 wfminxb %v0, %v31, %v0, 0 2464 wfminxb %v31, %v0, %v0, 0 2465 wfminxb %v18, %v3, %v20, 11 2466 2467#CHECK: wfmasb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x8f] 2468#CHECK: wfmasb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x8f] 2469#CHECK: wfmasb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x02,0x08,0xf1,0x8f] 2470#CHECK: wfmasb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf2,0x08,0x02,0x8f] 2471#CHECK: wfmasb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x02,0x08,0x04,0x8f] 2472#CHECK: wfmasb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x02,0x08,0x08,0x8f] 2473#CHECK: wfmasb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x08,0x97,0x8f] 2474 2475 wfmasb %v0, %v0, %v0, %v0 2476 wfmasb %f0, %f0, %f0, %f0 2477 wfmasb %v0, %v0, %v0, %v31 2478 wfmasb %v0, %v0, %v31, %v0 2479 wfmasb %v0, %v31, %v0, %v0 2480 wfmasb %v31, %v0, %v0, %v0 2481 wfmasb %v13, %v17, %v21, %v25 2482 2483#CHECK: wfmaxb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x04,0x08,0x00,0x8f] 2484#CHECK: wfmaxb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x08,0xf1,0x8f] 2485#CHECK: wfmaxb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x08,0x02,0x8f] 2486#CHECK: wfmaxb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x08,0x04,0x8f] 2487#CHECK: wfmaxb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x08,0x08,0x8f] 2488#CHECK: wfmaxb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x54,0x08,0x97,0x8f] 2489 2490 wfmaxb %v0, %v0, %v0, %v0 2491 wfmaxb %v0, %v0, %v0, %v31 2492 wfmaxb %v0, %v0, %v31, %v0 2493 wfmaxb %v0, %v31, %v0, %v0 2494 wfmaxb %v31, %v0, %v0, %v0 2495 wfmaxb %v13, %v17, %v21, %v25 2496 2497#CHECK: wfmsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe7] 2498#CHECK: wfmsb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe7] 2499#CHECK: wfmsb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe7] 2500#CHECK: wfmsb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe7] 2501#CHECK: wfmsb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe7] 2502#CHECK: wfmsb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xe7] 2503 2504 wfmsb %v0, %v0, %v0 2505 wfmsb %f0, %f0, %f0 2506 wfmsb %v0, %v0, %v31 2507 wfmsb %v0, %v31, %v0 2508 wfmsb %v31, %v0, %v0 2509 wfmsb %v18, %v3, %v20 2510 2511#CHECK: wfmxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xe7] 2512#CHECK: wfmxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe7] 2513#CHECK: wfmxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe7] 2514#CHECK: wfmxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe7] 2515#CHECK: wfmxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xe7] 2516 2517 wfmxb %v0, %v0, %v0 2518 wfmxb %v0, %v0, %v31 2519 wfmxb %v0, %v31, %v0 2520 wfmxb %v31, %v0, %v0 2521 wfmxb %v18, %v3, %v20 2522 2523#CHECK: wfmssb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x8e] 2524#CHECK: wfmssb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x8e] 2525#CHECK: wfmssb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x02,0x08,0xf1,0x8e] 2526#CHECK: wfmssb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf2,0x08,0x02,0x8e] 2527#CHECK: wfmssb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x02,0x08,0x04,0x8e] 2528#CHECK: wfmssb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x02,0x08,0x08,0x8e] 2529#CHECK: wfmssb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x08,0x97,0x8e] 2530 2531 wfmssb %v0, %v0, %v0, %v0 2532 wfmssb %f0, %f0, %f0, %f0 2533 wfmssb %v0, %v0, %v0, %v31 2534 wfmssb %v0, %v0, %v31, %v0 2535 wfmssb %v0, %v31, %v0, %v0 2536 wfmssb %v31, %v0, %v0, %v0 2537 wfmssb %v13, %v17, %v21, %v25 2538 2539#CHECK: wfmsxb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x04,0x08,0x00,0x8e] 2540#CHECK: wfmsxb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x08,0xf1,0x8e] 2541#CHECK: wfmsxb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x08,0x02,0x8e] 2542#CHECK: wfmsxb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x08,0x04,0x8e] 2543#CHECK: wfmsxb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x08,0x08,0x8e] 2544#CHECK: wfmsxb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x54,0x08,0x97,0x8e] 2545 2546 wfmsxb %v0, %v0, %v0, %v0 2547 wfmsxb %v0, %v0, %v0, %v31 2548 wfmsxb %v0, %v0, %v31, %v0 2549 wfmsxb %v0, %v31, %v0, %v0 2550 wfmsxb %v31, %v0, %v0, %v0 2551 wfmsxb %v13, %v17, %v21, %v25 2552 2553#CHECK: wfnmadb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x03,0x08,0x00,0x9f] 2554#CHECK: wfnmadb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x03,0x08,0x00,0x9f] 2555#CHECK: wfnmadb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x03,0x08,0xf1,0x9f] 2556#CHECK: wfnmadb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf3,0x08,0x02,0x9f] 2557#CHECK: wfnmadb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x03,0x08,0x04,0x9f] 2558#CHECK: wfnmadb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x03,0x08,0x08,0x9f] 2559#CHECK: wfnmadb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x53,0x08,0x97,0x9f] 2560 2561 wfnmadb %v0, %v0, %v0, %v0 2562 wfnmadb %f0, %f0, %f0, %f0 2563 wfnmadb %v0, %v0, %v0, %v31 2564 wfnmadb %v0, %v0, %v31, %v0 2565 wfnmadb %v0, %v31, %v0, %v0 2566 wfnmadb %v31, %v0, %v0, %v0 2567 wfnmadb %v13, %v17, %v21, %v25 2568 2569#CHECK: wfnmasb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x9f] 2570#CHECK: wfnmasb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x9f] 2571#CHECK: wfnmasb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x02,0x08,0xf1,0x9f] 2572#CHECK: wfnmasb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf2,0x08,0x02,0x9f] 2573#CHECK: wfnmasb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x02,0x08,0x04,0x9f] 2574#CHECK: wfnmasb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x02,0x08,0x08,0x9f] 2575#CHECK: wfnmasb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x08,0x97,0x9f] 2576 2577 wfnmasb %v0, %v0, %v0, %v0 2578 wfnmasb %f0, %f0, %f0, %f0 2579 wfnmasb %v0, %v0, %v0, %v31 2580 wfnmasb %v0, %v0, %v31, %v0 2581 wfnmasb %v0, %v31, %v0, %v0 2582 wfnmasb %v31, %v0, %v0, %v0 2583 wfnmasb %v13, %v17, %v21, %v25 2584 2585#CHECK: wfnmaxb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x04,0x08,0x00,0x9f] 2586#CHECK: wfnmaxb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x08,0xf1,0x9f] 2587#CHECK: wfnmaxb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x08,0x02,0x9f] 2588#CHECK: wfnmaxb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x08,0x04,0x9f] 2589#CHECK: wfnmaxb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x08,0x08,0x9f] 2590#CHECK: wfnmaxb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x54,0x08,0x97,0x9f] 2591 2592 wfnmaxb %v0, %v0, %v0, %v0 2593 wfnmaxb %v0, %v0, %v0, %v31 2594 wfnmaxb %v0, %v0, %v31, %v0 2595 wfnmaxb %v0, %v31, %v0, %v0 2596 wfnmaxb %v31, %v0, %v0, %v0 2597 wfnmaxb %v13, %v17, %v21, %v25 2598 2599#CHECK: wfnmsdb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x03,0x08,0x00,0x9e] 2600#CHECK: wfnmsdb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x03,0x08,0x00,0x9e] 2601#CHECK: wfnmsdb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x03,0x08,0xf1,0x9e] 2602#CHECK: wfnmsdb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf3,0x08,0x02,0x9e] 2603#CHECK: wfnmsdb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x03,0x08,0x04,0x9e] 2604#CHECK: wfnmsdb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x03,0x08,0x08,0x9e] 2605#CHECK: wfnmsdb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x53,0x08,0x97,0x9e] 2606 2607 wfnmsdb %v0, %v0, %v0, %v0 2608 wfnmsdb %f0, %f0, %f0, %f0 2609 wfnmsdb %v0, %v0, %v0, %v31 2610 wfnmsdb %v0, %v0, %v31, %v0 2611 wfnmsdb %v0, %v31, %v0, %v0 2612 wfnmsdb %v31, %v0, %v0, %v0 2613 wfnmsdb %v13, %v17, %v21, %v25 2614 2615#CHECK: wfnmssb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x9e] 2616#CHECK: wfnmssb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x02,0x08,0x00,0x9e] 2617#CHECK: wfnmssb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x02,0x08,0xf1,0x9e] 2618#CHECK: wfnmssb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf2,0x08,0x02,0x9e] 2619#CHECK: wfnmssb %f0, %v31, %f0, %f0 # encoding: [0xe7,0x0f,0x02,0x08,0x04,0x9e] 2620#CHECK: wfnmssb %v31, %f0, %f0, %f0 # encoding: [0xe7,0xf0,0x02,0x08,0x08,0x9e] 2621#CHECK: wfnmssb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x52,0x08,0x97,0x9e] 2622 2623 wfnmssb %v0, %v0, %v0, %v0 2624 wfnmssb %f0, %f0, %f0, %f0 2625 wfnmssb %v0, %v0, %v0, %v31 2626 wfnmssb %v0, %v0, %v31, %v0 2627 wfnmssb %v0, %v31, %v0, %v0 2628 wfnmssb %v31, %v0, %v0, %v0 2629 wfnmssb %v13, %v17, %v21, %v25 2630 2631#CHECK: wfnmsxb %v0, %v0, %v0, %v0 # encoding: [0xe7,0x00,0x04,0x08,0x00,0x9e] 2632#CHECK: wfnmsxb %v0, %v0, %v0, %v31 # encoding: [0xe7,0x00,0x04,0x08,0xf1,0x9e] 2633#CHECK: wfnmsxb %v0, %v0, %v31, %v0 # encoding: [0xe7,0x00,0xf4,0x08,0x02,0x9e] 2634#CHECK: wfnmsxb %v0, %v31, %v0, %v0 # encoding: [0xe7,0x0f,0x04,0x08,0x04,0x9e] 2635#CHECK: wfnmsxb %v31, %v0, %v0, %v0 # encoding: [0xe7,0xf0,0x04,0x08,0x08,0x9e] 2636#CHECK: wfnmsxb %v13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x54,0x08,0x97,0x9e] 2637 2638 wfnmsxb %v0, %v0, %v0, %v0 2639 wfnmsxb %v0, %v0, %v0, %v31 2640 wfnmsxb %v0, %v0, %v31, %v0 2641 wfnmsxb %v0, %v31, %v0, %v0 2642 wfnmsxb %v31, %v0, %v0, %v0 2643 wfnmsxb %v13, %v17, %v21, %v25 2644 2645#CHECK: wfssb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe2] 2646#CHECK: wfssb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xe2] 2647#CHECK: wfssb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x22,0xe2] 2648#CHECK: wfssb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xe2] 2649#CHECK: wfssb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xe2] 2650#CHECK: wfssb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x2a,0xe2] 2651 2652 wfssb %v0, %v0, %v0 2653 wfssb %f0, %f0, %f0 2654 wfssb %v0, %v0, %v31 2655 wfssb %v0, %v31, %v0 2656 wfssb %v31, %v0, %v0 2657 wfssb %v18, %v3, %v20 2658 2659#CHECK: wfsxb %v0, %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xe2] 2660#CHECK: wfsxb %v0, %v0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x42,0xe2] 2661#CHECK: wfsxb %v0, %v31, %v0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xe2] 2662#CHECK: wfsxb %v31, %v0, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xe2] 2663#CHECK: wfsxb %v18, %v3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x4a,0xe2] 2664 2665 wfsxb %v0, %v0, %v0 2666 wfsxb %v0, %v0, %v31 2667 wfsxb %v0, %v31, %v0 2668 wfsxb %v31, %v0, %v0 2669 wfsxb %v18, %v3, %v20 2670 2671#CHECK: wfsqsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xce] 2672#CHECK: wfsqsb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xce] 2673#CHECK: wfsqsb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x08,0x20,0xce] 2674#CHECK: wfsqsb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xce] 2675#CHECK: wfsqsb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x20,0xce] 2676#CHECK: wfsqsb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0xce] 2677#CHECK: wfsqsb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x24,0xce] 2678 2679 wfsqsb %v0, %v0 2680 wfsqsb %f0, %f0 2681 wfsqsb %v0, %v15 2682 wfsqsb %v0, %v31 2683 wfsqsb %v15, %v0 2684 wfsqsb %v31, %v0 2685 wfsqsb %v14, %v17 2686 2687#CHECK: wfsqxb %v0, %v0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0xce] 2688#CHECK: wfsqxb %v0, %v15 # encoding: [0xe7,0x0f,0x00,0x08,0x40,0xce] 2689#CHECK: wfsqxb %v0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0xce] 2690#CHECK: wfsqxb %v15, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x40,0xce] 2691#CHECK: wfsqxb %v31, %v0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0xce] 2692#CHECK: wfsqxb %v14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x44,0xce] 2693 2694 wfsqxb %v0, %v0 2695 wfsqxb %v0, %v15 2696 wfsqxb %v0, %v31 2697 wfsqxb %v15, %v0 2698 wfsqxb %v31, %v0 2699 wfsqxb %v14, %v17 2700 2701#CHECK: wftcisb %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0x4a] 2702#CHECK: wftcisb %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0x4a] 2703#CHECK: wftcisb %f0, %f0, 4095 # encoding: [0xe7,0x00,0xff,0xf8,0x20,0x4a] 2704#CHECK: wftcisb %f0, %f15, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x20,0x4a] 2705#CHECK: wftcisb %f0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0x4a] 2706#CHECK: wftcisb %f15, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x20,0x4a] 2707#CHECK: wftcisb %v31, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x28,0x4a] 2708#CHECK: wftcisb %f4, %v21, 1656 # encoding: [0xe7,0x45,0x67,0x88,0x24,0x4a] 2709 2710 wftcisb %v0, %v0, 0 2711 wftcisb %f0, %f0, 0 2712 wftcisb %v0, %v0, 4095 2713 wftcisb %v0, %v15, 0 2714 wftcisb %v0, %v31, 0 2715 wftcisb %v15, %v0, 0 2716 wftcisb %v31, %v0, 0 2717 wftcisb %v4, %v21, 0x678 2718 2719#CHECK: wftcixb %v0, %v0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x40,0x4a] 2720#CHECK: wftcixb %v0, %v0, 4095 # encoding: [0xe7,0x00,0xff,0xf8,0x40,0x4a] 2721#CHECK: wftcixb %v0, %v15, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x40,0x4a] 2722#CHECK: wftcixb %v0, %v31, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x44,0x4a] 2723#CHECK: wftcixb %v15, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x40,0x4a] 2724#CHECK: wftcixb %v31, %v0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x48,0x4a] 2725#CHECK: wftcixb %v4, %v21, 1656 # encoding: [0xe7,0x45,0x67,0x88,0x44,0x4a] 2726 2727 wftcixb %v0, %v0, 0 2728 wftcixb %v0, %v0, 4095 2729 wftcixb %v0, %v15, 0 2730 wftcixb %v0, %v31, 0 2731 wftcixb %v15, %v0, 0 2732 wftcixb %v31, %v0, 0 2733 wftcixb %v4, %v21, 0x678 2734 2735#CHECK: tpei %r0, %r15 # encoding: [0xb9,0xa1,0x00,0x0f] 2736#CHECK: tpei %r15, %r0 # encoding: [0xb9,0xa1,0x00,0xf0] 2737#CHECK: tpei %r4, %r10 # encoding: [0xb9,0xa1,0x00,0x4a] 2738 tpei %r0, %r15 2739 tpei %r15, %r0 2740 tpei %r4, %r10 2741