test/MC/X86/x86-64.s

   1 // RUN: llvm-mc -triple x86_64-unknown-unknown -show-encoding %s > %t 2> %t.err
   2 // RUN: FileCheck < %t %s
   3 // RUN: FileCheck --check-prefix=CHECK-STDERR < %t.err %s
   4
   5         monitor
   6 // CHECK: monitor
   7 // CHECK: encoding: [0x0f,0x01,0xc8]
   8         monitor %rax, %rcx, %rdx
   9 // CHECK: monitor
  10 // CHECK: encoding: [0x0f,0x01,0xc8]
  11         mwait
  12 // CHECK: mwait
  13 // CHECK: encoding: [0x0f,0x01,0xc9]
  14         mwait %rax, %rcx
  15 // CHECK: mwait
  16 // CHECK: encoding: [0x0f,0x01,0xc9]
  17
  18 // Suffix inference:
  19
  20 // CHECK: addl $0, %eax
  21         add $0, %eax
  22 // CHECK: addb $255, %al
  23         add $0xFF, %al
  24 // CHECK: orq %rax, %rdx
  25         or %rax, %rdx
  26 // CHECK: shlq $3, %rax
  27         shl $3, %rax
  28
  29
  30 // CHECK: subb %al, %al
  31         subb %al, %al
  32
  33 // CHECK: addl $24, %eax
  34         addl $24, %eax
  35
  36 // CHECK: movl %eax, 10(%ebp)
  37         movl %eax, 10(%ebp)
  38 // CHECK: movl %eax, 10(%ebp,%ebx)
  39         movl %eax, 10(%ebp, %ebx)
  40 // CHECK: movl %eax, 10(%ebp,%ebx,4)
  41         movl %eax, 10(%ebp, %ebx, 4)
  42 // CHECK: movl %eax, 10(,%ebx,4)
  43         movl %eax, 10(, %ebx, 4)
  44
  45 // CHECK: movl 0, %eax
  46         movl 0, %eax
  47 // CHECK: movl $0, %eax
  48         movl $0, %eax
  49
  50 // CHECK: ret
  51         ret
  52
  53 // CHECK: retw
  54         retw
  55
  56 // FIXME: Check that this matches SUB32ri8
  57 // CHECK: subl $1, %eax
  58         subl $1, %eax
  59
  60 // FIXME: Check that this matches SUB32ri8
  61 // CHECK: subl $-1, %eax
  62         subl $-1, %eax
  63
  64 // FIXME: Check that this matches SUB32ri
  65 // CHECK: subl $256, %eax
  66         subl $256, %eax
  67
  68 // FIXME: Check that this matches XOR64ri8
  69 // CHECK: xorq $1, %rax
  70         xorq $1, %rax
  71
  72 // FIXME: Check that this matches XOR64ri32
  73 // CHECK: xorq $256, %rax
  74         xorq $256, %rax
  75
  76 // FIXME: Check that this matches SUB8rr
  77 // CHECK: subb %al, %bl
  78         subb %al, %bl
  79
  80 // FIXME: Check that this matches SUB16rr
  81 // CHECK: subw %ax, %bx
  82         subw %ax, %bx
  83
  84 // FIXME: Check that this matches SUB32rr
  85 // CHECK: subl %eax, %ebx
  86         subl %eax, %ebx
  87
  88 // FIXME: Check that this matches the correct instruction.
  89 // CHECK: callq *%rax
  90         call *%rax
  91
  92 // FIXME: Check that this matches the correct instruction.
  93 // CHECK: shldl %cl, %eax, %ebx
  94         shldl %cl, %eax, %ebx
  95
  96 // CHECK: shll $2, %eax
  97         shll $2, %eax
  98
  99 // CHECK: shll $2, %eax
 100         sall $2, %eax
 101
 102 // CHECK: rep
 103 // CHECK: insb
 104         rep;insb
 105
 106 // CHECK: rep
 107 // CHECK: outsb
 108         rep;outsb
 109
 110 // CHECK: rep
 111 // CHECK: movsb
 112         rep;movsb
 113
 114
 115 // rdar://8470918
 116 smovb // CHECK: movsb
 117 smovw // CHECK: movsw
 118 smovl // CHECK: movsd
 119 smovq // CHECK: movsq
 120
 121 // rdar://8456361
 122 // CHECK: rep
 123 // CHECK: movsd
 124         rep movsd
 125
 126 // CHECK: rep
 127 // CHECK: lodsb
 128         rep;lodsb
 129
 130 // CHECK: rep
 131 // CHECK: stosb
 132         rep;stosb
 133
 134 // NOTE: repz and repe have the same opcode as rep
 135 // CHECK: rep
 136 // CHECK: cmpsb
 137         repz;cmpsb
 138
 139 // NOTE: repnz has the same opcode as repne
 140 // CHECK: repne
 141 // CHECK: cmpsb
 142         repnz;cmpsb
 143
 144 // NOTE: repe and repz have the same opcode as rep
 145 // CHECK: rep
 146 // CHECK: scasb
 147         repe;scasb
 148
 149 // CHECK: repne
 150 // CHECK: scasb
 151         repne;scasb
 152
 153 // CHECK: lock
 154 // CHECK: cmpxchgb %al, (%ebx)
 155         lock;cmpxchgb %al, 0(%ebx)
 156
 157 // CHECK: cs
 158 // CHECK: movb (%eax), %al
 159         cs;movb 0(%eax), %al
 160
 161 // CHECK: ss
 162 // CHECK: movb (%eax), %al
 163         ss;movb 0(%eax), %al
 164
 165 // CHECK: ds
 166 // CHECK: movb (%eax), %al
 167         ds;movb 0(%eax), %al
 168
 169 // CHECK: es
 170 // CHECK: movb (%eax), %al
 171         es;movb 0(%eax), %al
 172
 173 // CHECK: fs
 174 // CHECK: movb (%eax), %al
 175         fs;movb 0(%eax), %al
 176
 177 // CHECK: gs
 178 // CHECK: movb (%eax), %al
 179         gs;movb 0(%eax), %al
 180
 181 // CHECK: fadd %st(0)
 182 // CHECK: fadd %st(1)
 183 // CHECK: fadd %st(7)
 184
 185 fadd %st(0)
 186 fadd %st(1)
 187 fadd %st(7)
 188
 189 // CHECK: leal 0, %eax
 190         leal 0, %eax
 191
 192 // rdar://7986634 - Insensitivity on opcodes.
 193 // CHECK: int3
 194 INT3
 195
 196 // rdar://8735979 - int $3 -> int3
 197 // CHECK: int3
 198 int     $3
 199
 200
 201 // Allow scale factor without index register.
 202 // CHECK: movaps        %xmm3, (%esi)
 203 // CHECK-STDERR: warning: scale factor without index register is ignored
 204 movaps %xmm3, (%esi, 2)
 205
 206 // CHECK: imull $12, %eax, %eax
 207 imul $12, %eax
 208
 209 // CHECK: imull %ecx, %eax
 210 imull %ecx, %eax
 211
 212
 213 // rdar://8208481
 214 // CHECK: outb  %al, $161
 215 outb    %al, $161
 216 // CHECK: outw  %ax, $128
 217 outw    %ax, $128
 218 // CHECK: inb   $161, %al
 219 inb     $161, %al
 220
 221 // rdar://8017621
 222 // CHECK: pushq $1
 223 push $1
 224
 225 // rdar://9716860
 226 pushq $1
 227 // CHECK: encoding: [0x6a,0x01]
 228 pushq $1111111
 229 // CHECK: encoding: [0x68,0x47,0xf4,0x10,0x00]
 230
 231 // rdar://8017530
 232 // CHECK: sldtw 4
 233 sldt    4
 234
 235 // rdar://8208499
 236 // CHECK: cmovnew       %bx, %ax
 237 cmovnz %bx, %ax
 238 // CHECK: cmovneq       %rbx, %rax
 239 cmovnzq %rbx, %rax
 240
 241
 242 // rdar://8407928
 243 // CHECK: inb   $127, %al
 244 // CHECK: inw   %dx
 245 // CHECK: outb  %al, $127
 246 // CHECK: outw  %dx
 247 // CHECK: inl   %dx
 248 inb     $0x7f
 249 inw     %dx
 250 outb    $0x7f
 251 outw    %dx
 252 inl     %dx
 253
 254
 255 // PR8114
 256 // CHECK: outb  %dx
 257 // CHECK: outb  %dx
 258 // CHECK: outw  %dx
 259 // CHECK: outw  %dx
 260 // CHECK: outl  %dx
 261 // CHECK: outl  %dx
 262
 263 out     %al, (%dx)
 264 outb    %al, (%dx)
 265 out     %ax, (%dx)
 266 outw    %ax, (%dx)
 267 out     %eax, (%dx)
 268 outl    %eax, (%dx)
 269
 270 // CHECK: inb   %dx
 271 // CHECK: inb   %dx
 272 // CHECK: inw   %dx
 273 // CHECK: inw   %dx
 274 // CHECK: inl   %dx
 275 // CHECK: inl   %dx
 276
 277 in      (%dx), %al
 278 inb     (%dx), %al
 279 in      (%dx), %ax
 280 inw     (%dx), %ax
 281 in      (%dx), %eax
 282 inl     (%dx), %eax
 283
 284 // rdar://8431422
 285
 286 // CHECK: fxch
 287 // CHECK: fucom
 288 // CHECK: fucomp
 289 // CHECK: faddp
 290 // CHECK: faddp %st(0)
 291 // CHECK: fsubp
 292 // CHECK: fsubrp
 293 // CHECK: fmulp
 294 // CHECK: fdivp
 295 // CHECK: fdivrp
 296
 297 fxch
 298 fucom
 299 fucomp
 300 faddp
 301 faddp %st
 302 fsubp
 303 fsubrp
 304 fmulp
 305 fdivp
 306 fdivrp
 307
 308 // CHECK: fcomi
 309 // CHECK: fcomi %st(2)
 310 // CHECK: fucomi
 311 // CHECK: fucomi %st(2)
 312 // CHECK: fucomi %st(2)
 313
 314 fcomi
 315 fcomi   %st(2)
 316 fucomi
 317 fucomi  %st(2)
 318 fucomi  %st(2), %st
 319
 320 // CHECK: fnstsw
 321 // CHECK: fnstsw
 322 // CHECK: fnstsw
 323 // CHECK: fnstsw
 324
 325 fnstsw
 326 fnstsw %ax
 327 fnstsw %eax
 328 fnstsw %al
 329
 330 // rdar://8431880
 331 // CHECK: rclb  %bl
 332 // CHECK: rcll  3735928559(%ebx,%ecx,8)
 333 // CHECK: rcrl  %ecx
 334 // CHECK: rcrl  305419896
 335 rcl     %bl
 336 rcll    0xdeadbeef(%ebx,%ecx,8)
 337 rcr     %ecx
 338 rcrl    0x12345678
 339
 340 rclb    %bl       // CHECK: rclb %bl     # encoding: [0xd0,0xd3]
 341 rclb    $1, %bl   // CHECK: rclb %bl     # encoding: [0xd0,0xd3]
 342 rclb    $2, %bl   // CHECK: rclb $2, %bl # encoding: [0xc0,0xd3,0x02]
 343
 344 // rdar://8418316
 345 // PR12173
 346 // CHECK: shldw %cl, %bx, %dx
 347 // CHECK: shldw %cl, %bx, %dx
 348 // CHECK: shldw $1, %bx, %dx
 349 // CHECK: shldw %cl, %bx, (%rax)
 350 // CHECK: shldw %cl, %bx, (%rax)
 351 // CHECK: shrdw %cl, %bx, %dx
 352 // CHECK: shrdw %cl, %bx, %dx
 353 // CHECK: shrdw $1, %bx, %dx
 354 // CHECK: shrdw %cl, %bx, (%rax)
 355 // CHECK: shrdw %cl, %bx, (%rax)
 356
 357 shld  %bx, %dx
 358 shld  %cl, %bx, %dx
 359 shld  $1, %bx, %dx
 360 shld  %bx, (%rax)
 361 shld  %cl, %bx, (%rax)
 362 shrd  %bx, %dx
 363 shrd  %cl, %bx, %dx
 364 shrd  $1, %bx, %dx
 365 shrd  %bx, (%rax)
 366 shrd  %cl, %bx, (%rax)
 367
 368 // CHECK: sldtl %ecx
 369 // CHECK: encoding: [0x0f,0x00,0xc1]
 370 // CHECK: sldtw %cx
 371 // CHECK: encoding: [0x66,0x0f,0x00,0xc1]
 372
 373 sldt    %ecx
 374 sldt    %cx
 375
 376 // CHECK: lcalll        *3135175374
 377 // CHECK: ljmpl *3135175374
 378 lcall   *0xbadeface
 379 ljmp    *0xbadeface
 380
 381
 382 // rdar://8444631
 383 // CHECK: enter $31438, $0
 384 // CHECK: encoding: [0xc8,0xce,0x7a,0x00]
 385 // CHECK: enter $31438, $1
 386 // CHECK: encoding: [0xc8,0xce,0x7a,0x01]
 387 // CHECK: enter $31438, $127
 388 // CHECK: encoding: [0xc8,0xce,0x7a,0x7f]
 389 enter $0x7ace,$0
 390 enter $0x7ace,$1
 391 enter $0x7ace,$0x7f
 392
 393
 394 // rdar://8456364
 395 // CHECK: movw  %cs, %ax
 396 mov %CS, %ax
 397
 398 // rdar://8456391
 399 fcmovb %st(1), %st(0)   // CHECK: fcmovb        %st(1), %st(0)
 400 fcmove %st(1), %st(0)   // CHECK: fcmove        %st(1), %st(0)
 401 fcmovbe %st(1), %st(0)  // CHECK: fcmovbe       %st(1), %st(0)
 402 fcmovu %st(1), %st(0)   // CHECK: fcmovu         %st(1), %st(0)
 403
 404 fcmovnb %st(1), %st(0)  // CHECK: fcmovnb       %st(1), %st(0)
 405 fcmovne %st(1), %st(0)  // CHECK: fcmovne       %st(1), %st(0)
 406 fcmovnbe %st(1), %st(0) // CHECK: fcmovnbe      %st(1), %st(0)
 407 fcmovnu %st(1), %st(0)  // CHECK: fcmovnu       %st(1), %st(0)
 408
 409 fcmovnae %st(1), %st(0) // CHECK: fcmovb        %st(1), %st(0)
 410 fcmovna %st(1), %st(0)  // CHECK: fcmovbe       %st(1), %st(0)
 411
 412 fcmovae %st(1), %st(0)  // CHECK: fcmovnb       %st(1), %st(0)
 413 fcmova %st(1), %st(0)   // CHECK: fcmovnbe      %st(1), %st(0)
 414
 415 // rdar://8456417
 416 .byte 88 + 1 & 15  // CHECK: .byte      9
 417
 418 // rdar://8456412
 419 mov %rdx, %cr0
 420 // CHECK: movq  %rdx, %cr0
 421 // CHECK: encoding: [0x0f,0x22,0xc2]
 422 mov %rdx, %cr4
 423 // CHECK: movq  %rdx, %cr4
 424 // CHECK: encoding: [0x0f,0x22,0xe2]
 425 mov %rdx, %cr8
 426 // CHECK: movq  %rdx, %cr8
 427 // CHECK: encoding: [0x44,0x0f,0x22,0xc2]
 428 mov %rdx, %cr15
 429 // CHECK: movq  %rdx, %cr15
 430 // CHECK: encoding: [0x44,0x0f,0x22,0xfa]
 431
 432 // rdar://8456371 - Handle commutable instructions written backward.
 433 // CHECK:       faddp   %st(1)
 434 // CHECK:       fmulp   %st(2)
 435 faddp %st, %st(1)
 436 fmulp %st, %st(2)
 437
 438 // rdar://8468087 - Encode these accurately, they are not synonyms.
 439 // CHECK: fmul  %st(0), %st(1)
 440 // CHECK: encoding: [0xdc,0xc9]
 441 // CHECK: fmul  %st(1)
 442 // CHECK: encoding: [0xd8,0xc9]
 443 fmul %st, %st(1)
 444 fmul %st(1), %st
 445
 446 // CHECK: fadd  %st(0), %st(1)
 447 // CHECK: encoding: [0xdc,0xc1]
 448 // CHECK: fadd  %st(1)
 449 // CHECK: encoding: [0xd8,0xc1]
 450 fadd %st, %st(1)
 451 fadd %st(1), %st
 452
 453
 454 // rdar://8416805
 455 // CHECK: xorb  %al, %al
 456 // CHECK: encoding: [0x30,0xc0]
 457 // CHECK: xorw  %di, %di
 458 // CHECK: encoding: [0x66,0x31,0xff]
 459 // CHECK: xorl  %esi, %esi
 460 // CHECK: encoding: [0x31,0xf6]
 461 // CHECK: xorq  %rsi, %rsi
 462 // CHECK: encoding: [0x48,0x31,0xf6]
 463 clrb    %al
 464 clr    %di
 465 clr    %esi
 466 clr    %rsi
 467
 468 // rdar://8456378
 469 cltq  // CHECK: cltq
 470 cdqe  // CHECK: cltq
 471 cwde  // CHECK: cwtl
 472 cwtl  // CHECK: cwtl
 473
 474 // rdar://8416805
 475 cbw   // CHECK: cbtw
 476 cwd   // CHECK: cwtd
 477 cdq   // CHECK: cltd
 478 cqo   // CHECK: cqto
 479
 480 // rdar://8456378 and PR7557 - fstsw
 481 fstsw %ax
 482 // CHECK: wait
 483 // CHECK: fnstsw
 484 fstsw (%rax)
 485 // CHECK: wait
 486 // CHECK: fnstsw (%rax)
 487
 488 // PR8259
 489 fstcw (%rsp)
 490 // CHECK: wait
 491 // CHECK: fnstcw (%rsp)
 492
 493 // PR8259
 494 fstcw (%rsp)
 495 // CHECK: wait
 496 // CHECK: fnstcw (%rsp)
 497
 498 // PR8258
 499 finit
 500 // CHECK: wait
 501 // CHECK: fninit
 502
 503 fsave   32493
 504 // CHECK: wait
 505 // CHECK: fnsave 32493
 506
 507
 508 // rdar://8456382 - cvtsd2si support.
 509 cvtsd2si        %xmm1, %rax
 510 // CHECK: cvtsd2siq     %xmm1, %rax
 511 // CHECK: encoding: [0xf2,0x48,0x0f,0x2d,0xc1]
 512 cvtsd2si        %xmm1, %eax
 513 // CHECK: cvtsd2sil     %xmm1, %eax
 514 // CHECK: encoding: [0xf2,0x0f,0x2d,0xc1]
 515
 516 cvtsd2siq %xmm0, %rax // CHECK: cvtsd2siq       %xmm0, %rax
 517 cvtsd2sil %xmm0, %eax // CHECK: cvtsd2sil       %xmm0, %eax
 518 cvtsd2si %xmm0, %rax  // CHECK: cvtsd2siq       %xmm0, %rax
 519
 520
 521 cvttpd2dq %xmm1, %xmm0  // CHECK: cvttpd2dq %xmm1, %xmm0
 522 cvttpd2dq (%rax), %xmm0 // CHECK: cvttpd2dq (%rax), %xmm0
 523
 524 cvttps2dq %xmm1, %xmm0  // CHECK: cvttps2dq %xmm1, %xmm0
 525 cvttps2dq (%rax), %xmm0 // CHECK: cvttps2dq (%rax), %xmm0
 526
 527 // rdar://8456376 - llvm-mc rejects 'roundss'
 528 roundss $0xE, %xmm0, %xmm0 // CHECK: encoding: [0x66,0x0f,0x3a,0x0a,0xc0,0x0e]
 529 roundps $0xE, %xmm0, %xmm0 // CHECK: encoding: [0x66,0x0f,0x3a,0x08,0xc0,0x0e]
 530 roundsd $0xE, %xmm0, %xmm0 // CHECK: encoding: [0x66,0x0f,0x3a,0x0b,0xc0,0x0e]
 531 roundpd $0xE, %xmm0, %xmm0 // CHECK: encoding: [0x66,0x0f,0x3a,0x09,0xc0,0x0e]
 532
 533
 534 // rdar://8482675 - 32-bit mem operand support in 64-bit mode (0x67 prefix)
 535 leal    8(%eax), %esi
 536 // CHECK: leal  8(%eax), %esi
 537 // CHECK: encoding: [0x67,0x8d,0x70,0x08]
 538 leaq    8(%eax), %rsi
 539 // CHECK: leaq  8(%eax), %rsi
 540 // CHECK: encoding: [0x67,0x48,0x8d,0x70,0x08]
 541 leaq    8(%rax), %rsi
 542 // CHECK: leaq  8(%rax), %rsi
 543 // CHECK: encoding: [0x48,0x8d,0x70,0x08]
 544
 545
 546 cvttpd2dq       0xdeadbeef(%ebx,%ecx,8),%xmm5
 547 // CHECK: cvttpd2dq     3735928559(%ebx,%ecx,8), %xmm5
 548 // CHECK: encoding: [0x67,0x66,0x0f,0xe6,0xac,0xcb,0xef,0xbe,0xad,0xde]
 549
 550 // rdar://8490728 - llvm-mc rejects 'movmskpd'
 551 movmskpd        %xmm6, %rax
 552 // CHECK: movmskpd      %xmm6, %rax
 553 // CHECK: encoding: [0x66,0x48,0x0f,0x50,0xc6]
 554 movmskpd        %xmm6, %eax
 555 // CHECK: movmskpd      %xmm6, %eax
 556 // CHECK: encoding: [0x66,0x0f,0x50,0xc6]
 557
 558 // rdar://8491845 - Gas supports commuted forms of non-commutable instructions.
 559 fdivrp %st(0), %st(1) // CHECK: encoding: [0xde,0xf9]
 560 fdivrp %st(1), %st(0) // CHECK: encoding: [0xde,0xf9]
 561
 562 fsubrp %ST(0), %ST(1) // CHECK: encoding: [0xde,0xe9]
 563 fsubrp %ST(1), %ST(0) // CHECK: encoding: [0xde,0xe9]
 564
 565 // also PR8861
 566 fdivp %st(0), %st(1) // CHECK: encoding: [0xde,0xf1]
 567 fdivp %st(1), %st(0) // CHECK: encoding: [0xde,0xf1]
 568
 569
 570 movl    foo(%rip), %eax
 571 // CHECK: movl  foo(%rip), %eax
 572 // CHECK: encoding: [0x8b,0x05,A,A,A,A]
 573 // CHECK: fixup A - offset: 2, value: foo-4, kind: reloc_riprel_4byte
 574
 575 movb    $12, foo(%rip)
 576 // CHECK: movb  $12, foo(%rip)
 577 // CHECK: encoding: [0xc6,0x05,A,A,A,A,0x0c]
 578 // CHECK:    fixup A - offset: 2, value: foo-5, kind: reloc_riprel_4byte
 579
 580 movw    $12, foo(%rip)
 581 // CHECK: movw  $12, foo(%rip)
 582 // CHECK: encoding: [0x66,0xc7,0x05,A,A,A,A,0x0c,0x00]
 583 // CHECK:    fixup A - offset: 3, value: foo-6, kind: reloc_riprel_4byte
 584
 585 movl    $12, foo(%rip)
 586 // CHECK: movl  $12, foo(%rip)
 587 // CHECK: encoding: [0xc7,0x05,A,A,A,A,0x0c,0x00,0x00,0x00]
 588 // CHECK:    fixup A - offset: 2, value: foo-8, kind: reloc_riprel_4byte
 589
 590 movq    $12, foo(%rip)
 591 // CHECK:  movq $12, foo(%rip)
 592 // CHECK: encoding: [0x48,0xc7,0x05,A,A,A,A,0x0c,0x00,0x00,0x00]
 593 // CHECK:    fixup A - offset: 3, value: foo-8, kind: reloc_riprel_4byte
 594
 595 // CHECK: addq  $-424, %rax
 596 // CHECK: encoding: [0x48,0x05,0x58,0xfe,0xff,0xff]
 597 addq $-424, %rax
 598
 599
 600 // CHECK: movq  _foo@GOTPCREL(%rip), %rax
 601 // CHECK:  encoding: [0x48,0x8b,0x05,A,A,A,A]
 602 // CHECK:  fixup A - offset: 3, value: _foo@GOTPCREL-4, kind: reloc_riprel_4byte_movq_load
 603 movq _foo@GOTPCREL(%rip), %rax
 604
 605 // CHECK: movq  _foo@GOTPCREL(%rip), %r14
 606 // CHECK:  encoding: [0x4c,0x8b,0x35,A,A,A,A]
 607 // CHECK:  fixup A - offset: 3, value: _foo@GOTPCREL-4, kind: reloc_riprel_4byte_movq_load
 608 movq _foo@GOTPCREL(%rip), %r14
 609
 610
 611 // CHECK: movq  (%r13,%rax,8), %r13
 612 // CHECK:  encoding: [0x4d,0x8b,0x6c,0xc5,0x00]
 613 movq 0x00(%r13,%rax,8),%r13
 614
 615 // CHECK: testq %rax, %rbx
 616 // CHECK:  encoding: [0x48,0x85,0xd8]
 617 testq %rax, %rbx
 618
 619 // CHECK: cmpq  %rbx, %r14
 620 // CHECK:   encoding: [0x49,0x39,0xde]
 621         cmpq %rbx, %r14
 622
 623 // rdar://7947167
 624
 625 movsq
 626 // CHECK: movsq
 627 // CHECK:   encoding: [0x48,0xa5]
 628
 629 movsl
 630 // CHECK: movsd
 631 // CHECK:   encoding: [0xa5]
 632
 633 stosq
 634 // CHECK: stosq
 635 // CHECK:   encoding: [0x48,0xab]
 636 stosl
 637 // CHECK: stosl
 638 // CHECK:   encoding: [0xab]
 639
 640
 641 // Not moffset forms of moves, they are x86-32 only! rdar://7947184
 642 movb    0, %al    // CHECK: movb 0, %al # encoding: [0x8a,0x04,0x25,0x00,0x00,0x00,0x00]
 643 movw    0, %ax    // CHECK: movw 0, %ax # encoding: [0x66,0x8b,0x04,0x25,0x00,0x00,0x00,0x00]
 644 movl    0, %eax   // CHECK: movl 0, %eax # encoding: [0x8b,0x04,0x25,0x00,0x00,0x00,0x00]
 645
 646 // CHECK: pushfq        # encoding: [0x9c]
 647         pushf
 648 // CHECK: pushfq        # encoding: [0x9c]
 649         pushfq
 650 // CHECK: popfq         # encoding: [0x9d]
 651         popf
 652 // CHECK: popfq         # encoding: [0x9d]
 653         popfq
 654
 655 // CHECK: movabsq $-281474976710654, %rax
 656 // CHECK: encoding: [0x48,0xb8,0x02,0x00,0x00,0x00,0x00,0x00,0xff,0xff]
 657         movabsq $0xFFFF000000000002, %rax
 658
 659 // CHECK: movabsq $-281474976710654, %rax
 660 // CHECK: encoding: [0x48,0xb8,0x02,0x00,0x00,0x00,0x00,0x00,0xff,0xff]
 661         movq $0xFFFF000000000002, %rax
 662
 663 // CHECK: movq $-65536, %rax
 664 // CHECK: encoding: [0x48,0xc7,0xc0,0x00,0x00,0xff,0xff]
 665         movq $0xFFFFFFFFFFFF0000, %rax
 666
 667 // CHECK: movq $-256, %rax
 668 // CHECK: encoding: [0x48,0xc7,0xc0,0x00,0xff,0xff,0xff]
 669         movq $0xFFFFFFFFFFFFFF00, %rax
 670
 671 // CHECK: movq $10, %rax
 672 // CHECK: encoding: [0x48,0xc7,0xc0,0x0a,0x00,0x00,0x00]
 673         movq $10, %rax
 674
 675 // rdar://8014869
 676 //
 677 // CHECK: ret
 678 // CHECK:  encoding: [0xc3]
 679         retq
 680
 681 // CHECK: sete %al
 682 // CHECK: encoding: [0x0f,0x94,0xc0]
 683         setz %al
 684
 685 // CHECK: setne %al
 686 // CHECK: encoding: [0x0f,0x95,0xc0]
 687         setnz %al
 688
 689 // CHECK: je 0
 690 // CHECK: encoding: [0x74,A]
 691         jz 0
 692
 693 // CHECK: jne
 694 // CHECK: encoding: [0x75,A]
 695         jnz 0
 696
 697 // PR9264
 698 btl     $1, 0 // CHECK: btl $1, 0 # encoding: [0x0f,0xba,0x24,0x25,0x00,0x00,0x00,0x00,0x01]
 699 bt      $1, 0 // CHECK: btl $1, 0 # encoding: [0x0f,0xba,0x24,0x25,0x00,0x00,0x00,0x00,0x01]
 700
 701 // rdar://8017515
 702 btq $0x01,%rdx
 703 // CHECK: btq   $1, %rdx
 704 // CHECK:  encoding: [0x48,0x0f,0xba,0xe2,0x01]
 705
 706 //rdar://8017633
 707 // CHECK: movzbl        %al, %esi
 708 // CHECK:  encoding: [0x0f,0xb6,0xf0]
 709         movzx %al, %esi
 710
 711 // CHECK: movzbq        %al, %rsi
 712 // CHECK:  encoding: [0x48,0x0f,0xb6,0xf0]
 713         movzx %al, %rsi
 714
 715 // CHECK: movsbw        %al, %ax
 716 // CHECK: encoding: [0x66,0x0f,0xbe,0xc0]
 717 movsx %al, %ax
 718
 719 // CHECK: movsbl        %al, %eax
 720 // CHECK: encoding: [0x0f,0xbe,0xc0]
 721 movsx %al, %eax
 722
 723 // CHECK: movswl        %ax, %eax
 724 // CHECK: encoding: [0x0f,0xbf,0xc0]
 725 movsx %ax, %eax
 726
 727 // CHECK: movsbq        %bl, %rax
 728 // CHECK: encoding: [0x48,0x0f,0xbe,0xc3]
 729 movsx %bl, %rax
 730
 731 // CHECK: movswq %cx, %rax
 732 // CHECK: encoding: [0x48,0x0f,0xbf,0xc1]
 733 movsx %cx, %rax
 734
 735 // CHECK: movslq        %edi, %rax
 736 // CHECK: encoding: [0x48,0x63,0xc7]
 737 movsx %edi, %rax
 738
 739 // CHECK: movzbw        %al, %ax
 740 // CHECK: encoding: [0x66,0x0f,0xb6,0xc0]
 741 movzx %al, %ax
 742
 743 // CHECK: movzbl        %al, %eax
 744 // CHECK: encoding: [0x0f,0xb6,0xc0]
 745 movzx %al, %eax
 746
 747 // CHECK: movzwl        %ax, %eax
 748 // CHECK: encoding: [0x0f,0xb7,0xc0]
 749 movzx %ax, %eax
 750
 751 // CHECK: movzbq        %bl, %rax
 752 // CHECK: encoding: [0x48,0x0f,0xb6,0xc3]
 753 movzx %bl, %rax
 754
 755 // CHECK: movzwq        %cx, %rax
 756 // CHECK: encoding: [0x48,0x0f,0xb7,0xc1]
 757 movzx %cx, %rax
 758
 759 // CHECK: movsbw        (%rax), %ax
 760 // CHECK: encoding: [0x66,0x0f,0xbe,0x00]
 761 movsx (%rax), %ax
 762
 763 // CHECK: movzbw        (%rax), %ax
 764 // CHECK: encoding: [0x66,0x0f,0xb6,0x00]
 765 movzx (%rax), %ax
 766
 767
 768 // rdar://7873482
 769 // CHECK: [0x65,0x8b,0x04,0x25,0x7c,0x00,0x00,0x00]
 770         movl    %gs:124, %eax
 771
 772 // CHECK: jmpq *8(%rax)
 773 // CHECK:   encoding: [0xff,0x60,0x08]
 774         jmp     *8(%rax)
 775
 776 // CHECK: btq $61, -216(%rbp)
 777 // CHECK:   encoding: [0x48,0x0f,0xba,0xa5,0x28,0xff,0xff,0xff,0x3d]
 778         btq     $61, -216(%rbp)
 779
 780
 781 // rdar://8061602
 782 L1:
 783   jecxz L1
 784 // CHECK: jecxz L1
 785 // CHECK:   encoding: [0x67,0xe3,A]
 786   jrcxz L1
 787 // CHECK: jrcxz L1
 788 // CHECK:   encoding: [0xe3,A]
 789
 790 // PR8061
 791 xchgl   368(%rax),%ecx
 792 // CHECK: xchgl %ecx, 368(%rax)
 793 xchgl   %ecx, 368(%rax)
 794 // CHECK: xchgl %ecx, 368(%rax)
 795
 796 // rdar://8407548
 797 xchg    0xdeadbeef(%rbx,%rcx,8),%bl
 798 // CHECK: xchgb %bl, 3735928559(%rbx,%rcx,8)
 799
 800
 801
 802 // PR7254
 803 lock  incl 1(%rsp)
 804 // CHECK: lock
 805 // CHECK: incl 1(%rsp)
 806
 807 // rdar://8741045
 808 lock/incl 1(%rsp)
 809 // CHECK: lock
 810 // CHECK: incl 1(%rsp)
 811
 812 // rdar://8033482
 813 rep movsl
 814 // CHECK: rep
 815 // CHECK: encoding: [0xf3]
 816 // CHECK: movsd
 817 // CHECK: encoding: [0xa5]
 818
 819
 820 // rdar://8403974
 821 iret
 822 // CHECK: iretl
 823 // CHECK: encoding: [0xcf]
 824 iretw
 825 // CHECK: iretw
 826 // CHECK: encoding: [0x66,0xcf]
 827 iretl
 828 // CHECK: iretl
 829 // CHECK: encoding: [0xcf]
 830 iretq
 831 // CHECK: iretq
 832 // CHECK: encoding: [0x48,0xcf]
 833
 834 // rdar://8416805
 835 // CHECK: retw  $31438
 836 // CHECK:  encoding: [0x66,0xc2,0xce,0x7a]
 837                 retw    $0x7ace
 838
 839 // CHECK: lretw $31438
 840 // CHECK:  encoding: [0x66,0xca,0xce,0x7a]
 841                 lretw   $0x7ace
 842
 843 // PR8592
 844 lretq  // CHECK: lretq # encoding: [0x48,0xcb]
 845 lretl  // CHECK: lretl # encoding: [0xcb]
 846 lret   // CHECK: lretl # encoding: [0xcb]
 847 lretw  // CHECK: lretw # encoding: [0x66,0xcb]
 848
 849 // rdar://8403907
 850 sysret
 851 // CHECK: sysretl
 852 // CHECK: encoding: [0x0f,0x07]
 853 sysretl
 854 // CHECK: sysretl
 855 // CHECK: encoding: [0x0f,0x07]
 856 sysretq
 857 // CHECK: sysretq
 858 // CHECK: encoding: [0x48,0x0f,0x07]
 859
 860 // rdar://8407242
 861 push %fs
 862 // CHECK: pushq %fs
 863 // CHECK: encoding: [0x0f,0xa0]
 864 push %gs
 865 // CHECK: pushq %gs
 866 // CHECK: encoding: [0x0f,0xa8]
 867
 868 pushw %fs
 869 // CHECK: pushw %fs
 870 // CHECK: encoding: [0x66,0x0f,0xa0]
 871 pushw %gs
 872 // CHECK: pushw %gs
 873 // CHECK: encoding: [0x66,0x0f,0xa8]
 874
 875
 876 pop %fs
 877 // CHECK: popq  %fs
 878 // CHECK: encoding: [0x0f,0xa1]
 879 pop %gs
 880 // CHECK: popq  %gs
 881 // CHECK: encoding: [0x0f,0xa9]
 882
 883 popw %fs
 884 // CHECK: popw  %fs
 885 // CHECK: encoding: [0x66,0x0f,0xa1]
 886 popw %gs
 887 // CHECK: popw  %gs
 888 // CHECK: encoding: [0x66,0x0f,0xa9]
 889
 890 // rdar://8438816
 891 fildq -8(%rsp)
 892 fildll -8(%rsp)
 893 // CHECK: fildll        -8(%rsp)
 894 // CHECK: encoding: [0xdf,0x6c,0x24,0xf8]
 895 // CHECK: fildll        -8(%rsp)
 896 // CHECK: encoding: [0xdf,0x6c,0x24,0xf8]
 897
 898 // CHECK: callq a
 899         callq a
 900
 901 // CHECK: leaq  -40(%rbp), %r15
 902         leaq    -40(%rbp), %r15
 903
 904
 905
 906 // rdar://8013734 - Alias dr6=db6
 907 mov %dr6, %rax
 908 mov %db6, %rax
 909 // CHECK: movq  %dr6, %rax
 910 // CHECK: movq  %dr6, %rax
 911
 912
 913 // INC/DEC encodings.
 914 incb %al  // CHECK:     incb    %al # encoding: [0xfe,0xc0]
 915 incw %ax  // CHECK:     incw    %ax # encoding: [0x66,0xff,0xc0]
 916 incl %eax // CHECK:     incl    %eax # encoding: [0xff,0xc0]
 917 decb %al  // CHECK:     decb    %al # encoding: [0xfe,0xc8]
 918 decw %ax  // CHECK:     decw    %ax # encoding: [0x66,0xff,0xc8]
 919 decl %eax // CHECK:     decl    %eax # encoding: [0xff,0xc8]
 920
 921 // rdar://8416805
 922 // CHECK: lgdt  4(%rax)
 923 // CHECK:  encoding: [0x0f,0x01,0x50,0x04]
 924                 lgdt    4(%rax)
 925
 926 // CHECK: lgdt  4(%rax)
 927 // CHECK:  encoding: [0x0f,0x01,0x50,0x04]
 928                 lgdtq   4(%rax)
 929
 930 // CHECK: lidt  4(%rax)
 931 // CHECK:  encoding: [0x0f,0x01,0x58,0x04]
 932                 lidt    4(%rax)
 933
 934 // CHECK: lidt  4(%rax)
 935 // CHECK:  encoding: [0x0f,0x01,0x58,0x04]
 936                 lidtq   4(%rax)
 937
 938 // CHECK: sgdt  4(%rax)
 939 // CHECK:  encoding: [0x0f,0x01,0x40,0x04]
 940                 sgdt    4(%rax)
 941
 942 // CHECK: sgdt  4(%rax)
 943 // CHECK:  encoding: [0x0f,0x01,0x40,0x04]
 944                 sgdtq   4(%rax)
 945
 946 // CHECK: sidt  4(%rax)
 947 // CHECK:  encoding: [0x0f,0x01,0x48,0x04]
 948                 sidt    4(%rax)
 949
 950 // CHECK: sidt  4(%rax)
 951 // CHECK:  encoding: [0x0f,0x01,0x48,0x04]
 952                 sidtq   4(%rax)
 953
 954
 955 // rdar://8208615
 956 mov (%rsi), %gs  // CHECK: movl (%rsi), %gs # encoding: [0x8e,0x2e]
 957 mov %gs, (%rsi)  // CHECK: movl %gs, (%rsi) # encoding: [0x8c,0x2e]
 958
 959
 960 // rdar://8431864
 961         div     %bl,%al
 962         div     %bx,%ax
 963         div     %ecx,%eax
 964         div     0xdeadbeef(%ebx,%ecx,8),%eax
 965         div     0x45,%eax
 966         div     0x7eed,%eax
 967         div     0xbabecafe,%eax
 968         div     0x12345678,%eax
 969         idiv    %bl,%al
 970         idiv    %bx,%ax
 971         idiv    %ecx,%eax
 972         idiv    0xdeadbeef(%ebx,%ecx,8),%eax
 973         idiv    0x45,%eax
 974         idiv    0x7eed,%eax
 975         idiv    0xbabecafe,%eax
 976         idiv    0x12345678,%eax
 977
 978 // PR8524
 979 movd    %rax, %mm5 // CHECK: movd %rax, %mm5 # encoding: [0x48,0x0f,0x6e,0xe8]
 980 movd    %mm5, %rbx // CHECK: movd %mm5, %rbx # encoding: [0x48,0x0f,0x7e,0xeb]
 981 movq    %rax, %mm5 // CHECK: movd %rax, %mm5 # encoding: [0x48,0x0f,0x6e,0xe8]
 982 movq    %mm5, %rbx // CHECK: movd %mm5, %rbx # encoding: [0x48,0x0f,0x7e,0xeb]
 983
 984 rex64 // CHECK: rex64 # encoding: [0x48]
 985 data16 // CHECK: data16 # encoding: [0x66]
 986
 987 // PR8855
 988 movq 18446744073709551615,%rbx   // CHECK: movq -1, %rbx
 989
 990 // PR8946
 991 movdqu  %xmm0, %xmm1 // CHECK: movdqu   %xmm0, %xmm1 # encoding: [0xf3,0x0f,0x6f,0xc8]
 992
 993 // PR8935
 994 xgetbv // CHECK: xgetbv # encoding: [0x0f,0x01,0xd0]
 995 xsetbv // CHECK: xsetbv # encoding: [0x0f,0x01,0xd1]
 996
 997 // CHECK: loope 0
 998 // CHECK: encoding: [0xe1,A]
 999         loopz 0
