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