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