915 lines · plain
1# RUN: llvm-mc --disassemble %s -triple powerpc64-unknown-unknown -mcpu=pwr7 | FileCheck %s2 3# FIXME: test b target 4 5# FIXME: test ba target 6 7# FIXME: test bl target 8 9# FIXME: test bla target 10 11# FIXME: test bc 4, 10, target 12 13# FIXME: test bca 4, 10, target 14 15# FIXME: test bcl 4, 10, target 16 17# FIXME: test bcla 4, 10, target 18 19# CHECK: bclr 4, 10, 3 200x4c 0x8a 0x18 0x2021 22# CHECK: bclr 4, 10230x4c 0x8a 0x00 0x2024 25# CHECK: bclrl 4, 10, 3 260x4c 0x8a 0x18 0x2127 28# CHECK: bclrl 4, 10290x4c 0x8a 0x00 0x2130 31# CHECK: bcctr 4, 10, 3 320x4c 0x8a 0x1c 0x2033 34# CHECK: bcctr 4, 10350x4c 0x8a 0x04 0x2036 37# CHECK: bcctrl 4, 10, 3 380x4c 0x8a 0x1c 0x2139 40# CHECK: bcctrl 4, 10410x4c 0x8a 0x04 0x2142 43# CHECK: crand 2, 3, 4 440x4c 0x43 0x22 0x0245 46# CHECK: crnand 2, 3, 4 470x4c 0x43 0x21 0xc248 49# CHECK: cror 2, 3, 4 500x4c 0x43 0x23 0x8251 52# CHECK: crxor 2, 3, 4 530x4c 0x43 0x21 0x8254 55# CHECK: crnor 2, 3, 4 560x4c 0x43 0x20 0x4257 58# CHECK: creqv 2, 3, 4 590x4c 0x43 0x22 0x4260 61# CHECK: crandc 2, 3, 4 620x4c 0x43 0x21 0x0263 64# CHECK: crorc 2, 3, 4 650x4c 0x43 0x23 0x4266 67# CHECK: mcrf 2, 3 680x4d 0x0c 0x00 0x0069 70# CHECK: sc 1 710x44 0x00 0x00 0x2272 73# CHECK: sc740x44 0x00 0x00 0x0275 76# CHECK: scv 1 770x44 0x00 0x00 0x2178 79# CHECK: scv 2 800x44 0x00 0x00 0x4181 82# CHECK: clrbhrb830x7c 0x00 0x03 0x5c84 85# CHECK: mfbhrbe 9, 983860x7d 0x3e 0xba 0x5c87 88# CHECK: rfebb890x4c 0x00 0x09 0x2490 91# CHECK: lbz 2, 128(4) 920x88 0x44 0x00 0x8093 94# CHECK: lbzx 2, 3, 4 950x7c 0x43 0x20 0xae96 97# CHECK: lbzu 2, 128(4) 980x8c 0x44 0x00 0x8099 100# CHECK: lbzux 2, 3, 4 1010x7c 0x43 0x20 0xee102 103# CHECK: lhz 2, 128(4) 1040xa0 0x44 0x00 0x80105 106# CHECK: lhzx 2, 3, 4 1070x7c 0x43 0x22 0x2e108 109# CHECK: lhzu 2, 128(4) 1100xa4 0x44 0x00 0x80111 112# CHECK: lhzux 2, 3, 4 1130x7c 0x43 0x22 0x6e114 115# CHECK: lha 2, 128(4) 1160xa8 0x44 0x00 0x80117 118# CHECK: lhax 2, 3, 4 1190x7c 0x43 0x22 0xae120 121# CHECK: lhau 2, 128(4) 1220xac 0x44 0x00 0x80123 124# CHECK: lhaux 2, 3, 4 1250x7c 0x43 0x22 0xee126 127# CHECK: lwz 2, 128(4) 1280x80 0x44 0x00 0x80129 130# CHECK: lwzx 2, 3, 4 1310x7c 0x43 0x20 0x2e132 133# CHECK: lwzu 2, 128(4) 1340x84 0x44 0x00 0x80135 136# CHECK: lwzux 2, 3, 4 1370x7c 0x43 0x20 0x6e138 139# CHECK: lwa 2, 128(4) 1400xe8 0x44 0x00 0x82141 142# CHECK: lwax 2, 3, 4 1430x7c 0x43 0x22 0xaa144 145# CHECK: lwaux 2, 3, 4 1460x7c 0x43 0x22 0xea147 148# CHECK: ld 2, 128(4) 1490xe8 0x44 0x00 0x80150 151# CHECK: ldx 2, 3, 4 1520x7c 0x43 0x20 0x2a153 154# CHECK: ldu 2, 128(4) 1550xe8 0x44 0x00 0x81156 157# CHECK: ldux 2, 3, 4 1580x7c 0x43 0x20 0x6a159 160# CHECK: lq 2, 128(4)1610xe0 0x44 0x00 0x80162 163# CHECK: lq 28, 128(30)1640xe3 0x9e 0x00 0x80165 166# CHECK: stb 2, 128(4) 1670x98 0x44 0x00 0x80168 169# CHECK: stbx 2, 3, 4 1700x7c 0x43 0x21 0xae171 172# CHECK: stbu 2, 128(4) 1730x9c 0x44 0x00 0x80174 175# CHECK: stbux 2, 3, 4 1760x7c 0x43 0x21 0xee177 178# CHECK: sth 2, 128(4) 1790xb0 0x44 0x00 0x80180 181# CHECK: sthx 2, 3, 4 1820x7c 0x43 0x23 0x2e183 184# CHECK: sthu 2, 128(4) 1850xb4 0x44 0x00 0x80186 187# CHECK: sthux 2, 3, 4 1880x7c 0x43 0x23 0x6e189 190# CHECK: stw 2, 128(4) 1910x90 0x44 0x00 0x80192 193# CHECK: stwx 2, 3, 4 1940x7c 0x43 0x21 0x2e195 196# CHECK: stwu 2, 128(4) 1970x94 0x44 0x00 0x80198 199# CHECK: stwux 2, 3, 4 2000x7c 0x43 0x21 0x6e201 202# CHECK: std 2, 128(4) 2030xf8 0x44 0x00 0x80204 205# CHECK: stdx 2, 3, 4 2060x7c 0x43 0x21 0x2a207 208# CHECK: stdu 2, 128(4) 2090xf8 0x44 0x00 0x81210 211# CHECK: stdux 2, 3, 4 2120x7c 0x43 0x21 0x6a213 214# CHECK: stq 2, 128(4)2150xf8 0x44 0x00 0x82216 217# CHECK: stq 28, 128(30)2180xfb 0x9e 0x00 0x82219 220# CHECK: lhbrx 2, 3, 4 2210x7c 0x43 0x26 0x2c222 223# CHECK: sthbrx 2, 3, 4 2240x7c 0x43 0x27 0x2c225 226# CHECK: lwbrx 2, 3, 4 2270x7c 0x43 0x24 0x2c228 229# CHECK: stwbrx 2, 3, 4 2300x7c 0x43 0x25 0x2c231 232# CHECK: ldbrx 2, 3, 4 2330x7c 0x43 0x24 0x28234 235# CHECK: stdbrx 2, 3, 4 2360x7c 0x43 0x25 0x28237 238# CHECK: lmw 2, 128(1) 2390xb8 0x41 0x00 0x80240 241# CHECK: stmw 2, 128(1) 2420xbc 0x41 0x00 0x80243 244# CHECK: addi 2, 3, 128 2450x38 0x43 0x00 0x80246 247# CHECK: addis 2, 3, 128 2480x3c 0x43 0x00 0x80249 250# CHECK: add 2, 3, 4 2510x7c 0x43 0x22 0x14252 253# CHECK: add. 2, 3, 4 2540x7c 0x43 0x22 0x15255 256# CHECK: addo 2, 3, 42570x7c 0x43 0x26 0x14258 259# CHECK: addo. 2, 3, 42600x7c 0x43 0x26 0x15261 262# CHECK: sub 2, 4, 3 2630x7c 0x43 0x20 0x50264 265# CHECK: sub. 2, 4, 3 2660x7c 0x43 0x20 0x51267 268# CHECK: subfo 2, 3, 42690x7c 0x43 0x24 0x50270 271# CHECK: subfo. 2, 3, 42720x7c 0x43 0x24 0x51273 274# CHECK: addic 2, 3, 128 2750x30 0x43 0x00 0x80276 277# CHECK: addic. 2, 3, 128 2780x34 0x43 0x00 0x80279 280# CHECK: subfic 2, 3, 4 2810x20 0x43 0x00 0x04282 283# CHECK: addc 2, 3, 4 2840x7c 0x43 0x20 0x14285 286# CHECK: addc. 2, 3, 4 2870x7c 0x43 0x20 0x15288 289# CHECK: addco 2, 3, 42900x7c 0x43 0x24 0x14291 292# CHECK: addco. 2, 3, 42930x7c 0x43 0x24 0x15294 295# CHECK: subc 2, 4, 3 2960x7c 0x43 0x20 0x10297 298# CHECK: subc. 2, 4, 3 2990x7c 0x43 0x20 0x11300 301# CHECK: subfco 2, 3, 43020x7c 0x43 0x24 0x10303 304# CHECK: subfco. 2, 3, 43050x7c 0x43 0x24 0x11306 307# CHECK: adde 2, 3, 4 3080x7c 0x43 0x21 0x14309 310# CHECK: adde. 2, 3, 4 3110x7c 0x43 0x21 0x15312 313# CHECK: addeo 2, 3, 43140x7c 0x43 0x25 0x14315 316# CHECK: addeo. 2, 3, 43170x7c 0x43 0x25 0x15318 319# CHECK: subfe 2, 3, 4 3200x7c 0x43 0x21 0x10321 322# CHECK: subfe. 2, 3, 4 3230x7c 0x43 0x21 0x11324 325# CHECK: subfeo 2, 3, 43260x7c 0x43 0x25 0x10327 328# CHECKE: subfeo. 2, 3, 43290x7c 0x43 0x25 0x11330 331# CHECK: addme 2, 3 3320x7c 0x43 0x01 0xd4333 334# CHECK: addme. 2, 3 3350x7c 0x43 0x01 0xd5336 337# CHECK: addmeo 2, 33380x7c 0x43 0x05 0xd4339 340# CHECK: addmeo. 2, 33410x7c 0x43 0x05 0xd5342 343# CHECK: subfme 2, 3 3440x7c 0x43 0x01 0xd0345 346# CHECK: subfme. 2, 3 3470x7c 0x43 0x01 0xd1348 349# CHECK: subfmeo 2, 33500x7c 0x43 0x05 0xd0351 352# CHECK: subfmeo. 2, 33530x7c 0x43 0x05 0xd1354 355# CHECK: addze 2, 3 3560x7c 0x43 0x01 0x94357 358# CHECK: addze. 2, 3 3590x7c 0x43 0x01 0x95360 361# CHECK: addzeo 2, 33620x7c 0x43 0x05 0x94363 364# CHECK: addzeo. 2, 33650x7c 0x43 0x05 0x95366 367# CHECK: subfze 2, 3 3680x7c 0x43 0x01 0x90369 370# CHECK: subfze. 2, 3 3710x7c 0x43 0x01 0x91372 373# CHECK: subfzeo 2, 33740x7c 0x43 0x05 0x90375 376# CHECK: subfzeo. 2, 33770x7c 0x43 0x05 0x91378 379# CHECK: neg 2, 3 3800x7c 0x43 0x00 0xd0381 382# CHECK: neg. 2, 3 3830x7c 0x43 0x00 0xd1384 385# CHECK: nego 2, 33860x7c 0x43 0x04 0xd0387 388# CHECK: nego. 2, 33890x7c 0x43 0x04 0xd1390 391# CHECK: mulli 2, 3, 128 3920x1c 0x43 0x00 0x80393 394# CHECK: mulhw 2, 3, 4 3950x7c 0x43 0x20 0x96396 397# CHECK: mulhw. 2, 3, 4 3980x7c 0x43 0x20 0x97399 400# CHECK: mullw 2, 3, 4 4010x7c 0x43 0x21 0xd6402 403# CHECK: mullw. 2, 3, 4 4040x7c 0x43 0x21 0xd7405 406# CHECK: mullwo 2, 3, 44070x7c 0x43 0x25 0xd6408 409# CHECK: mullwo. 2, 3, 44100x7c 0x43 0x25 0xd7411 412# CHECK: mulhwu 2, 3, 4 4130x7c 0x43 0x20 0x16414 415# CHECK: mulhwu. 2, 3, 4 4160x7c 0x43 0x20 0x17417 418# CHECK: maddhd 2, 3, 4, 54190x10 0x43 0x21 0x70420 421# CHECK: maddhdu 2, 3, 4, 54220x10 0x43 0x21 0x71423 424# CHECK: maddld 2, 3, 4, 54250x10 0x43 0x21 0x73426 427# CHECK: setb 2, 34280x7c 0x4c 0x01 0x00429 430# CHECK: darn 2, 34310x7c 0x43 0x05 0xe6432 433# CHECK: addpcis 3, 226274340x4c,0x71,0x58,0x45435 436# CHECK: lnia 34370x4c,0x60,0x00,0x04438 439# CHECK: divw 2, 3, 4 4400x7c 0x43 0x23 0xd6441 442# CHECK: divw. 2, 3, 4 4430x7c 0x43 0x23 0xd7444 445# CHECK: divwo 2, 3, 44460x7c 0x43 0x27 0xd6447 448# CHECK: divwo. 2, 3, 44490x7c 0x43 0x27 0xd7450 451# CHECK: divwu 2, 3, 4 4520x7c 0x43 0x23 0x96453 454# CHECK: divwu. 2, 3, 4 4550x7c 0x43 0x23 0x97456 457# CHECK: divwuo 2, 3, 44580x7c 0x43 0x27 0x96459 460# CHECK: divwuo. 2, 3, 44610x7c 0x43 0x27 0x97462 463# CHECK: divwe 2, 3, 44640x7c 0x43 0x23 0x56465 466# CHECK: divwe. 2, 3, 44670x7c 0x43 0x23 0x57468 469# CHECK: divweo 2, 3, 44700x7c 0x43 0x27 0x56471 472# CHECK: divweo. 2, 3, 44730x7c 0x43 0x27 0x57474 475# CHECK: divweu 2, 3, 44760x7c 0x43 0x23 0x16477 478# CHECK: divweu. 2, 3, 44790x7c 0x43 0x23 0x17480 481# CHECK: divweuo 2, 3, 44820x7c 0x43 0x27 0x16483 484# CHECK: divweuo. 2, 3, 44850x7c 0x43 0x27 0x17486 487# CHECK: modsw 2, 3, 44880x7c 0x43 0x26 0x16489 490# CHECK: addex 2, 4, 5, 04910x7C 0x44 0x29 0x54492 493# CHECK: moduw 2, 3, 44940x7c 0x43 0x22 0x16495 496# CHECK: modsd 2, 3, 44970x7c 0x43 0x26 0x12498 499# CHECK: modud 2, 3, 45000x7c 0x43 0x22 0x12501 502# CHECK: mulld 2, 3, 4 5030x7c 0x43 0x21 0xd2504 505# CHECK: mulld. 2, 3, 4 5060x7c 0x43 0x21 0xd3507 508# CHECK: mulldo 2, 3, 45090x7c 0x43 0x25 0xd2510 511# CHECK: mulldo. 2, 3, 45120x7c 0x43 0x25 0xd3513 514# CHECK: mulhd 2, 3, 4 5150x7c 0x43 0x20 0x92516 517# CHECK: mulhd. 2, 3, 4 5180x7c 0x43 0x20 0x93519 520# CHECK: mulhdu 2, 3, 4 5210x7c 0x43 0x20 0x12522 523# CHECK: mulhdu. 2, 3, 4 5240x7c 0x43 0x20 0x13525 526# CHECK: divd 2, 3, 4 5270x7c 0x43 0x23 0xd2528 529# CHECK: divd. 2, 3, 4 5300x7c 0x43 0x23 0xd3531 532# CHECK: divdo 2, 3, 45330x7c 0x43 0x27 0xd2534 535# CHECK: divdo. 2, 3, 45360x7c 0x43 0x27 0xd3537 538# CHECK: divdu 2, 3, 4 5390x7c 0x43 0x23 0x92540 541# CHECK: divdu. 2, 3, 4 5420x7c 0x43 0x23 0x93543 544# CHECK: divduo 2, 3, 45450x7c 0x43 0x27 0x92546 547# CHECK: divduo. 2, 3, 45480x7c 0x43 0x27 0x93549 550# CHECK: divde 2, 3, 45510x7c 0x43 0x23 0x52552 553# CHECK: divde. 2, 3, 45540x7c 0x43 0x23 0x53555 556# CHECK: divdeo 2, 3, 45570x7c 0x43 0x27 0x52558 559# CHECK: divdeo. 2, 3, 45600x7c 0x43 0x27 0x53561 562# CHECK: divdeu 2, 3, 45630x7c 0x43 0x23 0x12564 565# CHECK: divdeu. 2, 3, 45660x7c 0x43 0x23 0x13567 568# CHECK: divdeuo 2, 3, 45690x7c 0x43 0x27 0x12570 571# CHECK: divdeuo. 2, 3, 45720x7c 0x43 0x27 0x13573 574# CHECK: cmpdi 2, 3, 128 5750x2d 0x23 0x00 0x80576 577# CHECK: cmpd 2, 3, 4 5780x7d 0x23 0x20 0x00579 580# CHECK: cmpldi 2, 3, 128 5810x29 0x23 0x00 0x80582 583# CHECK: cmpld 2, 3, 4 5840x7d 0x23 0x20 0x40585 586# CHECK: cmpwi 2, 3, 128 5870x2d 0x03 0x00 0x80588 589# CHECK: cmpw 2, 3, 4 5900x7d 0x03 0x20 0x00591 592# CHECK: cmplwi 2, 3, 128 5930x29 0x03 0x00 0x80594 595# CHECK: cmplw 2, 3, 4 5960x7d 0x03 0x20 0x40597 598# CHECK: cmprb 3, 1, 7, 175990x7d 0xa7 0x89 0x80600 601# CHECK: cmpeqb 3, 7, 176020x7d 0x87 0x89 0xc0603 604# CHECK: cnttzw 7, 176050x7e 0x27 0x04 0x34606 607# CHECK: cnttzw. 7, 176080x7e 0x27 0x04 0x35609 610# CHECK: cnttzd 7, 176110x7e 0x27 0x04 0x74612 613# CHECK: cnttzd. 7, 176140x7e 0x27 0x04 0x75615 616# CHECK: twllti 3, 46170x0c 0x43 0x00 0x04618 619# CHECK: twllt 3, 46200x7c 0x43 0x20 0x08621 622# CHECK: tdllti 3, 46230x08 0x43 0x00 0x04624 625# CHECK: tdllt 3, 46260x7c 0x43 0x20 0x88627 628# CHECK: isel 2, 3, 4, 5 6290x7c 0x43 0x21 0x5e630 631# CHECK: andi. 2, 3, 128 6320x70 0x62 0x00 0x80633 634# CHECK: andis. 2, 3, 128 6350x74 0x62 0x00 0x80636 637# CHECK: ori 2, 3, 128 6380x60 0x62 0x00 0x80639 640# CHECK: oris 2, 3, 128 6410x64 0x62 0x00 0x80642 643# CHECK: xori 2, 3, 128 6440x68 0x62 0x00 0x80645 646# CHECK: xoris 2, 3, 128 6470x6c 0x62 0x00 0x80648 649# CHECK: and 2, 3, 4 6500x7c 0x62 0x20 0x38651 652# CHECK: and. 2, 3, 4 6530x7c 0x62 0x20 0x39654 655# CHECK: xor 2, 3, 4 6560x7c 0x62 0x22 0x78657 658# CHECK: xor. 2, 3, 4 6590x7c 0x62 0x22 0x79660 661# CHECK: nand 2, 3, 4 6620x7c 0x62 0x23 0xb8663 664# CHECK: nand. 2, 3, 4 6650x7c 0x62 0x23 0xb9666 667# CHECK: or 2, 3, 4 6680x7c 0x62 0x23 0x78669 670# CHECK: or. 2, 3, 4 6710x7c 0x62 0x23 0x79672 673# CHECK: nor 2, 3, 4 6740x7c 0x62 0x20 0xf8675 676# CHECK: nor. 2, 3, 4 6770x7c 0x62 0x20 0xf9678 679# CHECK: eqv 2, 3, 4 6800x7c 0x62 0x22 0x38681 682# CHECK: eqv. 2, 3, 4 6830x7c 0x62 0x22 0x39684 685# CHECK: andc 2, 3, 4 6860x7c 0x62 0x20 0x78687 688# CHECK: andc. 2, 3, 4 6890x7c 0x62 0x20 0x79690 691# CHECK: orc 2, 3, 4 6920x7c 0x62 0x23 0x38693 694# CHECK: orc. 2, 3, 4 6950x7c 0x62 0x23 0x39696 697# CHECK: extsb 2, 3 6980x7c 0x62 0x07 0x74699 700# CHECK: extsb. 2, 3 7010x7c 0x62 0x07 0x75702 703# CHECK: extsh 2, 3 7040x7c 0x62 0x07 0x34705 706# CHECK: extsh. 2, 3 7070x7c 0x62 0x07 0x35708 709# CHECK: cntlzw 2, 37100x7c 0x62 0x00 0x34711 712# CHECK: cntlzw. 2, 37130x7c 0x62 0x00 0x35714 715# CHECK: popcntw 2, 3 7160x7c 0x62 0x02 0xf4717 718# CHECK: popcntb 2, 3 7190x7c 0x62 0x00 0xf4720 721# CHECK: extsw 2, 3 7220x7c 0x62 0x07 0xb4723 724# CHECK: extsw. 2, 3 7250x7c 0x62 0x07 0xb5726 727# CHECK: cntlzd 2, 3 7280x7c 0x62 0x00 0x74729 730# CHECK: cntlzd. 2, 3 7310x7c 0x62 0x00 0x75732 733# CHECK: popcntd 2, 3 7340x7c 0x62 0x03 0xf4735 736# CHECK: bpermd 2, 3, 47370x7c 0x62 0x21 0xf8738 739# CHECK: cmpb 7, 21, 47400x7e 0xa7 0x23 0xf8741 742# CHECK: rlwinm 2, 3, 4, 5, 6 7430x54 0x62 0x21 0x4c744 745# CHECK: rlwinm. 2, 3, 4, 5, 6 7460x54 0x62 0x21 0x4d747 748# CHECK: rlwnm 2, 3, 4, 5, 6 7490x5c 0x62 0x21 0x4c750 751# CHECK: rlwnm. 2, 3, 4, 5, 6 7520x5c 0x62 0x21 0x4d753 754# CHECK: rlwimi 2, 3, 4, 5, 6 7550x50 0x62 0x21 0x4c756 757# CHECK: rlwimi. 2, 3, 4, 5, 6 7580x50 0x62 0x21 0x4d759 760# CHECK: rldicl 2, 3, 4, 5 7610x78 0x62 0x21 0x40762 763# CHECK: rldicl. 2, 3, 4, 5 7640x78 0x62 0x21 0x41765 766# CHECK: rldicr 2, 3, 4, 5 7670x78 0x62 0x21 0x44768 769# CHECK: rldicr. 2, 3, 4, 5 7700x78 0x62 0x21 0x45771 772# CHECK: rldic 2, 3, 4, 5 7730x78 0x62 0x21 0x48774 775# CHECK: rldic. 2, 3, 4, 5 7760x78 0x62 0x21 0x49777 778# CHECK: rldcl 2, 3, 4, 5 7790x78 0x62 0x21 0x50780 781# CHECK: rldcl. 2, 3, 4, 5 7820x78 0x62 0x21 0x51783 784# CHECK: rldcr 2, 3, 4, 5 7850x78 0x62 0x21 0x52786 787# CHECK: rldcr. 2, 3, 4, 5 7880x78 0x62 0x21 0x53789 790# CHECK: rldimi 2, 3, 4, 5 7910x78 0x62 0x21 0x4c792 793# CHECK: rldimi. 2, 3, 4, 5 7940x78 0x62 0x21 0x4d795 796# CHECK: slw 2, 3, 4 7970x7c 0x62 0x20 0x30798 799# CHECK: slw. 2, 3, 4 8000x7c 0x62 0x20 0x31801 802# CHECK: srw 2, 3, 4 8030x7c 0x62 0x24 0x30804 805# CHECK: srw. 2, 3, 4 8060x7c 0x62 0x24 0x31807 808# CHECK: srawi 2, 3, 4 8090x7c 0x62 0x26 0x70810 811# CHECK: srawi. 2, 3, 4 8120x7c 0x62 0x26 0x71813 814# CHECK: sraw 2, 3, 4 8150x7c 0x62 0x26 0x30816 817# CHECK: sraw. 2, 3, 4 8180x7c 0x62 0x26 0x31819 820# CHECK: sld 2, 3, 4 8210x7c 0x62 0x20 0x36822 823# CHECK: sld. 2, 3, 4 8240x7c 0x62 0x20 0x37825 826# CHECK: srd 2, 3, 4 8270x7c 0x62 0x24 0x36828 829# CHECK: srd. 2, 3, 4 8300x7c 0x62 0x24 0x37831 832# CHECK: sradi 2, 3, 4 8330x7c 0x62 0x26 0x74834 835# CHECK: sradi. 2, 3, 4 8360x7c 0x62 0x26 0x75837 838# CHECK: srad 2, 3, 4 8390x7c 0x62 0x26 0x34840 841# CHECK: srad. 2, 3, 4 8420x7c 0x62 0x26 0x35843 844# CHECK: extswsli 2, 3, 4 8450x7c 0x62 0x26 0xf4846 847# CHECK: extswsli. 2, 3, 4 8480x7c 0x62 0x26 0xf5849 850# CHECK: cdtbcd 2, 78510x7c 0xe2 0x02 0x34852 853# CHECK: cbcdtd 2, 78540x7c 0xe2 0x02 0x74855 856# CHECK: addg6s 2, 3, 48570x7c 0x43 0x20 0x94858 859# CHECK: mtspr 600, 2 8600x7c 0x58 0x93 0xa6861 862# CHECK: mfspr 2, 600 8630x7c 0x58 0x92 0xa6864 865# CHECK: mtudscr 28660x7c 0x43 0x03 0xa6867 868# CHECK: mfudscr 28690x7c 0x43 0x02 0xa6870 871# CHECK: mtcrf 123, 2 8720x7c 0x47 0xb1 0x20873 874# CHECK: mfcr 2 8750x7c 0x40 0x00 0x26876 877# CHECK: mtocrf 16, 2 8780x7c 0x51 0x01 0x20879 880# CHECK: mfocrf 16, 8 8810x7e 0x10 0x80 0x26882 883# CHECK: mcrxrx 78840x7f 0x80 0x04 0x80885 886# CHECK: mtsrin 10, 128870x7d 0x40 0x61 0xe4888 889# CHECK: mfsrin 10, 128900x7d 0x40 0x65 0x26891 892# CHECK: copy 2, 198930x7c 0x22 0x9e 0x0c894 895# CHECK: paste. 17, 1, 08960x7c 0x11 0x0f 0x0d897 898# CHECK: paste. 17, 18990x7c 0x31 0x0f 0x0d900 901# CHECK: cpabort9020x7c 0x00 0x06 0x8c903 904# CHECK: msgsync9050x7c 0x00 0x06 0xec906 907# CHECK: slbieg 6, 219080x7c 0xc0 0xab 0xa4909 910# CHECK: slbsync9110x7c 0x00 0x02 0xa4912 913# CHECK: stop9140x4c 0x00 0x02 0xe4915