1# RUN: llvm-mc --disassemble %s -triple powerpc64-unknown-linux-gnu -mcpu=pwr7 | FileCheck %s 2 3# CHECK: lxsdx 7, 5, 31 40x7c 0xe5 0xfc 0x98 5 6# CHECK: lxsiwax 7, 5, 31 70x7c 0xe5 0xf8 0x98 8 9# CHECK: lxsiwzx 7, 5, 31 100x7c 0xe5 0xf8 0x18 11 12# CHECK: lxsspx 7, 5, 31 130x7c 0xe5 0xfc 0x18 14 15# CHECK: lxvd2x 7, 5, 31 160x7c 0xe5 0xfe 0x98 17 18# CHECK: lxvdsx 7, 5, 31 190x7c 0xe5 0xfa 0x98 20 21# CHECK: lxvw4x 7, 5, 31 220x7c 0xe5 0xfe 0x18 23 24# CHECK: stxsdx 8, 5, 31 250x7d 0x05 0xfd 0x98 26 27# CHECK: stxsiwx 8, 5, 31 280x7d 0x05 0xf9 0x18 29 30# CHECK: stxsspx 8, 5, 31 310x7d 0x05 0xfd 0x18 32 33# CHECK: stxvd2x 8, 5, 31 340x7d 0x05 0xff 0x98 35 36# CHECK: stxvw4x 8, 5, 31 370x7d 0x05 0xff 0x18 38 39# CHECK: xsabsdp 7, 27 400xf0 0xe0 0xdd 0x64 41 42# CHECK: xsaddsp 7, 63, 27 430xf0 0xff 0xd8 0x04 44 45# CHECK: xsadddp 7, 63, 27 460xf0 0xff 0xd9 0x04 47 48# CHECK: xscmpodp 6, 63, 27 490xf3 0x1f 0xd9 0x5c 50 51# CHECK: xscmpudp 6, 63, 27 520xf3 0x1f 0xd9 0x1c 53 54# CHECK: xscpsgndp 7, 63, 27 550xf0 0xff 0xdd 0x84 56 57# CHECK: xscvdpsp 7, 27 580xf0 0xe0 0xdc 0x24 59 60# CHECK: xscvdpspn 7, 27 610xf0 0xe0 0xdc 0x2c 62 63# CHECK: xscvdpsxds 7, 27 640xf0 0xe0 0xdd 0x60 65 66# CHECK: xscvdpsxws 7, 27 670xf0 0xe0 0xd9 0x60 68 69# CHECK: xscvdpuxds 7, 27 700xf0 0xe0 0xdd 0x20 71 72# CHECK: xscvdpuxws 7, 27 730xf0 0xe0 0xd9 0x20 74 75# CHECK: xscvspdp 7, 27 760xf0 0xe0 0xdd 0x24 77 78# CHECK: xscvspdpn 7, 27 790xf0 0xe0 0xdd 0x2c 80 81# CHECK: xscvsxdsp 7, 27 820xf0 0xe0 0xdc 0xe0 83 84# CHECK: xscvsxddp 7, 27 850xf0 0xe0 0xdd 0xe0 86 87# CHECK: xscvuxdsp 7, 27 880xf0 0xe0 0xdc 0xa0 89 90# CHECK: xscvuxddp 7, 27 910xf0 0xe0 0xdd 0xa0 92 93# CHECK: xsdivsp 7, 63, 27 940xf0 0xff 0xd8 0xc4 95 96# CHECK: xsdivdp 7, 63, 27 970xf0 0xff 0xd9 0xc4 98 99# CHECK: xsmaddadp 7, 63, 27 1000xf0 0xff 0xd9 0x0c 101 102# CHECK: xsmaddmdp 7, 63, 27 1030xf0 0xff 0xd9 0x4c 104 105# CHECK: xsmaddasp 7, 63, 27 1060xf0 0xff 0xd8 0x0c 107 108# CHECK: xsmaddmsp 7, 63, 27 1090xf0 0xff 0xd8 0x4c 110 111# CHECK: xsmaxdp 7, 63, 27 1120xf0 0xff 0xdd 0x04 113 114# CHECK: xsmindp 7, 63, 27 1150xf0 0xff 0xdd 0x44 116 117# CHECK: xsmsubadp 7, 63, 27 1180xf0 0xff 0xd9 0x8c 119 120# CHECK: xsmsubmdp 7, 63, 27 1210xf0 0xff 0xd9 0xcc 122 123# CHECK: xsmsubasp 7, 63, 27 1240xf0 0xff 0xd8 0x8c 125 126# CHECK: xsmsubmsp 7, 63, 27 1270xf0 0xff 0xd8 0xcc 128 129# CHECK: xsmulsp 7, 63, 27 1300xf0 0xff 0xd8 0x84 131 132# CHECK: xsmuldp 7, 63, 27 1330xf0 0xff 0xd9 0x84 134 135# CHECK: xsnabsdp 7, 27 1360xf0 0xe0 0xdd 0xa4 137 138# CHECK: xsnegdp 7, 27 1390xf0 0xe0 0xdd 0xe4 140 141# CHECK: xsnmaddadp 7, 63, 27 1420xf0 0xff 0xdd 0x0c 143 144# CHECK: xsnmaddmdp 7, 63, 27 1450xf0 0xff 0xdd 0x4c 146 147# CHECK: xsnmsubadp 7, 63, 27 1480xf0 0xff 0xdd 0x8c 149 150# CHECK: xsnmsubmdp 7, 63, 27 1510xf0 0xff 0xdd 0xcc 152 153# CHECK: xsnmaddasp 7, 63, 27 1540xf0 0xff 0xdc 0x0c 155 156# CHECK: xsnmaddmsp 7, 63, 27 1570xf0 0xff 0xdc 0x4c 158 159# CHECK: xsnmsubasp 7, 63, 27 1600xf0 0xff 0xdc 0x8c 161 162# CHECK: xsnmsubmsp 7, 63, 27 1630xf0 0xff 0xdc 0xcc 164 165# CHECK: xsrdpi 7, 27 1660xf0 0xe0 0xd9 0x24 167 168# CHECK: xsrdpic 7, 27 1690xf0 0xe0 0xd9 0xac 170 171# CHECK: xsrdpim 7, 27 1720xf0 0xe0 0xd9 0xe4 173 174# CHECK: xsrdpip 7, 27 1750xf0 0xe0 0xd9 0xa4 176 177# CHECK: xsrdpiz 7, 27 1780xf0 0xe0 0xd9 0x64 179 180# CHECK: xsresp 7, 27 1810xf0 0xe0 0xd8 0x68 182 183# CHECK: xsredp 7, 27 1840xf0 0xe0 0xd9 0x68 185 186# CHECK: xsrsqrtesp 7, 27 1870xf0 0xe0 0xd8 0x28 188 189# CHECK: xsrsqrtedp 7, 27 1900xf0 0xe0 0xd9 0x28 191 192# CHECK: xssqrtsp 7, 27 1930xf0 0xe0 0xd8 0x2c 194 195# CHECK: xssqrtdp 7, 27 1960xf0 0xe0 0xd9 0x2c 197 198# CHECK: xssubsp 7, 63, 27 1990xf0 0xff 0xd8 0x44 200 201# CHECK: xssubdp 7, 63, 27 2020xf0 0xff 0xd9 0x44 203 204# CHECK: xstdivdp 6, 63, 27 2050xf3 0x1f 0xd9 0xec 206 207# CHECK: xstsqrtdp 6, 27 2080xf3 0x00 0xd9 0xa8 209 210# CHECK: xvabsdp 7, 27 2110xf0 0xe0 0xdf 0x64 212 213# CHECK: xvabssp 7, 27 2140xf0 0xe0 0xde 0x64 215 216# CHECK: xvadddp 7, 63, 27 2170xf0 0xff 0xdb 0x04 218 219# CHECK: xvaddsp 7, 63, 27 2200xf0 0xff 0xda 0x04 221 222# CHECK: xvcmpeqdp 7, 63, 27 2230xf0 0xff 0xdb 0x1c 224 225# CHECK: xvcmpeqdp. 7, 63, 27 2260xf0 0xff 0xdf 0x1c 227 228# CHECK: xvcmpeqsp 7, 63, 27 2290xf0 0xff 0xda 0x1c 230 231# CHECK: xvcmpeqsp. 7, 63, 27 2320xf0 0xff 0xde 0x1c 233 234# CHECK: xvcmpgedp 7, 63, 27 2350xf0 0xff 0xdb 0x9c 236 237# CHECK: xvcmpgedp. 7, 63, 27 2380xf0 0xff 0xdf 0x9c 239 240# CHECK: xvcmpgesp 7, 63, 27 2410xf0 0xff 0xda 0x9c 242 243# CHECK: xvcmpgesp. 7, 63, 27 2440xf0 0xff 0xde 0x9c 245 246# CHECK: xvcmpgtdp 7, 63, 27 2470xf0 0xff 0xdb 0x5c 248 249# CHECK: xvcmpgtdp. 7, 63, 27 2500xf0 0xff 0xdf 0x5c 251 252# CHECK: xvcmpgtsp 7, 63, 27 2530xf0 0xff 0xda 0x5c 254 255# CHECK: xvcmpgtsp. 7, 63, 27 2560xf0 0xff 0xde 0x5c 257 258# CHECK: xvcpsgndp 7, 63, 27 2590xf0 0xff 0xdf 0x84 260 261# CHECK: xvcpsgnsp 7, 63, 27 2620xf0 0xff 0xde 0x84 263 264# CHECK: xvcvdpsp 7, 27 2650xf0 0xe0 0xde 0x24 266 267# CHECK: xvcvdpsxds 7, 27 2680xf0 0xe0 0xdf 0x60 269 270# CHECK: xvcvdpsxws 7, 27 2710xf0 0xe0 0xdb 0x60 272 273# CHECK: xvcvdpuxds 7, 27 2740xf0 0xe0 0xdf 0x20 275 276# CHECK: xvcvdpuxws 7, 27 2770xf0 0xe0 0xdb 0x20 278 279# CHECK: xvcvspdp 7, 27 2800xf0 0xe0 0xdf 0x24 281 282# CHECK: xvcvspsxds 7, 27 2830xf0 0xe0 0xde 0x60 284 285# CHECK: xvcvspsxws 7, 27 2860xf0 0xe0 0xda 0x60 287 288# CHECK: xvcvspuxds 7, 27 2890xf0 0xe0 0xde 0x20 290 291# CHECK: xvcvspuxws 7, 27 2920xf0 0xe0 0xda 0x20 293 294# CHECK: xvcvsxddp 7, 27 2950xf0 0xe0 0xdf 0xe0 296 297# CHECK: xvcvsxdsp 7, 27 2980xf0 0xe0 0xde 0xe0 299 300# CHECK: xvcvsxwdp 7, 27 3010xf0 0xe0 0xdb 0xe0 302 303# CHECK: xvcvsxwsp 7, 27 3040xf0 0xe0 0xda 0xe0 305 306# CHECK: xvcvuxddp 7, 27 3070xf0 0xe0 0xdf 0xa0 308 309# CHECK: xvcvuxdsp 7, 27 3100xf0 0xe0 0xde 0xa0 311 312# CHECK: xvcvuxwdp 7, 27 3130xf0 0xe0 0xdb 0xa0 314 315# CHECK: xvcvuxwsp 7, 27 3160xf0 0xe0 0xda 0xa0 317 318# CHECK: xvdivdp 7, 63, 27 3190xf0 0xff 0xdb 0xc4 320 321# CHECK: xvdivsp 7, 63, 27 3220xf0 0xff 0xda 0xc4 323 324# CHECK: xvmaddadp 7, 63, 27 3250xf0 0xff 0xdb 0x0c 326 327# CHECK: xvmaddasp 7, 63, 27 3280xf0 0xff 0xda 0x0c 329 330# CHECK: xvmaddmdp 7, 63, 27 3310xf0 0xff 0xdb 0x4c 332 333# CHECK: xvmaddmsp 7, 63, 27 3340xf0 0xff 0xda 0x4c 335 336# CHECK: xvmaxdp 7, 63, 27 3370xf0 0xff 0xdf 0x04 338 339# CHECK: xvmaxsp 7, 63, 27 3400xf0 0xff 0xde 0x04 341 342# CHECK: xvmindp 7, 63, 27 3430xf0 0xff 0xdf 0x44 344 345# CHECK: xvminsp 7, 63, 27 3460xf0 0xff 0xde 0x44 347 348# CHECK: xvmovdp 7, 63 3490xf0 0xff 0xff 0x86 350 351# CHECK: xvmovsp 7, 63 3520xf0 0xff 0xfe 0x86 353 354# CHECK: xvmsubadp 7, 63, 27 3550xf0 0xff 0xdb 0x8c 356 357# CHECK: xvmsubasp 7, 63, 27 3580xf0 0xff 0xda 0x8c 359 360# CHECK: xvmsubmdp 7, 63, 27 3610xf0 0xff 0xdb 0xcc 362 363# CHECK: xvmsubmsp 7, 63, 27 3640xf0 0xff 0xda 0xcc 365 366# CHECK: xvmuldp 7, 63, 27 3670xf0 0xff 0xdb 0x84 368 369# CHECK: xvmulsp 7, 63, 27 3700xf0 0xff 0xda 0x84 371 372# CHECK: xvnabsdp 7, 27 3730xf0 0xe0 0xdf 0xa4 374 375# CHECK: xvnabssp 7, 27 3760xf0 0xe0 0xde 0xa4 377 378# CHECK: xvnegdp 7, 27 3790xf0 0xe0 0xdf 0xe4 380 381# CHECK: xvnegsp 7, 27 3820xf0 0xe0 0xde 0xe4 383 384# CHECK: xvnmaddadp 7, 63, 27 3850xf0 0xff 0xdf 0x0c 386 387# CHECK: xvnmaddasp 7, 63, 27 3880xf0 0xff 0xde 0x0c 389 390# CHECK: xvnmaddmdp 7, 63, 27 3910xf0 0xff 0xdf 0x4c 392 393# CHECK: xvnmaddmsp 7, 63, 27 3940xf0 0xff 0xde 0x4c 395 396# CHECK: xvnmsubadp 7, 63, 27 3970xf0 0xff 0xdf 0x8c 398 399# CHECK: xvnmsubasp 7, 63, 27 4000xf0 0xff 0xde 0x8c 401 402# CHECK: xvnmsubmdp 7, 63, 27 4030xf0 0xff 0xdf 0xcc 404 405# CHECK: xvnmsubmsp 7, 63, 27 4060xf0 0xff 0xde 0xcc 407 408# CHECK: xvrdpi 7, 27 4090xf0 0xe0 0xdb 0x24 410 411# CHECK: xvrdpic 7, 27 4120xf0 0xe0 0xdb 0xac 413 414# CHECK: xvrdpim 7, 27 4150xf0 0xe0 0xdb 0xe4 416 417# CHECK: xvrdpip 7, 27 4180xf0 0xe0 0xdb 0xa4 419 420# CHECK: xvrdpiz 7, 27 4210xf0 0xe0 0xdb 0x64 422 423# CHECK: xvredp 7, 27 4240xf0 0xe0 0xdb 0x68 425 426# CHECK: xvresp 7, 27 4270xf0 0xe0 0xda 0x68 428 429# CHECK: xvrspi 7, 27 4300xf0 0xe0 0xda 0x24 431 432# CHECK: xvrspic 7, 27 4330xf0 0xe0 0xda 0xac 434 435# CHECK: xvrspim 7, 27 4360xf0 0xe0 0xda 0xe4 437 438# CHECK: xvrspip 7, 27 4390xf0 0xe0 0xda 0xa4 440 441# CHECK: xvrspiz 7, 27 4420xf0 0xe0 0xda 0x64 443 444# CHECK: xvrsqrtedp 7, 27 4450xf0 0xe0 0xdb 0x28 446 447# CHECK: xvrsqrtesp 7, 27 4480xf0 0xe0 0xda 0x28 449 450# CHECK: xvsqrtdp 7, 27 4510xf0 0xe0 0xdb 0x2c 452 453# CHECK: xvsqrtsp 7, 27 4540xf0 0xe0 0xda 0x2c 455 456# CHECK: xvsubdp 7, 63, 27 4570xf0 0xff 0xdb 0x44 458 459# CHECK: xvsubsp 7, 63, 27 4600xf0 0xff 0xda 0x44 461 462# CHECK: xvtdivdp 6, 63, 27 4630xf3 0x1f 0xdb 0xec 464 465# CHECK: xvtdivsp 6, 63, 27 4660xf3 0x1f 0xda 0xec 467 468# CHECK: xvtsqrtdp 6, 27 4690xf3 0x00 0xdb 0xa8 470 471# CHECK: xvtsqrtsp 6, 27 4720xf3 0x00 0xda 0xa8 473 474# CHECK: xxland 7, 63, 27 4750xf0 0xff 0xdc 0x14 476 477# CHECK: xxleqv 7, 63, 27 4780xf0 0xff 0xdd 0xd4 479 480# CHECK: xxlnand 7, 63, 27 4810xf0 0xff 0xdd 0x94 482 483# CHECK: xxlorc 7, 63, 27 4840xf0 0xff 0xdd 0x54 485 486# CHECK: xxlandc 7, 63, 27 4870xf0 0xff 0xdc 0x54 488 489# CHECK: xxlnor 7, 63, 27 4900xf0 0xff 0xdd 0x14 491 492# CHECK: xxlor 7, 63, 27 4930xf0 0xff 0xdc 0x94 494 495# CHECK: xxlxor 7, 63, 27 4960xf0 0xff 0xdc 0xd4 497 498# CHECK: xxmrghd 7, 63, 27 4990xf0 0xff 0xd8 0x54 500 501# CHECK: xxmrghw 7, 63, 27 5020xf0 0xff 0xd8 0x94 503 504# CHECK: xxmrgld 7, 63, 27 5050xf0 0xff 0xdb 0x54 506 507# CHECK: xxmrglw 7, 63, 27 5080xf0 0xff 0xd9 0x94 509 510# CHECK: xxpermdi 7, 63, 27, 2 5110xf0 0xff 0xda 0x54 512 513# CHECK: xxsel 7, 63, 27, 14 5140xf0 0xff 0xdb 0xb4 515 516# CHECK: xxsldwi 7, 63, 27, 1 5170xf0 0xff 0xd9 0x14 518 519# CHECK: xxspltd 7, 63, 1 5200xf0 0xff 0xfb 0x56 521 522# CHECK: xxspltw 7, 27, 3 5230xf0 0xe3 0xda 0x90 524 525# CHECK: xxswapd 7, 63 5260xf0 0xff 0xfa 0x56 527 528# CHECK: mfvsrd 3, 40 5290x7d 0x03 0x00 0x67 530 531# CHECK: mffprd 3, 0 5320x7c 0x03 0x00 0x66 533 534# CHECK: mfvsrwz 5, 40 5350x7d 0x05 0x00 0xe7 536 537# CHECK: mffprwz 5, 0 5380x7c 0x05 0x00 0xe6 539 540# CHECK: mtvsrd 40, 3 5410x7d 0x03 0x01 0x67 542 543# CHECK: mtfprd 0, 3 5440x7c 0x03 0x01 0x66 545 546# CHECK: mtvsrwa 40, 3 5470x7d 0x03 0x01 0xa7 548 549# CHECK: mtfprwa 0, 3 5500x7c 0x03 0x01 0xa6 551 552# CHECK: mtvsrwz 40, 3 5530x7d 0x03 0x01 0xe7 554 555# CHECK: mtfprwz 0, 3 5560x7c 0x03 0x01 0xe6 557 558# Power9 Instructions: 559 560# CHECK: xscpsgnqp 7, 31, 27 5610xfc 0xff 0xd8 0xc8 562 563# CHECK: xsabsqp 7, 27 5640xfc 0xe0 0xde 0x48 565 566# CHECK: xsnegqp 7, 27 5670xfc 0xf0 0xde 0x48 568 569# CHECK: xsnabsqp 7, 27 5700xfc 0xe8 0xde 0x48 571 572# CHECK: xsaddqp 7, 31, 27 5730xfc 0xff 0xd8 0x08 574 575# CHECK: xsaddqpo 7, 31, 27 5760xfc 0xff 0xd8 0x09 577 578# CHECK: xsdivqp 7, 31, 27 5790xfc 0xff 0xdc 0x48 580 581# CHECK: xsdivqpo 7, 31, 27 5820xfc 0xff 0xdc 0x49 583 584# CHECK: xsmulqp 7, 31, 27 5850xfc 0xff 0xd8 0x48 586 587# CHECK: xsmulqpo 7, 31, 27 5880xfc 0xff 0xd8 0x49 589 590# CHECK: xssqrtqp 7, 31 5910xfc 0xfb 0xfe 0x48 592 593# CHECK: xssqrtqpo 7, 31 5940xfc 0xfb 0xfe 0x49 595 596# CHECK: xssubqp 7, 31, 27 5970xfc 0xff 0xdc 0x08 598 599# CHECK: xssubqpo 7, 31, 27 6000xfc 0xff 0xdc 0x09 601 602# CHECK: xsmaddqp 7, 31, 27 6030xfc 0xff 0xdb 0x08 604 605# CHECK: xsmaddqpo 7, 31, 27 6060xfc 0xff 0xdb 0x09 607 608# CHECK: xsmsubqp 7, 31, 27 6090xfc 0xff 0xdb 0x48 610 611# CHECK: xsmsubqpo 7, 31, 27 6120xfc 0xff 0xdb 0x49 613 614# CHECK: xsnmaddqp 7, 31, 27 6150xfc 0xff 0xdb 0x88 616 617# CHECK: xsnmaddqpo 7, 31, 27 6180xfc 0xff 0xdb 0x89 619 620# CHECK: xsnmsubqp 7, 31, 27 6210xfc 0xff 0xdb 0xc8 622 623# CHECK: xsnmsubqpo 7, 31, 27 6240xfc 0xff 0xdb 0xc9 625 626# CHECK: xscmpoqp 6, 31, 27 6270xff 0x1f 0xd9 0x08 628 629# CHECK: xscmpuqp 6, 31, 27 6300xff 0x1f 0xdd 0x08 631 632# CHECK: xscmpexpdp 6, 63, 27 6330xf3 0x1f 0xd9 0xdc 634 635# CHECK: xscmpexpqp 6, 31, 27 6360xff 0x1f 0xd9 0x48 637 638# CHECK: xscmpeqdp 7, 63, 27 6390xf0 0xff 0xd8 0x1c 640 641# CHECK: xscmpgedp 7, 63, 27 6420xf0 0xff 0xd8 0x9c 643 644# CHECK: xscmpgtdp 7, 63, 27 6450xf0 0xff 0xd8 0x5c 646 647# CHECK: xscvdpqp 7, 27 6480xfc 0xf6 0xde 0x88 649 650# CHECK: xscvqpdp 7, 27 6510xfc 0xf4 0xde 0x88 652 653# CHECK: xscvqpdpo 7, 27 6540xfc 0xf4 0xde 0x89 655 656# CHECK: xscvqpsdz 7, 27 6570xfc 0xf9 0xde 0x88 658 659# CHECK: xscvqpswz 7, 27 6600xfc 0xe9 0xde 0x88 661 662# CHECK: xscvqpudz 7, 27 6630xfc 0xf1 0xde 0x88 664 665# CHECK: xscvqpuwz 7, 27 6660xfc 0xe1 0xde 0x88 667 668# CHECK: xscvsdqp 7, 27 6690xfc 0xea 0xde 0x88 670 671# CHECK: xscvudqp 7, 27 6720xfc 0xe2 0xde 0x88 673 674# CHECK: xscvdphp 7, 63 6750xf0 0xf1 0xfd 0x6e 676 677# CHECK: xscvhpdp 7, 63 6780xf0 0xf0 0xfd 0x6e 679 680# CHECK: xvcvhpsp 7, 63 6810xf0 0xf8 0xff 0x6e 682 683# CHECK: xvcvsphp 7, 63 6840xf0 0xf9 0xff 0x6e 685 686# CHECK: xsrqpi 1, 7, 27, 2 6870xfc 0xe1 0xdc 0x0a 688 689# CHECK: xsrqpix 1, 7, 27, 2 6900xfc 0xe1 0xdc 0x0b 691 692# CHECK: xsrqpxp 1, 7, 27, 2 6930xfc 0xe1 0xdc 0x4a 694 695# CHECK: xsiexpdp 63, 3, 4 6960xf3 0xe3 0x27 0x2d 697 698# CHECK: xsiexpqp 7, 31, 27 6990xfc 0xff 0xde 0xc8 700 701# CHECK: xviexpdp 7, 63, 27 7020xf0 0xff 0xdf 0xc4 703 704# CHECK: xviexpsp 7, 63, 27 7050xf0 0xff 0xde 0xc4 706 707# CHECK: xxextractuw 7, 63, 15 7080xf0 0xef 0xfa 0x96 709 710# CHECK: xxinsertw 7, 63, 15 7110xf0 0xef 0xfa 0xd6 712 713# CHECK: xsxexpdp 7, 63 7140xf0 0xe0 0xfd 0x6e 715 716# CHECK: xsxsigdp 7, 63 7170xf0 0xe1 0xfd 0x6e 718 719# CHECK: xsxexpqp 7, 31 7200xfc 0xe2 0xfe 0x48 721 722# CHECK: xsxsigqp 7, 31 7230xfc 0xf2 0xfe 0x48 724 725# CHECK: xvxexpdp 7, 63 7260xf0 0xe0 0xff 0x6e 727 728# CHECK: xvxexpsp 7, 63 7290xf0 0xe8 0xff 0x6e 730 731# CHECK: xvxsigdp 7, 63 7320xf0 0xe1 0xff 0x6e 733 734# CHECK: xvxsigsp 7, 63 7350xf0 0xe9 0xff 0x6e 736 737# CHECK: xststdcsp 7, 63, 127 7380xf3 0xff 0xfc 0xaa 739 740# CHECK: xststdcdp 7, 63, 127 7410xf3 0xff 0xfd 0xaa 742 743# CHECK: xststdcqp 7, 31, 127 7440xff 0xff 0xfd 0x88 745 746# CHECK: xststdcsp 7, 63, 127 7470xf3 0xff 0xfc 0xaa 748 749# CHECK: xststdcdp 7, 63, 127 7500xf3 0xff 0xfd 0xaa 751 752# CHECK: xststdcqp 7, 31, 127 7530xff 0xff 0xfd 0x88 754 755# CHECK: xsmaxcdp 7, 63, 27 7560xf0 0xff 0xdc 0x04 757 758# CHECK: xsmaxjdp 7, 63, 27 7590xf0 0xff 0xdc 0x84 760 761# CHECK: xsmincdp 7, 63, 27 7620xf0 0xff 0xdc 0x44 763 764# CHECK: xsminjdp 7, 63, 27 7650xf0 0xff 0xdc 0xc4 766 767# CHECK: xxbrh 7, 63 7680xf0 0xe7 0xff 0x6e 769 770# CHECK: xxbrw 7, 63 7710xf0 0xef 0xff 0x6e 772 773# CHECK: xxbrd 7, 63 7740xf0 0xf7 0xff 0x6e 775 776# CHECK: xxbrq 7, 63 7770xf0 0xff 0xff 0x6e 778 779# CHECK: xxperm 7, 63, 27 7800xf0 0xff 0xd8 0xd4 781 782# CHECK: xxpermr 7, 63, 27 7830xf0 0xff 0xd9 0xd4 784 785# CHECK: xxspltib 63, 255 7860xf3 0xe7 0xfa 0xd1 787 788# CHECK: lxv 61, 32752(31) 7890xf7 0xbf 0x7f 0xf9 790 791# CHECK: lxv 61, -32768(0) 7920xf7 0xa0 0x80 0x09 793 794# CHECK: stxv 61, 32752(31) 7950xf7 0xbf 0x7f 0xfd 796 797# CHECK: stxv 61, -32768(0) 7980xf7 0xa0 0x80 0x0d 799 800# CHECK: lxsd 31, -32768(0) 8010xe7 0xe0 0x80 0x02 802 803# CHECK: lxsd 31, 32764(12) 8040xe7 0xec 0x7f 0xfe 805 806# CHECK: lxssp 31, -32768(0) 8070xe7 0xe0 0x80 0x03 808 809# CHECK: lxssp 31, 32764(12) 8100xe7 0xec 0x7f 0xff 811 812# CHECK: stxsd 31, 32764(12) 8130xf7 0xec 0x7f 0xfe 814 815# CHECK: stxssp 31, -32768(0) 8160xf7 0xe0 0x80 0x03 817 818# CHECK: lxvx 57, 12, 27 8190x7f 0x2c 0xda 0x19 820 821# CHECK: lxsibzx 57, 12, 27 8220x7f 0x2c 0xde 0x1b 823 824# CHECK: lxsihzx 57, 12, 27 8250x7f 0x2c 0xde 0x5b 826 827# CHECK: lxvb16x 57, 12, 27 8280x7f 0x2c 0xde 0xd9 829 830# CHECK: lxvh8x 57, 12, 27 8310x7f 0x2c 0xde 0x59 832 833# CHECK: lxvl 57, 12, 27 8340x7f 0x2c 0xda 0x1b 835 836# CHECK: lxvll 57, 12, 27 8370x7f 0x2c 0xda 0x5b 838 839# CHECK: lxvwsx 57, 12, 27 8400x7f 0x2c 0xda 0xd9 841 842# CHECK: stxsibx 57, 12, 27 8430x7f 0x2c 0xdf 0x1b 844 845# CHECK: stxsihx 57, 12, 27 8460x7f 0x2c 0xdf 0x5b 847 848# CHECK: stxvh8x 57, 12, 27 8490x7f 0x2c 0xdf 0x59 850 851# CHECK: stxvb16x 57, 12, 27 8520x7f 0x2c 0xdf 0xd9 853 854# CHECK: stxvx 57, 12, 27 8550x7f 0x2c 0xdb 0x19 856 857# CHECK: stxvl 57, 12, 27 8580x7f 0x2c 0xdb 0x1b 859 860# CHECK: stxvll 57, 12, 27 8610x7f 0x2c 0xdb 0x5b 862 863# CHECK: mtvsrws 34, 3 8640x7c 0x43 0x03 0x27 865 866# CHECK: mtvsrdd 34, 3, 12 8670x7c 0x43 0x63 0x67 868 869# CHECK: mfvsrld 3, 34 8700x7c 0x43 0x02 0x67 871 872# CHECK: xvtstdcdp 63, 63, 65 8730xf3 0xe1 0xff 0xeb 874 875# CHECK: xvtstdcsp 63, 63, 34 8760xf3 0xe2 0xfe 0xaf 877