779 lines · plain
1# RUN: llvm-mc --disassemble %s -triple=x86_64 | FileCheck %s2 3# Coverage4 5# CHECK: vcmptrue_usps60xc5 0x04 0xc2 0xc7 0x1f7 8# CHECK: vcmptrue_uspd90xc5 0x05 0xc2 0xc7 0x1f10 11# CHECK: vcmptrue_usss120xc5 0x06 0xc2 0xc7 0x1f13 14# CHECK: vcmptrue_ussd150xc5 0x07 0xc2 0xc7 0x1f16 17# CHECK: vcmpeq_uqps180xc5 0x04 0xc2 0xc7 0x0819 20# CHECK: vcmpeq_uqpd210xc5 0x05 0xc2 0xc7 0x0822 23# CHECK: vcmpeq_uqss240xc5 0x06 0xc2 0xc7 0x0825 26# CHECK: vcmpeq_uqsd270xc5 0x07 0xc2 0xc7 0x0828 29# CHECK: vcmpeqps300xc5 0x04 0xc2 0xc7 0x0031 32# CHECK: vcmpeqpd330xc5 0x05 0xc2 0xc7 0x0034 35# CHECK: vcmpeqss360xc5 0x06 0xc2 0xc7 0x0037 38# CHECK: vcmpeqsd390xc5 0x07 0xc2 0xc7 0x0040 41# CHECK: vcmptrue_usps %ymm7, %ymm15, %ymm0420xc4 0xe1 0x84 0xc2 0xc7 0x1f43 44# CHECK: vcmptrue_uspd %ymm7, %ymm15, %ymm0450xc4 0xe1 0x85 0xc2 0xc7 0x1f46 47# CHECK: cmpeqps480x0f 0xc2 0xc7 0x0049 50# CHECK: cmpeqpd510x66 0x0f 0xc2 0xc7 0x0052 53# CHECK: cmpeqss540xf3 0x0f 0xc2 0xc7 0x0055 56# CHECK: cmpeqsd570xf2 0x0f 0xc2 0xc7 0x0058 59# CHECK: cmpordps600x0f 0xc2 0xc7 0x0761 62# CHECK: cmpordpd630x66 0x0f 0xc2 0xc7 0x0764 65# CHECK: cmpordss660xf3 0x0f 0xc2 0xc7 0x0767 68# CHECK: cmpordsd690xf2 0x0f 0xc2 0xc7 0x0770 71# CHECK: extrq $2, $3, %xmm0720x66 0x0f 0x78 0xc0 0x03 0x0273 74# CHECK: extrq %xmm1, %xmm0750x66 0x0f 0x79 0xc176 77# CHECK: insertq $6, $5, %xmm1, %xmm0780xf2 0x0f 0x78 0xc1 0x05 0x0679 80# CHECK: insertq %xmm1, %xmm0810xf2 0x0f 0x79 0xc182 83# CHECK: movntsd %xmm0, (%rdi)840xf2 0x0f 0x2b 0x0785 86# CHECK: movntss %xmm0, (%rdi)870xf3 0x0f 0x2b 0x0788 89# CHECK: adcxl %eax, %eax900x66 0x0f 0x38 0xf6 0xc091 92# CHECK: adcxl (%rax), %eax930x66 0x0f 0x38 0xf6 0x0094 95# CHECK: adcxq %rax, %rax960x66 0x48 0x0f 0x38 0xf6 0xc097 98# CHECK: adcxq (%rax), %rax990x66 0x48 0x0f 0x38 0xf6 0x00100 101# CHECK: adoxl %eax, %eax1020xf3 0x0f 0x38 0xf6 0xc0103 104# CHECK: adoxl (%rax), %eax1050xf3 0x0f 0x38 0xf6 0x00106 107# CHECK: adoxq %rax, %rax1080xf3 0x48 0x0f 0x38 0xf6 0xc0109 110# CHECK: adoxq (%rax), %rax1110xf3 0x48 0x0f 0x38 0xf6 0x00112 113# CHECK: xbegin 531140xc7 0xf8 0x35 0x00 0x00 0x00115 116# CHECK: xbegin 531170x66 0xc7 0xf8 0x35 0x00118 119# CHECK: xend1200x0f 0x01 0xd5121 122# CHECK: xabort $131230xc6 0xf8 0x0d124 125# CHECK: xsave64 (%rax)1260x48 0x0f 0xae 0x20127 128# CHECK: xrstor64 (%rax)1290x48 0x0f 0xae 0x28130 131# CHECK: xsaveopt64 (%rax)1320x48 0x0f 0xae 0x30133 134# CHECK: clac1350x0f 0x01 0xca136 137# CHECK: stac1380x0f 0x01 0xcb139 140# CHECK: movabsb -6066930261531658096, %al1410xa0 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab142 143# CHECK: movabsb -6066930261531658096, %al1440x48 0xa0 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab145 146# CHECK: movabsw -6066930261531658096, %ax1470x66 0xa1 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab148 149# CHECK: movabsl -6066930261531658096, %eax1500xa1 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab151 152# CHECK: movabsq -6066930261531658096, %rax1530x48 0xa1 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab154 155# CHECK: movabsb %al, -60669302615316580961560xa2 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab157 158# CHECK: movabsb %al, -60669302615316580961590x48 0xa2 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab160 161# CHECK: movabsw %ax, -60669302615316580961620x66 0xa3 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab163 164# CHECK: movabsl %eax, -60669302615316580961650xa3 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab166 167# CHECK: movabsq %rax, -60669302615316580961680x48 0xa3 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab169 170# CHECK: sha1rnds4 $1, %xmm1, %xmm21710x0f 0x3a 0xcc 0xd1 0x01172 173# CHECK: sha1rnds4 $1, (%rax), %xmm21740x0f 0x3a 0xcc 0x10 0x01175 176# CHECK: sha1nexte %xmm1, %xmm21770x0f 0x38 0xc8 0xd1178 179# CHECK: sha1nexte (%rax), %xmm21800x0f 0x38 0xc8 0x10181 182# CHECK: sha1msg1 %xmm1, %xmm21830x0f 0x38 0xc9 0xd1184 185# CHECK: sha1msg1 (%rax), %xmm21860x0f 0x38 0xc9 0x10187 188# CHECK: sha1msg2 %xmm1, %xmm21890x0f 0x38 0xca 0xd1190 191# CHECK: sha1msg2 (%rax), %xmm21920x0f 0x38 0xca 0x10193 194# CHECK: sha256rnds2 %xmm0, (%rax), %xmm21950x0f 0x38 0xcb 0x10196 197# CHECK: sha256rnds2 %xmm0, %xmm1, %xmm21980x0f 0x38 0xcb 0xd1199 200# CHECK: sha256msg1 %xmm1, %xmm22010x0f 0x38 0xcc 0xd1202 203# CHECK: sha256msg1 (%rax), %xmm22040x0f 0x38 0xcc 0x10205 206# CHECK: sha256msg2 %xmm1, %xmm22070x0f 0x38 0xcd 0xd1208 209# CHECK: sha256msg2 (%rax), %xmm22100x0f 0x38 0xcd 0x10211 212# CHECK: incl %ecx2130xff 0xc1214 215# CHECK: decl %ecx2160xff 0xc9217 218# CHECK: incw %cx2190x66 0xff 0xc1220 221# CHECK: decw %cx2220x66 0xff 0xc9223 224# CHECK: incb %cl2250xfe 0xc1226 227# CHECK: decb %cl2280xfe 0xc9229 230# CHECK: incq %rcx2310x48 0xff 0xc1232 233# CHECK: decq %rcx2340x48 0xff 0xc9235 236# CHECK: movq %xmm0, %xmm02370xf3 0x0f 0x7e 0xc0238 239# CHECK: vmovq %xmm0, %xmm02400xc5 0xfa 0x7e 0xc0241 242# CHECK: vmovq %xmm0, %rax2430xc4 0xe1 0xf9 0x7e 0xc0244 245# CHECK: movq (%rax), %mm02460x48 0x0f 0x6e 0x00247 248# CHECK: movq %rax, %mm02490x48 0x0f 0x6e 0xc0250 251# CHECK: movq %mm0, (%rax)2520x48 0x0f 0x7e 0x00253 254# CHECK: movq %mm0, %rax2550x48 0x0f 0x7e 0xc0256 257# CHECK: movq (%rax), %xmm02580x66 0x48 0x0f 0x6e 0x00259 260# CHECK: movq %rax, %xmm02610x66 0x48 0x0f 0x6e 0xc0262 263# CHECK: movq %xmm0, (%rax)2640x66 0x48 0x0f 0x7e 0x00265 266# CHECK: movq %xmm0, %rax2670x66 0x48 0x0f 0x7e 0xc0268 269# CHECK: pextrw $3, %xmm3, %ecx2700x66 0x0f 0x3a 0x15 0xd9 0x03271 272# CHECK: pextrw $3, %xmm3, (%rax)2730x66 0x0f 0x3a 0x15 0x18 0x03274 275# CHECK: addb $0, 305419896(,%r8)2760x43 0x80 0x04 0x05 0x78 0x56 0x34 0x12 0x00277 278# CHECK: addb $0, 305419896(%r13,%r8)2790x43 0x80 0x84 0x05 0x78 0x56 0x34 0x12 0x00280 281# CHECK: addb $0, 305419896(,%r8)2820x42 0x80 0x04 0x05 0x78 0x56 0x34 0x12 0x00283 284# CHECK: addb $0, 305419896(%rbp,%r8)2850x42 0x80 0x84 0x05 0x78 0x56 0x34 0x12 0x00286 287# CHECK: addb $0, 305419896(,%r12)2880x42 0x80 0x04 0x25 0x78 0x56 0x34 0x12 0x00289 290# CHECK: addb $0, 305419896(%rbp,%r12)2910x42 0x80 0x84 0x25 0x78 0x56 0x34 0x12 0x00292 293# CHECK: addb $0, 3054198962940x80 0x04 0x25 0x78 0x56 0x34 0x12 0x00295 296# CHECK: addb $0, 305419896(%rbp)2970x80 0x85 0x78 0x56 0x34 0x12 0x00298 299# CHECK: addb $0, 305419896(%rbp,%riz)3000x80 0x84 0x25 0x78 0x56 0x34 0x12 0x00301 302# CHECK: addb $0, 305419896(%rbp,%riz,2)3030x80 0x84 0x65 0x78 0x56 0x34 0x12 0x00304 305# CHECK: addb $0, 305419896(%rsp,%riz,2)3060x80 0x84 0x64 0x78 0x56 0x34 0x12 0x00307 308# CHECK: addb $0, 305419896(%r12,%riz,2)3090x41 0x80 0x84 0x64 0x78 0x56 0x34 0x12 0x00310 311# CHECK: addb $0, 305419896(%esp,%eiz,2)3120x67 0x80 0x84 0x64 0x78 0x56 0x34 0x12 0x00313 314# CHECK: addb $0, 305419896(%r12d,%eiz,2)3150x67 0x41 0x80 0x84 0x64 0x78 0x56 0x34 0x12 0x00316 317# CHECK: movabsq 6510615555426900570, %rax3180x48 0xa1 0x5a 0x5a 0x5a 0x5a 0x5a 0x5a 0x5a 0x5a319 320# CHECK: movq 1515870810, %rax3210x67, 0x48 0xa1 0x5a 0x5a 0x5a 0x5a322 323# CHECK: movabsq %rax, 65106155554269005703240x48 0xa3 0x5a 0x5a 0x5a 0x5a 0x5a 0x5a 0x5a 0x5a325 326# CHECK: movq %rax, 15158708103270x67, 0x48 0xa3 0x5a 0x5a 0x5a 0x5a328 329# CHECK: callq 327673300xe8,0xff,0x7f,0x00,0x00331 332# TODO: Should display data16 prefixes.333# CHECK-NOT: data16334# CHECK: callq 327673350x66 0x66 0x48 0xe8 0xff 0x7f 0x00 0x00336 337# CHECK: jmp -327693380xe9 0xff 0x7f 0xff 0xff339 340# CHECK: jmp 327673410x66 0xe9 0xff 0x7f342 343# TODO: Should display data16 prefixes.344# CHECK-NOT: data16345# CHECK: jmp 327673460x66 0x66 0x48 0xe9 0xff 0x7f 0x00 0x00347 348# CHECK: jo -327693490x0f 0x80 0xff 0x7f 0xff 0xff350 351# CHECK: jo 327673520x66 0x0f 0x80 0xff 0x7f353 354# CHECK: jno -327693550x0f 0x81 0xff 0x7f 0xff 0xff356 357# CHECK: jno 327673580x66 0x0f 0x81 0xff 0x7f359 360# CHECK: jb -327693610x0f 0x82 0xff 0x7f 0xff 0xff362 363# CHECK: jb 327673640x66 0x0f 0x82 0xff 0x7f365 366# CHECK: jae -327693670x0f 0x83 0xff 0x7f 0xff 0xff368 369# CHECK: jae 327673700x66 0x0f 0x83 0xff 0x7f371 372# CHECK: je -327693730x0f 0x84 0xff 0x7f 0xff 0xff374 375# CHECK: je 327673760x66 0x0f 0x84 0xff 0x7f377 378# CHECK: jne -327693790x0f 0x85 0xff 0x7f 0xff 0xff380 381# CHECK: jne 327673820x66 0x0f 0x85 0xff 0x7f383 384# CHECK: jbe -327693850x0f 0x86 0xff 0x7f 0xff 0xff386 387# CHECK: jbe 327673880x66 0x0f 0x86 0xff 0x7f389 390# CHECK: ja -327693910x0f 0x87 0xff 0x7f 0xff 0xff392 393# CHECK: ja 327673940x66 0x0f 0x87 0xff 0x7f395 396# CHECK: js -327693970x0f 0x88 0xff 0x7f 0xff 0xff398 399# CHECK: js 327674000x66 0x0f 0x88 0xff 0x7f401 402# CHECK: jns -327694030x0f 0x89 0xff 0x7f 0xff 0xff404 405# CHECK: jns 327674060x66 0x0f 0x89 0xff 0x7f407 408# CHECK: jp -327694090x0f 0x8a 0xff 0x7f 0xff 0xff410 411# CHECK: jp 327674120x66 0x0f 0x8a 0xff 0x7f413 414# CHECK: jnp -327694150x0f 0x8b 0xff 0x7f 0xff 0xff416 417# CHECK: jnp 327674180x66 0x0f 0x8b 0xff 0x7f419 420# CHECK: jl -327694210x0f 0x8c 0xff 0x7f 0xff 0xff422 423# CHECK: jl 327674240x66 0x0f 0x8c 0xff 0x7f425 426# CHECK: jge -327694270x0f 0x8d 0xff 0x7f 0xff 0xff428 429# CHECK: jge 327674300x66 0x0f 0x8d 0xff 0x7f431 432# CHECK: jle -327694330x0f 0x8e 0xff 0x7f 0xff 0xff434 435# CHECK: jle 327674360x66 0x0f 0x8e 0xff 0x7f437 438# CHECK: jg -327694390x0f 0x8f 0xff 0x7f 0xff 0xff440 441# CHECK: jg 327674420x66 0x0f 0x8f 0xff 0x7f443 444# CHECK: lcallw *-32769(%rip)4450x66 0xff 0x1d 0xff 0x7f 0xff 0xff446 447# CHECK: ljmpw *-32769(%rip)4480x66 0xff 0x2d 0xff 0x7f 0xff 0xff449 450# CHECK: psubsb (%rdx), %mm34510x0f 0xe8 0x1a452 453# CHECK: psubsb (%rdx), %xmm34540x66 0x0f 0xe8 0x1a455 456# CHECK: addq 255(%rip), %rbx4570x49, 0x03, 0x1d, 0xff, 0x00, 0x00, 0x00458 459# The following 4 encodings are equivalent, as confirmed by the 'xed64'460# decoder tool provided by Intel, which we assume to be canonical even461# if the real silicon does something different. If that should happen,462# then we'll all have disassembler bugs to repair.463 464# Try all combinations of EVEX.x and REX.b:465# CHECK: vaddps 287453952(%rip), %zmm20, %zmm154660x62 0x11 0x5c 0x40 0x58 0x3d 0x00 0x33 0x22 0x11467# CHECK: vaddps 287453952(%rip), %zmm20, %zmm154680x62 0x31 0x5c 0x40 0x58 0x3d 0x00 0x33 0x22 0x11469# CHECK: vaddps 287453952(%rip), %zmm20, %zmm154700x62 0x51 0x5c 0x40 0x58 0x3d 0x00 0x33 0x22 0x11471# CHECK: vaddps 287453952(%rip), %zmm20, %zmm154720x62 0x71 0x5c 0x40 0x58 0x3d 0x00 0x33 0x22 0x11473 474# CHECK: vaddps (%r10,%r9), %zmm20, %zmm154750x62 0x11 0x5c 0x40 0x58 0x3c 0x0a476 477# CHECK: vaddps (%rdx,%r9), %zmm20, %zmm154780x62 0x31 0x5c 0x40 0x58 0x3c 0x0a479 480# CHECK: vaddps (%r10,%rcx), %zmm20, %zmm154810x62 0x51 0x5c 0x40 0x58 0x3c 0x0a482 483# CHECK: vaddps (%rdx,%rcx), %zmm20, %zmm154840x62 0x71 0x5c 0x40 0x58 0x3c 0x0a485 486# CHECK: vpandd 32(%rsi,%r14,4){1to16}, %zmm26, %zmm21 {%k4} {z}4870x62 0xa1 0x2d 0xd4 0xdb 0x6c 0xb6 0x08488 489# CHECK: callq 327674900xe8 0xff 0x7f 0x00 0x00491 492# CHECK: callq -327694930xe8 0xff 0x7f 0xff 0xff494 495# CHECK: llwpcb %rax4960x8f 0xe9 0xf8 0x12 0xc0497 498# CHECK: slwpcb %rax4990x8f 0xe9 0xf8 0x12 0xc8500 501# CHECK: lwpins $305419896, %ebx, %rax5020x8f 0xea 0xf8 0x12 0xc3 0x78 0x56 0x34 0x12503 504# CHECK: lwpins $591751049, (%rsp), %rdx5050x8f 0xea 0xe8 0x12 0x04 0x24 0x89 0x67 0x45 0x23506 507# CHECK: lwpins $591751049, (%esp), %edx5080x67 0x8f 0xea 0x68 0x12 0x04 0x24 0x89 0x67 0x45 0x23509 510# CHECK: lwpval $1737075661, %ebx, %rax5110x8f 0xea 0xf8 0x12 0xcb 0xcd 0xab 0x89 0x67512 513# CHECK: lwpval $2309737967, (%rsp), %rdx5140x8f 0xea 0xe8 0x12 0x0c 0x24 0xef 0xcd 0xab 0x89515 516# CHECK: lwpval $2309737967, (%esp), %edx5170x67 0x8f 0xea 0x68 0x12 0x0c 0x24 0xef 0xcd 0xab 0x89518 519# CHECK: nopq -559038737(%rbx,%rcx,8)5200x48 0x0f 0x1f 0x84 0xcb 0xef 0xbe 0xad 0xde521 522# CHECK: nopq %rax5230x48 0x0f 0x1f 0xC0524 525# CHECK: popq %r145260x67 0x49 0x5e527 528# CHECK: pushq %r145290x67 0x49 0x56530 531# CHECK: xchgw %di, %ax5320x66 0x3e 0x97533 534# CHECK: movq %rdx, %cs5350x4c 0x8e 0xca536 537# CHECK: movw %bx, %cs:(%rsi,%rbp)5380x2e 0x66 0x89 0x1c 0x2e539# CHECK: movl %ebx, %cs:(%esi,%ebp)5400x2e 0x67 0x89 0x1c 0x2e541# CHECK: movl %ebx, %cs:(%rsi,%rbp)5420x2e 0x89 0x1c 0x2e543# CHECK: movw %bx, %cs:(%esi,%ebp)5440x2e 0x67 0x66 0x89 0x1c 0x2e545# CHECK: movw %bx, %cs:(%esi,%ebp)5460x2e 0x66 0x67 0x89 0x1c 0x2e547 548# CHECK: ptwritel -559038737(%rbx,%rcx,8)5490xf3 0x0f 0xae 0xa4 0xcb 0xef 0xbe 0xad 0xde550 551# CHECK: ptwritel %eax5520xf3 0x0f 0xae 0xe0553 554# CHECK: ptwriteq -559038737(%rbx,%rcx,8)5550xf3 0x48 0x0f 0xae 0xa4 0xcb 0xef 0xbe 0xad 0xde556 557# CHECK: ptwriteq %rax5580xf3 0x48 0x0f 0xae 0xe0559 560# CHECK: wbinvd5610x0f 0x09562 563# CHECK: wbnoinvd5640xf3 0x0f 0x09565 566# CHECK: cldemote 4(%rax)5670x0f 0x1c 0x40 0x04568 569# CHECK: cldemote -559038737(%rbx,%rcx,8)5700x0f,0x1c,0x84,0xcb,0xef,0xbe,0xad,0xde571 572# CHECK: umonitor %rax5730xf3 0x0f 0xae 0xf0574 575# CHECK: umonitor %eax5760x67 0xf3 0x0f 0xae 0xf0577 578# CHECK: umonitor %r135790xf3 0x41 0x0f 0xae 0xf5580 581# CHECK: umwait %r155820xf2 0x41 0x0f 0xae 0xf7583 584# CHECK: tpause %r155850x66 0x41 0x0f 0xae 0xf7586 587# CHECK: bswapw %bx5880x66 0x0f 0xcb589 590# CHECK: bswapl %ebx5910x0f 0xcb592 593# CHECK: bswapq %rbx5940x48 0x0f 0xcb595 596#CHECK: movdiri %r13d, 64(%rdx,%rax,4)5970x44 0x0f 0x38 0xf9 0x6c 0x82 0x40598 599#CHECK: movdir64b 485498096, %rax6000x66 0x0f 0x38 0xf8 0x04 0x25 0xf0 0x1c 0xf0 0x1c601 602#CHECK: movdir64b 485498096, %eax6030x67 0x66 0x0f 0x38 0xf8 0x04 0x25 0xf0 0x1c 0xf0 0x1c604 605#CHECK: pconfig6060x0f 0x01 0xc5607 608#CHECK: encls6090x0f 0x01 0xcf610 611#CHECK: enclu6120x0f 0x01 0xd7613 614#CHECK: enclv6150x0f 0x01 0xc0616 617# Make sure we ignore EVEX.X when the index register isn't being used.618#CHECK: vaddps (%rax), %xmm16, %xmm16190x62 0xb1 0x7c 0x00 0x58 0x08620 621# Make sure we ignore EVEX.X when modrm.rm encodes a GPR.622#CHECK: vcvtusi2sd %rax, %xmm1, %xmm16230x62 0xb1 0xf7 0x08 0x7b 0xc8624 625# Make sure we ignore EVEX.X when modrm.rm encodes a k-register.626#CHECK: vpmovm2b %k0, %xmm06270x62,0xb2,0x7e,0x08,0x28,0xc0628 629# 0x67 prefix prints %eip instead of %rip630#CHECK: addb %al, (%eip)6310x67,0x00,0x05,0x00,0x00,0x00,0x00632 633# CHECK: movslq %eax, %eax6340x63 0xc0635# CHECK: movslq %eax, %ax6360x66 0x63 0xc0637# CHECK: movslq (%rax), %ecx6380x63 0x08639# CHECK: movslq (%rax), %cx6400x66 0x63 0x08641 642# CHECK: enqcmd 485498096, %eax6430x67,0xf2,0x0f,0x38,0xf8,0x04,0x25,0xf0,0x1c,0xf0,0x1c644 645# CHECK: enqcmd 268435456(%ebp,%r14d,8), %esi6460x67,0xf2,0x42,0x0f,0x38,0xf8,0xb4,0xf5,0x00,0x00,0x00,0x10647 648# CHECK: enqcmd (%r9d), %edi6490x67,0xf2,0x41,0x0f,0x38,0xf8,0x39650 651# CHECK: enqcmd 8128(%ecx), %eax6520x67,0xf2,0x0f,0x38,0xf8,0x81,0xc0,0x1f,0x00,0x00653 654# CHECK: enqcmd -8192(%edx), %ebx6550x67,0xf2,0x0f,0x38,0xf8,0x9a,0x00,0xe0,0xff,0xff656 657# CHECK: enqcmds 268435456(%ebp,%r14d,8), %esi6580x67,0xf3,0x42,0x0f,0x38,0xf8,0xb4,0xf5,0x00,0x00,0x00,0x10659 660# CHECK: enqcmds (%r9d), %edi6610x67,0xf3,0x41,0x0f,0x38,0xf8,0x39662 663# CHECK: enqcmds 8128(%ecx), %eax6640x67,0xf3,0x0f,0x38,0xf8,0x81,0xc0,0x1f,0x00,0x00665 666# CHECK: enqcmds -8192(%edx), %ebx6670x67,0xf3,0x0f,0x38,0xf8,0x9a,0x00,0xe0,0xff,0xff668 669# CHECK: enqcmds 485498096, %eax6700x67,0xf3,0x0f,0x38,0xf8,0x04,0x25,0xf0,0x1c,0xf0,0x1c671 672# CHECK: enqcmd 268435456(%rbp,%r14,8), %rsi6730xf2,0x42,0x0f,0x38,0xf8,0xb4,0xf5,0x00,0x00,0x00,0x10674 675# CHECK: enqcmd (%r9), %rdi6760xf2,0x41,0x0f,0x38,0xf8,0x39677 678# CHECK: enqcmd 8128(%rcx), %rax6790xf2,0x0f,0x38,0xf8,0x81,0xc0,0x1f,0x00,0x00680 681# CHECK: enqcmd -8192(%rdx), %rbx6820xf2,0x0f,0x38,0xf8,0x9a,0x00,0xe0,0xff,0xff683 684# CHECK: enqcmd 485498096, %rax6850xf2,0x0f,0x38,0xf8,0x04,0x25,0xf0,0x1c,0xf0,0x1c686 687# CHECK: enqcmds 268435456(%rbp,%r14,8), %rsi6880xf3,0x42,0x0f,0x38,0xf8,0xb4,0xf5,0x00,0x00,0x00,0x10689 690# CHECK: enqcmds (%r9), %rdi6910xf3,0x41,0x0f,0x38,0xf8,0x39692 693# CHECK: enqcmds 8128(%rcx), %rax6940xf3,0x0f,0x38,0xf8,0x81,0xc0,0x1f,0x00,0x00695 696# CHECK: enqcmds -8192(%rdx), %rbx6970xf3,0x0f,0x38,0xf8,0x9a,0x00,0xe0,0xff,0xff698 699# CHECK: enqcmds 485498096, %rax7000xf3,0x0f,0x38,0xf8,0x04,0x25,0xf0,0x1c,0xf0,0x1c701 702# CHECK: serialize7030x0f 0x01 0xe8704 705# CHECK: xsusldtrk7060xf2 0x0f 0x01 0xe8707 708# CHECK: xresldtrk7090xf2 0x0f 0x01 0xe9710 711#CHECK: seamcall7120x66 0x0f 0x01 0xcf713 714#CHECK: seamret7150x66 0x0f 0x01 0xcd716 717#CHECK: seamops7180x66 0x0f 0x01 0xce719 720#CHECK: tdcall7210x66 0x0f 0x01 0xcc722 723# CHECK: hreset $17240xf3 0x0f 0x3a 0xf0 0xc0 0x01725 726# CHECK: uiret7270xf3,0x0f,0x01,0xec728 729# CHECK: clui7300xf3,0x0f,0x01,0xee731 732# CHECK: stui7330xf3,0x0f,0x01,0xef734 735# CHECK: psmash7360xf3 0x0f 0x01 0xff737 738# CHECK: pvalidate7390xf2 0x0f 0x01 0xff740 741# CHECK: rmpupdate7420xf2 0x0f 0x01 0xfe743 744# CHECK: rmpadjust7450xf3 0x0f 0x01 0xfe746 747# CHECK: rmpquery7480xf3 0x0f 0x01 0xfd749 750# CHECK: testui7510xf3,0x0f,0x01,0xed752 753# CHECK: senduipi %rax7540xf3,0x0f,0xc7,0xf0755 756# CHECK: senduipi %rdx7570xf3,0x0f,0xc7,0xf2758 759# CHECK: senduipi %r87600xf3,0x41,0x0f,0xc7,0xf0761 762# CHECK: senduipi %r137630xf3,0x41,0x0f,0xc7,0xf5764 765# CHECK: rdpru7660x0f,0x01,0xfd767 768# CHECK: prefetchit0 (%rip)7690x0f,0x18,0x3d,0x00,0x00,0x00,0x00770 771# CHECK: prefetchit1 (%rip)7720x0f,0x18,0x35,0x00,0x00,0x00,0x00773 774# Check that we correctly ignore a REX prefix that is not immediately before775# the opcode. REX prefixes not immediately preceding the Opcode are ignored776# according to Section 2.2.1 of the Intel 64 Architecture Manual.777# CHECK: orw $25659, %ax7780x66 0x4c 0x64 0x0d 0x3b 0x64779