1000
1001 // CHECK: loopne 0
1002 // CHECK: encoding: [0xe0,A]
1003         loopnz 0
1004
1005 // CHECK: outsb # encoding: [0x6e]
1006 // CHECK: outsb
1007 // CHECK: outsb
1008         outsb
1009         outsb   %ds:(%rsi), %dx
1010         outsb   (%rsi), %dx
1011
1012 // CHECK: outsw # encoding: [0x66,0x6f]
1013 // CHECK: outsw
1014 // CHECK: outsw
1015         outsw
1016         outsw   %ds:(%rsi), %dx
1017         outsw   (%rsi), %dx
1018
1019 // CHECK: outsl # encoding: [0x6f]
1020 // CHECK: outsl
1021         outsl
1022         outsl   %ds:(%rsi), %dx
1023         outsl   (%rsi), %dx
1024
1025 // CHECK: insb # encoding: [0x6c]
1026 // CHECK: insb
1027         insb
1028         insb    %dx, %es:(%rdi)
1029
1030 // CHECK: insw # encoding: [0x66,0x6d]
1031 // CHECK: insw
1032         insw
1033         insw    %dx, %es:(%rdi)
1034
1035 // CHECK: insl # encoding: [0x6d]
1036 // CHECK: insl
1037         insl
1038         insl    %dx, %es:(%rdi)
1039
1040 // CHECK: movsb # encoding: [0xa4]
1041 // CHECK: movsb
1042 // CHECK: movsb
1043         movsb
1044         movsb   %ds:(%rsi), %es:(%rdi)
1045         movsb   (%rsi), %es:(%rdi)
1046
1047 // CHECK: movsw # encoding: [0x66,0xa5]
1048 // CHECK: movsw
1049 // CHECK: movsw
1050         movsw
1051         movsw   %ds:(%rsi), %es:(%rdi)
1052         movsw   (%rsi), %es:(%rdi)
1053
1054 // CHECK: movsd # encoding: [0xa5]
1055 // CHECK: movsd
1056 // CHECK: movsd
1057         movsl
1058         movsl   %ds:(%rsi), %es:(%rdi)
1059         movsl   (%rsi), %es:(%rdi)
1060 // rdar://10883092
1061 // CHECK: movsd
1062         movsl   (%rsi), (%rdi)
1063
1064 // CHECK: movsq # encoding: [0x48,0xa5]
1065 // CHECK: movsq
1066 // CHECK: movsq
1067         movsq
1068         movsq   %ds:(%rsi), %es:(%rdi)
1069         movsq   (%rsi), %es:(%rdi)
1070
1071 // CHECK: lodsb # encoding: [0xac]
1072 // CHECK: lodsb
1073 // CHECK: lodsb
1074 // CHECK: lodsb
1075 // CHECK: lodsb
1076         lodsb
1077         lodsb   %ds:(%rsi), %al
1078         lodsb   (%rsi), %al
1079         lods    %ds:(%rsi), %al
1080         lods    (%rsi), %al
1081
1082 // CHECK: lodsw # encoding: [0x66,0xad]
1083 // CHECK: lodsw
1084 // CHECK: lodsw
1085 // CHECK: lodsw
1086 // CHECK: lodsw
1087         lodsw
1088         lodsw   %ds:(%rsi), %ax
1089         lodsw   (%rsi), %ax
1090         lods    %ds:(%rsi), %ax
1091         lods    (%rsi), %ax
1092
1093 // CHECK: lodsl # encoding: [0xad]
1094 // CHECK: lodsl
1095 // CHECK: lodsl
1096 // CHECK: lodsl
1097 // CHECK: lodsl
1098         lodsl
1099         lodsl   %ds:(%rsi), %eax
1100         lodsl   (%rsi), %eax
1101         lods    %ds:(%rsi), %eax
1102         lods    (%rsi), %eax
1103
1104 // CHECK: lodsq # encoding: [0x48,0xad]
1105 // CHECK: lodsq
1106 // CHECK: lodsq
1107 // CHECK: lodsq
1108 // CHECK: lodsq
1109         lodsq
1110         lodsq   %ds:(%rsi), %rax
1111         lodsq   (%rsi), %rax
1112         lods    %ds:(%rsi), %rax
1113         lods    (%rsi), %rax
1114
1115 // CHECK: stosb # encoding: [0xaa]
1116 // CHECK: stosb
1117 // CHECK: stosb
1118         stosb
1119         stosb   %al, %es:(%rdi)
1120         stos    %al, %es:(%rdi)
1121
1122 // CHECK: stosw # encoding: [0x66,0xab]
1123 // CHECK: stosw
1124 // CHECK: stosw
1125         stosw
1126         stosw   %ax, %es:(%rdi)
1127         stos    %ax, %es:(%rdi)
1128
1129 // CHECK: stosl # encoding: [0xab]
1130 // CHECK: stosl
1131 // CHECK: stosl
1132         stosl
1133         stosl   %eax, %es:(%rdi)
1134         stos    %eax, %es:(%rdi)
1135
1136 // CHECK: stosq # encoding: [0x48,0xab]
1137 // CHECK: stosq
1138 // CHECK: stosq
1139         stosq
1140         stosq   %rax, %es:(%rdi)
1141         stos    %rax, %es:(%rdi)
1142
1143 // CHECK: strw
1144 // CHECK: encoding: [0x66,0x0f,0x00,0xc8]
1145         str %ax
1146
1147 // CHECK: strl
1148 // CHECK: encoding: [0x0f,0x00,0xc8]
1149         str %eax
1150
1151 // CHECK: strw
1152 // CHECK: encoding: [0x66,0x0f,0x00,0xc8]
1153         str %ax
1154
1155 // CHECK: strq
1156 // CHECK: encoding: [0x48,0x0f,0x00,0xc8]
1157         str %rax
1158
1159 // CHECK: movd %rdi, %xmm0
1160 // CHECK: encoding: [0x66,0x48,0x0f,0x6e,0xc7]
1161         movq %rdi,%xmm0
1162
1163 // CHECK: movd %rdi, %xmm0
1164 // CHECK: encoding: [0x66,0x48,0x0f,0x6e,0xc7]
1165         movd %rdi,%xmm0
1166
1167 // CHECK: movd  %xmm0, %rax
1168 // CHECK: encoding: [0x66,0x48,0x0f,0x7e,0xc0]
1169         movd  %xmm0, %rax
1170
1171 // CHECK: movntil %eax, (%rdi)
1172 // CHECK: encoding: [0x0f,0xc3,0x07]
1173 // CHECK: movntil
1174 movntil %eax, (%rdi)
1175 movnti %eax, (%rdi)
1176
1177 // CHECK: movntiq %rax, (%rdi)
1178 // CHECK: encoding: [0x48,0x0f,0xc3,0x07]
1179 // CHECK: movntiq
1180 movntiq %rax, (%rdi)
1181 movnti %rax, (%rdi)
1182
1183 // CHECK: pclmulqdq     $17, %xmm0, %xmm1
1184 // CHECK: encoding: [0x66,0x0f,0x3a,0x44,0xc8,0x11]
1185 pclmulhqhqdq %xmm0, %xmm1
1186
1187 // CHECK: pclmulqdq     $1, %xmm0, %xmm1
1188 // CHECK: encoding: [0x66,0x0f,0x3a,0x44,0xc8,0x01]
1189 pclmulqdq $1, %xmm0, %xmm1
1190
1191 // CHECK: pclmulqdq     $16, (%rdi), %xmm1
1192 // CHECK: encoding: [0x66,0x0f,0x3a,0x44,0x0f,0x10]
1193 pclmullqhqdq (%rdi), %xmm1
1194
1195 // CHECK: pclmulqdq     $0, (%rdi), %xmm1
1196 // CHECK: encoding: [0x66,0x0f,0x3a,0x44,0x0f,0x00]
1197 pclmulqdq $0, (%rdi), %xmm1
1198
1199 // PR10345
1200 // CHECK: xchgq %rax, %rax
1201 // CHECK: encoding: [0x48,0x90]
1202 xchgq %rax, %rax
1203
1204 // CHECK: xchgl %eax, %eax
1205 // CHECK: encoding: [0x87,0xc0]
1206 xchgl %eax, %eax
1207
1208 // CHECK: xchgw %ax, %ax
1209 // CHECK: encoding: [0x66,0x90]
1210 xchgw %ax, %ax
1211
1212 // CHECK: xchgl %ecx, %eax
1213 // CHECK: encoding: [0x91]
1214 xchgl %ecx, %eax
1215
1216 // CHECK: xchgl %ecx, %eax
1217 // CHECK: encoding: [0x91]
1218 xchgl %eax, %ecx
1219
1220 // CHECK: sysexit
1221 // CHECK: encoding: [0x0f,0x35]
1222 sysexit
1223
1224 // CHECK: sysexitl
1225 // CHECK: encoding: [0x0f,0x35]
1226 sysexitl
1227
1228 // CHECK: sysexitq
1229 // CHECK: encoding: [0x48,0x0f,0x35]
1230 sysexitq