test/MC/Disassembler/X86/x86-64.txt

   1 # RUN: llvm-mc --disassemble %s -triple=x86_64 | FileCheck %s
   2
   3 # Coverage
   4
   5 # CHECK: vcmptrue_usps
   6 0xc5 0x04 0xc2 0xc7 0x1f
   7
   8 # CHECK: vcmptrue_uspd
   9 0xc5 0x05 0xc2 0xc7 0x1f
  10
  11 # CHECK: vcmptrue_usss
  12 0xc5 0x06 0xc2 0xc7 0x1f
  13
  14 # CHECK: vcmptrue_ussd
  15 0xc5 0x07 0xc2 0xc7 0x1f
  16
  17 # CHECK: vcmpeq_uqps
  18 0xc5 0x04 0xc2 0xc7 0x08
  19
  20 # CHECK: vcmpeq_uqpd
  21 0xc5 0x05 0xc2 0xc7 0x08
  22
  23 # CHECK: vcmpeq_uqss
  24 0xc5 0x06 0xc2 0xc7 0x08
  25
  26 # CHECK: vcmpeq_uqsd
  27 0xc5 0x07 0xc2 0xc7 0x08
  28
  29 # CHECK: vcmpeqps
  30 0xc5 0x04 0xc2 0xc7 0x00
  31
  32 # CHECK: vcmpeqpd
  33 0xc5 0x05 0xc2 0xc7 0x00
  34
  35 # CHECK: vcmpeqss
  36 0xc5 0x06 0xc2 0xc7 0x00
  37
  38 # CHECK: vcmpeqsd
  39 0xc5 0x07 0xc2 0xc7 0x00
  40
  41 # CHECK: vcmptrue_usps %ymm7, %ymm15, %ymm0
  42 0xc4 0xe1 0x84 0xc2 0xc7 0x1f
  43
  44 # CHECK: vcmptrue_uspd %ymm7, %ymm15, %ymm0
  45 0xc4 0xe1 0x85 0xc2 0xc7 0x1f
  46
  47 # CHECK: cmpeqps
  48 0x0f 0xc2 0xc7 0x00
  49
  50 # CHECK: cmpeqpd
  51 0x66 0x0f 0xc2 0xc7 0x00
  52
  53 # CHECK: cmpeqss
  54 0xf3 0x0f 0xc2 0xc7 0x00
  55
  56 # CHECK: cmpeqsd
  57 0xf2 0x0f 0xc2 0xc7 0x00
  58
  59 # CHECK: cmpordps
  60 0x0f 0xc2 0xc7 0x07
  61
  62 # CHECK: cmpordpd
  63 0x66 0x0f 0xc2 0xc7 0x07
  64
  65 # CHECK: cmpordss
  66 0xf3 0x0f 0xc2 0xc7 0x07
  67
  68 # CHECK: cmpordsd
  69 0xf2 0x0f 0xc2 0xc7 0x07
  70
  71 # CHECK: extrq  $2, $3, %xmm0
  72 0x66 0x0f 0x78 0xc0 0x03 0x02
  73
  74 # CHECK: extrq  %xmm1, %xmm0
  75 0x66 0x0f 0x79 0xc1
  76
  77 # CHECK: insertq $6, $5, %xmm1, %xmm0
  78 0xf2 0x0f 0x78 0xc1 0x05 0x06
  79
  80 # CHECK: insertq %xmm1, %xmm0
  81 0xf2 0x0f 0x79 0xc1
  82
  83 # CHECK: movntsd %xmm0, (%rdi)
  84 0xf2 0x0f 0x2b 0x07
  85
  86 # CHECK: movntss %xmm0, (%rdi)
  87 0xf3 0x0f 0x2b 0x07
  88
  89 # CHECK: adcxl %eax, %eax
  90 0x66 0x0f 0x38 0xf6 0xc0
  91
  92 # CHECK: adcxl (%rax), %eax
  93 0x66 0x0f 0x38 0xf6 0x00
  94
  95 # CHECK: adcxq %rax, %rax
  96 0x66 0x48 0x0f 0x38 0xf6 0xc0
  97
  98 # CHECK: adcxq (%rax), %rax
  99 0x66 0x48 0x0f 0x38 0xf6 0x00
 100
 101 # CHECK: adoxl %eax, %eax
 102 0xf3 0x0f 0x38 0xf6 0xc0
 103
 104 # CHECK: adoxl (%rax), %eax
 105 0xf3 0x0f 0x38 0xf6 0x00
 106
 107 # CHECK: adoxq %rax, %rax
 108 0xf3 0x48 0x0f 0x38 0xf6 0xc0
 109
 110 # CHECK: adoxq (%rax), %rax
 111 0xf3 0x48 0x0f 0x38 0xf6 0x00
 112
 113 # CHECK: xbegin 53
 114 0xc7 0xf8 0x35 0x00 0x00 0x00
 115
 116 # CHECK: xbegin 53
 117 0x66 0xc7 0xf8 0x35 0x00
 118
 119 # CHECK: xend
 120 0x0f 0x01 0xd5
 121
 122 # CHECK: xabort $13
 123 0xc6 0xf8 0x0d
 124
 125 # CHECK: xsave64 (%rax)
 126 0x48 0x0f 0xae 0x20
 127
 128 # CHECK: xrstor64 (%rax)
 129 0x48 0x0f 0xae 0x28
 130
 131 # CHECK: xsaveopt64 (%rax)
 132 0x48 0x0f 0xae 0x30
 133
 134 # CHECK: clac
 135 0x0f 0x01 0xca
 136
 137 # CHECK: stac
 138 0x0f 0x01 0xcb
 139
 140 # CHECK: movabsb -6066930261531658096, %al
 141 0xa0 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab
 142
 143 # CHECK: movabsb -6066930261531658096, %al
 144 0x48 0xa0 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab
 145
 146 # CHECK: movabsw -6066930261531658096, %ax
 147 0x66 0xa1 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab
 148
 149 # CHECK: movabsl -6066930261531658096, %eax
 150 0xa1 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab
 151
 152 # CHECK: movabsq -6066930261531658096, %rax
 153 0x48 0xa1 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab
 154
 155 # CHECK: movabsb %al, -6066930261531658096
 156 0xa2 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab
 157
 158 # CHECK: movabsb %al, -6066930261531658096
 159 0x48 0xa2 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab
 160
 161 # CHECK: movabsw %ax, -6066930261531658096
 162 0x66 0xa3 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab
 163
 164 # CHECK: movabsl %eax, -6066930261531658096
 165 0xa3 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab
 166
 167 # CHECK: movabsq %rax, -6066930261531658096
 168 0x48 0xa3 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab
 169
 170 # CHECK: sha1rnds4 $1, %xmm1, %xmm2
 171 0x0f 0x3a 0xcc 0xd1 0x01
 172
 173 # CHECK: sha1rnds4 $1, (%rax), %xmm2
 174 0x0f 0x3a 0xcc 0x10 0x01
 175
 176 # CHECK: sha1nexte %xmm1, %xmm2
 177 0x0f 0x38 0xc8 0xd1
 178
 179 # CHECK: sha1nexte (%rax), %xmm2
 180 0x0f 0x38 0xc8 0x10
 181
 182 # CHECK: sha1msg1 %xmm1, %xmm2
 183 0x0f 0x38 0xc9 0xd1
 184
 185 # CHECK: sha1msg1 (%rax), %xmm2
 186 0x0f 0x38 0xc9 0x10
 187
 188 # CHECK: sha1msg2 %xmm1, %xmm2
 189 0x0f 0x38 0xca 0xd1
 190
 191 # CHECK: sha1msg2 (%rax), %xmm2
 192 0x0f 0x38 0xca 0x10
 193
 194 # CHECK: sha256rnds2 %xmm0, (%rax), %xmm2
 195 0x0f 0x38 0xcb 0x10
 196
 197 # CHECK: sha256rnds2 %xmm0, %xmm1, %xmm2
 198 0x0f 0x38 0xcb 0xd1
 199
 200 # CHECK: sha256msg1 %xmm1, %xmm2
 201 0x0f 0x38 0xcc 0xd1
 202
 203 # CHECK: sha256msg1 (%rax), %xmm2
 204 0x0f 0x38 0xcc 0x10
 205
 206 # CHECK: sha256msg2 %xmm1, %xmm2
 207 0x0f 0x38 0xcd 0xd1
 208
 209 # CHECK: sha256msg2 (%rax), %xmm2
 210 0x0f 0x38 0xcd 0x10
 211
 212 # CHECK: incl %ecx
 213 0xff 0xc1
 214
 215 # CHECK: decl %ecx
 216 0xff 0xc9
 217
 218 # CHECK: incw %cx
 219 0x66 0xff 0xc1
 220
 221 # CHECK: decw %cx
 222 0x66 0xff 0xc9
 223
 224 # CHECK: incb %cl
 225 0xfe 0xc1
 226
 227 # CHECK: decb %cl
 228 0xfe 0xc9
 229
 230 # CHECK: incq %rcx
 231 0x48 0xff 0xc1
 232
 233 # CHECK: decq %rcx
 234 0x48 0xff 0xc9
 235
 236 # CHECK: movq %xmm0, %xmm0
 237 0xf3 0x0f 0x7e 0xc0
 238
 239 # CHECK: vmovq %xmm0, %xmm0
 240 0xc5 0xfa 0x7e 0xc0
 241
 242 # CHECK: vmovq %xmm0, %rax
 243 0xc4 0xe1 0xf9 0x7e 0xc0
 244
 245 # CHECK: movq (%rax), %mm0
 246 0x48 0x0f 0x6e 0x00
 247
 248 # CHECK: movq %rax, %mm0
 249 0x48 0x0f 0x6e 0xc0
 250
 251 # CHECK: movq %mm0, (%rax)
 252 0x48 0x0f 0x7e 0x00
 253
 254 # CHECK: movq %mm0, %rax
 255 0x48 0x0f 0x7e 0xc0
 256
 257 # CHECK: movq (%rax), %xmm0
 258 0x66 0x48 0x0f 0x6e 0x00
 259
 260 # CHECK: movq %rax, %xmm0
 261 0x66 0x48 0x0f 0x6e 0xc0
 262
 263 # CHECK: movq %xmm0, (%rax)
 264 0x66 0x48 0x0f 0x7e 0x00
 265
 266 # CHECK: movq %xmm0, %rax
 267 0x66 0x48 0x0f 0x7e 0xc0
 268
 269 # CHECK: pextrw $3, %xmm3, %ecx
 270 0x66 0x0f 0x3a 0x15 0xd9 0x03
 271
 272 # CHECK: pextrw $3, %xmm3, (%rax)
 273 0x66 0x0f 0x3a 0x15 0x18 0x03
 274
 275 # CHECK: addb $0, 305419896(,%r8)
 276 0x43 0x80 0x04 0x05 0x78 0x56 0x34 0x12 0x00
 277
 278 # CHECK: addb $0, 305419896(%r13,%r8)
 279 0x43 0x80 0x84 0x05 0x78 0x56 0x34 0x12 0x00
 280
 281 # CHECK: addb $0, 305419896(,%r8)
 282 0x42 0x80 0x04 0x05 0x78 0x56 0x34 0x12 0x00
 283
 284 # CHECK: addb $0, 305419896(%rbp,%r8)
 285 0x42 0x80 0x84 0x05 0x78 0x56 0x34 0x12 0x00
 286
 287 # CHECK: addb $0, 305419896(,%r12)
 288 0x42 0x80 0x04 0x25 0x78 0x56 0x34 0x12 0x00
 289
 290 # CHECK: addb $0, 305419896(%rbp,%r12)
 291 0x42 0x80 0x84 0x25 0x78 0x56 0x34 0x12 0x00
 292
 293 # CHECK: addb $0, 305419896
 294 0x80 0x04 0x25 0x78 0x56 0x34 0x12 0x00
 295
 296 # CHECK: addb $0, 305419896(%rbp)
 297 0x80 0x85 0x78 0x56 0x34 0x12 0x00
 298
 299 # CHECK: addb $0, 305419896(%rbp,%riz)
 300 0x80 0x84 0x25 0x78 0x56 0x34 0x12 0x00
 301
 302 # CHECK: addb $0, 305419896(%rbp,%riz,2)
 303 0x80 0x84 0x65 0x78 0x56 0x34 0x12 0x00
 304
 305 # CHECK: addb $0, 305419896(%rsp,%riz,2)
 306 0x80 0x84 0x64 0x78 0x56 0x34 0x12 0x00
 307
 308 # CHECK: addb $0, 305419896(%r12,%riz,2)
 309 0x41 0x80 0x84 0x64 0x78 0x56 0x34 0x12 0x00
 310
 311 # CHECK: addb $0, 305419896(%esp,%eiz,2)
 312 0x67 0x80 0x84 0x64 0x78 0x56 0x34 0x12 0x00
 313
 314 # CHECK: addb $0, 305419896(%r12d,%eiz,2)
 315 0x67 0x41 0x80 0x84 0x64 0x78 0x56 0x34 0x12 0x00
 316
 317 # CHECK: movabsq 6510615555426900570, %rax
 318 0x48 0xa1 0x5a 0x5a 0x5a 0x5a 0x5a 0x5a 0x5a 0x5a
 319
 320 # CHECK: movq 1515870810, %rax
 321 0x67, 0x48 0xa1 0x5a 0x5a 0x5a 0x5a
 322
 323 # CHECK: movabsq %rax, 6510615555426900570
 324 0x48 0xa3 0x5a 0x5a 0x5a 0x5a 0x5a 0x5a 0x5a 0x5a
 325
 326 # CHECK: movq %rax, 1515870810
 327 0x67, 0x48 0xa3 0x5a 0x5a 0x5a 0x5a
 328
 329 # CHECK: callw 32767
 330 0x66 0xe8 0xff 0x7f
 331
 332 # CHECK: callw 32767
 333 0x66 0x66 0x48 0xe8 0xff 0x7f
 334
 335 # CHECK: jmp -32769
 336 0xe9 0xff 0x7f 0xff 0xff
 337
 338 # CHECK: jmp 32767
 339 0x66 0xe9 0xff 0x7f
 340
 341 # CHECK: jmp 32767
 342 0x66 0x66 0x48 0xe9 0xff 0x7f
 343
 344 # CHECK: jo -32769
 345 0x0f 0x80 0xff 0x7f 0xff 0xff
 346
 347 # CHECK: jo 32767
 348 0x66 0x0f 0x80 0xff 0x7f
 349
 350 # CHECK: jno -32769
 351 0x0f 0x81 0xff 0x7f 0xff 0xff
 352
 353 # CHECK: jno 32767
 354 0x66 0x0f 0x81 0xff 0x7f
 355
 356 # CHECK: jb -32769
 357 0x0f 0x82 0xff 0x7f 0xff 0xff
 358
 359 # CHECK: jb 32767
 360 0x66 0x0f 0x82 0xff 0x7f
 361
 362 # CHECK: jae -32769
 363 0x0f 0x83 0xff 0x7f 0xff 0xff
 364
 365 # CHECK: jae 32767
 366 0x66 0x0f 0x83 0xff 0x7f
 367
 368 # CHECK: je -32769
 369 0x0f 0x84 0xff 0x7f 0xff 0xff
 370
 371 # CHECK: je 32767
 372 0x66 0x0f 0x84 0xff 0x7f
 373
 374 # CHECK: jne -32769
 375 0x0f 0x85 0xff 0x7f 0xff 0xff
 376
 377 # CHECK: jne 32767
 378 0x66 0x0f 0x85 0xff 0x7f
 379
 380 # CHECK: jbe -32769
 381 0x0f 0x86 0xff 0x7f 0xff 0xff
 382
 383 # CHECK: jbe 32767
 384 0x66 0x0f 0x86 0xff 0x7f
 385
 386 # CHECK: ja -32769
 387 0x0f 0x87 0xff 0x7f 0xff 0xff
 388
 389 # CHECK: ja 32767
 390 0x66 0x0f 0x87 0xff 0x7f
 391
 392 # CHECK: js -32769
 393 0x0f 0x88 0xff 0x7f 0xff 0xff
 394
 395 # CHECK: js 32767
 396 0x66 0x0f 0x88 0xff 0x7f
 397
 398 # CHECK: jns -32769
 399 0x0f 0x89 0xff 0x7f 0xff 0xff
 400
 401 # CHECK: jns 32767
 402 0x66 0x0f 0x89 0xff 0x7f
 403
 404 # CHECK: jp -32769
 405 0x0f 0x8a 0xff 0x7f 0xff 0xff
 406
 407 # CHECK: jp 32767
 408 0x66 0x0f 0x8a 0xff 0x7f
 409
 410 # CHECK: jnp -32769
 411 0x0f 0x8b 0xff 0x7f 0xff 0xff
 412
 413 # CHECK: jnp 32767
 414 0x66 0x0f 0x8b 0xff 0x7f
 415
 416 # CHECK: jl -32769
 417 0x0f 0x8c 0xff 0x7f 0xff 0xff
 418
 419 # CHECK: jl 32767
 420 0x66 0x0f 0x8c 0xff 0x7f
 421
 422 # CHECK: jge -32769
 423 0x0f 0x8d 0xff 0x7f 0xff 0xff
 424
 425 # CHECK: jge 32767
 426 0x66 0x0f 0x8d 0xff 0x7f
 427
 428 # CHECK: jle -32769
 429 0x0f 0x8e 0xff 0x7f 0xff 0xff
 430
 431 # CHECK: jle 32767
 432 0x66 0x0f 0x8e 0xff 0x7f
 433
 434 # CHECK: jg -32769
 435 0x0f 0x8f 0xff 0x7f 0xff 0xff
 436
 437 # CHECK: jg 32767
 438 0x66 0x0f 0x8f 0xff 0x7f
 439
 440 # CHECK: lcallw *-32769(%rip)
 441 0x66 0xff 0x1d 0xff 0x7f 0xff 0xff
 442
 443 # CHECK: ljmpw  *-32769(%rip)
 444 0x66 0xff 0x2d 0xff 0x7f 0xff 0xff
 445
 446 # CHECK: psubsb (%rdx), %mm3
 447 0x0f 0xe8 0x1a
 448
 449 # CHECK: psubsb (%rdx), %xmm3
 450 0x66 0x0f 0xe8 0x1a
 451
 452 # CHECK: addq 255(%rip), %rbx
 453 0x49, 0x03, 0x1d, 0xff, 0x00, 0x00, 0x00
 454
 455 # The following 4 encodings are equivalent, as confirmed by the 'xed64'
 456 # decoder tool provided by Intel, which we assume to be canonical even
 457 # if the real silicon does something different. If that should happen,
 458 # then we'll all have disassembler bugs to repair.
 459
 460 # Try all combinations of EVEX.x and REX.b:
 461 # CHECK: vaddps 287453952(%rip), %zmm20, %zmm15
 462 0x62 0x11 0x5c 0x40 0x58 0x3d 0x00 0x33 0x22 0x11
 463 # CHECK: vaddps 287453952(%rip), %zmm20, %zmm15
 464 0x62 0x31 0x5c 0x40 0x58 0x3d 0x00 0x33 0x22 0x11
 465 # CHECK: vaddps 287453952(%rip), %zmm20, %zmm15
 466 0x62 0x51 0x5c 0x40 0x58 0x3d 0x00 0x33 0x22 0x11
 467 # CHECK: vaddps 287453952(%rip), %zmm20, %zmm15
 468 0x62 0x71 0x5c 0x40 0x58 0x3d 0x00 0x33 0x22 0x11
 469
 470 # CHECK: vaddps (%r10,%r9), %zmm20, %zmm15
 471 0x62 0x11 0x5c 0x40 0x58 0x3c 0x0a
 472
 473 # CHECK: vaddps (%rdx,%r9), %zmm20, %zmm15
 474 0x62 0x31 0x5c 0x40 0x58 0x3c 0x0a
 475
 476 # CHECK: vaddps (%r10,%rcx), %zmm20, %zmm15
 477 0x62 0x51 0x5c 0x40 0x58 0x3c 0x0a
 478
 479 # CHECK: vaddps (%rdx,%rcx), %zmm20, %zmm15
 480 0x62 0x71 0x5c 0x40 0x58 0x3c 0x0a
 481
 482 # CHECK: vpandd 32(%rsi,%r14,4){1to16}, %zmm26, %zmm21 {%k4} {z}
 483 0x62 0xa1 0x2d 0xd4 0xdb 0x6c 0xb6 0x08
 484
 485 # CHECK: callq 32767
 486 0xe8 0xff 0x7f 0x00 0x00
 487
 488 # CHECK: callq -32769
 489 0xe8 0xff 0x7f 0xff 0xff
 490
 491 # CHECK: llwpcb %rax
 492 0x8f 0xe9 0xf8 0x12 0xc0
 493
 494 # CHECK: slwpcb %rax
 495 0x8f 0xe9 0xf8 0x12 0xc8
 496
 497 # CHECK: lwpins $305419896, %ebx, %rax
 498 0x8f 0xea 0xf8 0x12 0xc3 0x78 0x56 0x34 0x12
 499
 500 # CHECK: lwpins $591751049, (%rsp), %rdx
 501 0x8f 0xea 0xe8 0x12 0x04 0x24 0x89 0x67 0x45 0x23
 502
 503 # CHECK: lwpins $591751049, (%esp), %edx
 504 0x67 0x8f 0xea 0x68 0x12 0x04 0x24 0x89 0x67 0x45 0x23
 505
 506 # CHECK: lwpval $1737075661, %ebx, %rax
 507 0x8f 0xea 0xf8 0x12 0xcb 0xcd 0xab 0x89 0x67
 508
 509 # CHECK: lwpval $2309737967, (%rsp), %rdx
 510 0x8f 0xea 0xe8 0x12 0x0c 0x24 0xef 0xcd 0xab 0x89
 511
 512 # CHECK: lwpval $2309737967, (%esp), %edx
 513 0x67 0x8f 0xea 0x68 0x12 0x0c 0x24 0xef 0xcd 0xab 0x89
 514
 515 # CHECK: nopq -559038737(%rbx,%rcx,8)
 516 0x48 0x0f 0x1f 0x84 0xcb 0xef 0xbe 0xad 0xde
 517
 518 # CHECK: nopq %rax
 519 0x48 0x0f 0x1f 0xC0
 520
 521 # CHECK: popq    %r14
 522 0x67 0x49 0x5e
 523
 524 # CHECK: pushq    %r14
 525 0x67 0x49 0x56
 526
 527 # CHECK:  xchgw   %di, %ax
 528 0x66 0x3e 0x97
 529
 530 # CHECK: movq    %rdx, %cs
 531 0x4c 0x8e 0xca
 532
 533 # CHECK: movw    %bx, %cs:(%rsi,%rbp)
 534 0x2e 0x66 0x89 0x1c 0x2e
 535 # CHECK: movl    %ebx, %cs:(%esi,%ebp)
 536 0x2e 0x67 0x89 0x1c 0x2e
 537 # CHECK: movl    %ebx, %cs:(%rsi,%rbp)
 538 0x2e 0x89 0x1c 0x2e
 539 # CHECK: movw    %bx, %cs:(%esi,%ebp)
 540 0x2e 0x67 0x66 0x89 0x1c 0x2e
 541 # CHECK: movw    %bx, %cs:(%esi,%ebp)
 542 0x2e 0x66 0x67 0x89 0x1c 0x2e
 543
 544 # CHECK: ptwritel -559038737(%rbx,%rcx,8)
 545 0xf3 0x0f 0xae 0xa4 0xcb 0xef 0xbe 0xad 0xde
 546
 547 # CHECK: ptwritel %eax
 548 0xf3 0x0f 0xae 0xe0
 549
 550 # CHECK: ptwriteq -559038737(%rbx,%rcx,8)
 551 0xf3 0x48 0x0f 0xae 0xa4 0xcb 0xef 0xbe 0xad 0xde
 552
 553 # CHECK: ptwriteq %rax
 554 0xf3 0x48 0x0f 0xae 0xe0
 555
 556 # CHECK: wbnoinvd
 557 0xf3 0x0f 0x09
 558
 559 # CHECK: cldemote 4(%rax)
 560 0x0f 0x1c 0x40 0x04
 561
 562 # CHECK: cldemote -559038737(%rbx,%rcx,8)
 563 0x0f,0x1c,0x84,0xcb,0xef,0xbe,0xad,0xde
 564
 565 # CHECK: umonitor %rax
 566 0xf3 0x0f 0xae 0xf0
 567
 568 # CHECK: umonitor %eax
 569 0x67 0xf3 0x0f 0xae 0xf0
 570
 571 # CHECK: umonitor %r13
 572 0xf3 0x41 0x0f 0xae 0xf5
 573
 574 # CHECK: umwait %r15
 575 0xf2 0x41 0x0f 0xae 0xf7
 576
 577 # CHECK: tpause %r15
 578 0x66 0x41 0x0f 0xae 0xf7
 579
 580 # CHECK: bswapw %bx
 581 0x66 0x0f 0xcb
 582
 583 # CHECK: bswapl %ebx
 584 0x0f 0xcb
 585
 586 # CHECK: bswapq %rbx
 587 0x48 0x0f 0xcb
 588
 589 #CHECK: movdiri %r13d, 64(%rdx,%rax,4)
 590 0x44 0x0f 0x38 0xf9 0x6c 0x82 0x40
 591
 592 #CHECK: movdir64b 485498096, %rax
 593 0x66 0x0f 0x38 0xf8 0x04 0x25 0xf0 0x1c 0xf0 0x1c
 594
 595 #CHECK: movdir64b 485498096, %eax
 596 0x67 0x66 0x0f 0x38 0xf8 0x04 0x25 0xf0 0x1c 0xf0 0x1c
 597
 598 #CHECK: pconfig
 599 0x0f 0x01 0xc5
 600
 601 #CHECK: encls
 602 0x0f 0x01 0xcf
 603
 604 #CHECK: enclu
 605 0x0f 0x01 0xd7
 606
 607 #CHECK: enclv
 608 0x0f 0x01 0xc0
 609
 610 # Make sure we ignore EVEX.X when the index register isn't being used.
 611 #CHECK: vaddps (%rax), %xmm16, %xmm1
 612 0x62 0xb1 0x7c 0x00 0x58 0x08
 613
 614 # Make sure we ignore EVEX.X when modrm.rm encodes a GPR.
 615 #CHECK: vcvtusi2sd %rax, %xmm1, %xmm1
 616 0x62 0xb1 0xf7 0x08 0x7b 0xc8
 617
 618 # Make sure we ignore EVEX.X when modrm.rm encodes a k-register.
 619 #CHECK: vpmovm2b %k0, %xmm0
 620 0x62,0xb2,0x7e,0x08,0x28,0xc0
 621
 622 # 0x67 prefix prints %eip instead of %rip
 623 #CHECK: addb %al, (%eip)
 624 0x67,0x00,0x05,0x00,0x00,0x00,0x00
 625
 626 # CHECK: movslq %eax, %eax
 627 0x63 0xc0
 628 # CHECK: movslq %eax, %ax
 629 0x66 0x63 0xc0
 630 # CHECK: movslq (%rax), %ecx
 631 0x63 0x08
 632 # CHECK: movslq (%rax), %cx
 633 0x66 0x63 0x08
 634
 635 # CHECK: enqcmd 485498096, %eax
 636 0x67,0xf2,0x0f,0x38,0xf8,0x04,0x25,0xf0,0x1c,0xf0,0x1c
 637
 638 # CHECK: enqcmd  268435456(%ebp,%r14d,8), %esi
 639 0x67,0xf2,0x42,0x0f,0x38,0xf8,0xb4,0xf5,0x00,0x00,0x00,0x10
 640
 641 # CHECK: enqcmd  (%r9d), %edi
 642 0x67,0xf2,0x41,0x0f,0x38,0xf8,0x39
 643
 644 # CHECK: enqcmd  8128(%ecx), %eax
 645 0x67,0xf2,0x0f,0x38,0xf8,0x81,0xc0,0x1f,0x00,0x00
 646
 647 # CHECK: enqcmd  -8192(%edx), %ebx
 648 0x67,0xf2,0x0f,0x38,0xf8,0x9a,0x00,0xe0,0xff,0xff
 649
 650 # CHECK: enqcmds 268435456(%ebp,%r14d,8), %esi
 651 0x67,0xf3,0x42,0x0f,0x38,0xf8,0xb4,0xf5,0x00,0x00,0x00,0x10
 652
 653 # CHECK: enqcmds (%r9d), %edi
 654 0x67,0xf3,0x41,0x0f,0x38,0xf8,0x39
 655
 656 # CHECK: enqcmds 8128(%ecx), %eax
 657 0x67,0xf3,0x0f,0x38,0xf8,0x81,0xc0,0x1f,0x00,0x00
 658
 659 # CHECK: enqcmds -8192(%edx), %ebx
 660 0x67,0xf3,0x0f,0x38,0xf8,0x9a,0x00,0xe0,0xff,0xff
 661
 662 # CHECK: enqcmds 485498096, %eax
 663 0x67,0xf3,0x0f,0x38,0xf8,0x04,0x25,0xf0,0x1c,0xf0,0x1c
 664
 665 # CHECK: enqcmd  268435456(%rbp,%r14,8), %rsi
 666 0xf2,0x42,0x0f,0x38,0xf8,0xb4,0xf5,0x00,0x00,0x00,0x10
 667
 668 # CHECK: enqcmd  (%r9), %rdi
 669 0xf2,0x41,0x0f,0x38,0xf8,0x39
 670
 671 # CHECK: enqcmd  8128(%rcx), %rax
 672 0xf2,0x0f,0x38,0xf8,0x81,0xc0,0x1f,0x00,0x00
 673
 674 # CHECK: enqcmd  -8192(%rdx), %rbx
 675 0xf2,0x0f,0x38,0xf8,0x9a,0x00,0xe0,0xff,0xff
 676
 677 # CHECK: enqcmd 485498096, %rax
 678 0xf2,0x0f,0x38,0xf8,0x04,0x25,0xf0,0x1c,0xf0,0x1c
 679
 680 # CHECK: enqcmds 268435456(%rbp,%r14,8), %rsi
 681 0xf3,0x42,0x0f,0x38,0xf8,0xb4,0xf5,0x00,0x00,0x00,0x10
 682
 683 # CHECK: enqcmds (%r9), %rdi
 684 0xf3,0x41,0x0f,0x38,0xf8,0x39
 685
 686 # CHECK: enqcmds 8128(%rcx), %rax
 687 0xf3,0x0f,0x38,0xf8,0x81,0xc0,0x1f,0x00,0x00
 688
 689 # CHECK: enqcmds -8192(%rdx), %rbx
 690 0xf3,0x0f,0x38,0xf8,0x9a,0x00,0xe0,0xff,0xff
 691
 692 # CHECK: enqcmds 485498096, %rax
 693 0xf3,0x0f,0x38,0xf8,0x04,0x25,0xf0,0x1c,0xf0,0x1c