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
8 // CHECK: addl $0, %eax
10 // CHECK: addb $255, %al
12 // CHECK: orq %rax, %rdx
14 // CHECK: shlq $3, %rax
18 // CHECK: subb %al, %al
21 // CHECK: addl $24, %eax
24 // CHECK: movl %eax, 10(%ebp)
26 // CHECK: movl %eax, 10(%ebp,%ebx)
27 movl %eax, 10(%ebp, %ebx)
28 // CHECK: movl %eax, 10(%ebp,%ebx,4)
29 movl %eax, 10(%ebp, %ebx, 4)
30 // CHECK: movl %eax, 10(,%ebx,4)
31 movl %eax, 10(, %ebx, 4)
33 // CHECK: movl 0, %eax
35 // CHECK: movl $0, %eax
41 // FIXME: Check that this matches SUB32ri8
42 // CHECK: subl $1, %eax
45 // FIXME: Check that this matches SUB32ri8
46 // CHECK: subl $-1, %eax
49 // FIXME: Check that this matches SUB32ri
50 // CHECK: subl $256, %eax
53 // FIXME: Check that this matches XOR64ri8
54 // CHECK: xorq $1, %rax
57 // FIXME: Check that this matches XOR64ri32
58 // CHECK: xorq $256, %rax
61 // FIXME: Check that this matches SUB8rr
62 // CHECK: subb %al, %bl
65 // FIXME: Check that this matches SUB16rr
66 // CHECK: subw %ax, %bx
69 // FIXME: Check that this matches SUB32rr
70 // CHECK: subl %eax, %ebx
73 // FIXME: Check that this matches the correct instruction.
77 // FIXME: Check that this matches the correct instruction.
78 // CHECK: shldl %cl, %eax, %ebx
81 // CHECK: shll $2, %eax
84 // CHECK: shll $2, %eax
101 smovb // CHECK: movsb
102 smovw // CHECK: movsw
103 smovl // CHECK: movsl
104 smovq // CHECK: movsq
119 // NOTE: repz and repe have the same opcode as rep
124 // NOTE: repnz has the same opcode as repne
129 // NOTE: repe and repz have the same opcode as rep
139 // CHECK: cmpxchgb %al, (%ebx)
140 lock;cmpxchgb %al, 0(%ebx)
143 // CHECK: movb (%eax), %al
147 // CHECK: movb (%eax), %al
151 // CHECK: movb (%eax), %al
155 // CHECK: movb (%eax), %al
159 // CHECK: movb (%eax), %al
163 // CHECK: movb (%eax), %al
166 // CHECK: fadd %st(0)
167 // CHECK: fadd %st(1)
168 // CHECK: fadd %st(7)
174 // CHECK: leal 0, %eax
177 // rdar://7986634 - Insensitivity on opcodes.
182 // Allow scale factor without index register.
183 // CHECK: movaps %xmm3, (%esi)
184 // CHECK-STDERR: warning: scale factor without index register is ignored
185 movaps %xmm3, (%esi, 2)
187 // CHECK: imull $12, %eax, %eax
190 // CHECK: imull %ecx, %eax
195 // CHECK: outb %al, $161
197 // CHECK: outw %ax, $128
199 // CHECK: inb $161, %al
211 // CHECK: cmovnew %bx, %ax
213 // CHECK: cmovneq %rbx, %rax
218 // CHECK: inb $127, %al
219 // CHECK: inw %dx, %ax
220 // CHECK: outb %al, $127
221 // CHECK: outw %ax, %dx
222 // CHECK: inl %dx, %eax
231 // CHECK: outb %al, %dx
232 // CHECK: outw %ax, %dx
233 // CHECK: outl %eax, %dx
242 // CHECK: fxch %st(1)
243 // CHECK: fucom %st(1)
244 // CHECK: fucomp %st(1)
245 // CHECK: faddp %st(1)
246 // CHECK: faddp %st(0)
247 // CHECK: fsubp %st(1)
248 // CHECK: fsubrp %st(1)
249 // CHECK: fmulp %st(1)
250 // CHECK: fdivp %st(1)
251 // CHECK: fdivrp %st(1)
264 // CHECK: fcomi %st(1), %st(0)
265 // CHECK: fcomi %st(2), %st(0)
266 // CHECK: fucomi %st(1), %st(0)
267 // CHECK: fucomi %st(2), %st(0)
268 // CHECK: fucomi %st(2), %st(0)
287 // CHECK: rclb $1, %bl
288 // CHECK: rcll $1, 3735928559(%ebx,%ecx,8)
289 // CHECK: rcrl $1, %ecx
290 // CHECK: rcrl $1, 305419896
293 rcll 0xdeadbeef(%ebx,%ecx,8)
298 // CHECK: shldw $1, %bx, %bx
299 // CHECK: shldw $1, %bx, %bx
300 // CHECK: shrdw $1, %bx, %bx
301 // CHECK: shrdw $1, %bx, %bx
309 // CHECK: encoding: [0x0f,0x00,0xc1]
311 // CHECK: encoding: [0x66,0x0f,0x00,0xc1]
316 // CHECK: lcalll *3135175374
317 // CHECK: ljmpl *3135175374
323 // CHECK: enter $31438, $0
324 // CHECK: encoding: [0xc8,0xce,0x7a,0x00]
325 // CHECK: enter $31438, $1
326 // CHECK: encoding: [0xc8,0xce,0x7a,0x01]
327 // CHECK: enter $31438, $127
328 // CHECK: encoding: [0xc8,0xce,0x7a,0x7f]
335 // CHECK: fstps (%eax)
336 // CHECK: encoding: [0x67,0xd9,0x18]
340 // CHECK: movw %cs, %ax
344 fcmovb %st(1), %st(0) // CHECK: fcmovb %st(1), %st(0)
345 fcmove %st(1), %st(0) // CHECK: fcmove %st(1), %st(0)
346 fcmovbe %st(1), %st(0) // CHECK: fcmovbe %st(1), %st(0)
347 fcmovu %st(1), %st(0) // CHECK: fcmovu %st(1), %st(0)
349 fcmovnb %st(1), %st(0) // CHECK: fcmovnb %st(1), %st(0)
350 fcmovne %st(1), %st(0) // CHECK: fcmovne %st(1), %st(0)
351 fcmovnbe %st(1), %st(0) // CHECK: fcmovnbe %st(1), %st(0)
352 fcmovnu %st(1), %st(0) // CHECK: fcmovnu %st(1), %st(0)
354 fcmovnae %st(1), %st(0) // CHECK: fcmovb %st(1), %st(0)
355 fcmovna %st(1), %st(0) // CHECK: fcmovbe %st(1), %st(0)
357 fcmovae %st(1), %st(0) // CHECK: fcmovnb %st(1), %st(0)
358 fcmova %st(1), %st(0) // CHECK: fcmovnbe %st(1), %st(0)
361 .byte 88 + 1 & 15 // CHECK: .byte 9
365 // CHECK: movq %rdx, %cr0
366 // CHECK: encoding: [0x0f,0x22,0xc2]
368 // CHECK: movq %rdx, %cr4
369 // CHECK: encoding: [0x0f,0x22,0xe2]
371 // CHECK: movq %rdx, %cr8
372 // CHECK: encoding: [0x44,0x0f,0x22,0xc2]
374 // CHECK: movq %rdx, %cr15
375 // CHECK: encoding: [0x44,0x0f,0x22,0xfa]
377 // rdar://8456371 - Handle commutable instructions written backward.
378 // CHECK: faddp %st(1)
379 // CHECK: fmulp %st(2)
383 // rdar://8468087 - Encode these accurately, they are not synonyms.
384 // CHECK: fmul %st(0), %st(1)
385 // CHECK: encoding: [0xdc,0xc9]
386 // CHECK: fmul %st(1)
387 // CHECK: encoding: [0xd8,0xc9]
391 // CHECK: fadd %st(0), %st(1)
392 // CHECK: encoding: [0xdc,0xc1]
393 // CHECK: fadd %st(1)
394 // CHECK: encoding: [0xd8,0xc1]
400 // CHECK: xorb %al, %al
401 // CHECK: encoding: [0x30,0xc0]
402 // CHECK: xorw %di, %di
403 // CHECK: encoding: [0x66,0x31,0xff]
404 // CHECK: xorl %esi, %esi
405 // CHECK: encoding: [0x31,0xf6]
406 // CHECK: xorq %rsi, %rsi
407 // CHECK: encoding: [0x48,0x31,0xf6]
424 // rdar://8456378 and PR7557 - fstsw
430 // CHECK: fnstsw (%rax)
435 // CHECK: fnstcw (%rsp)
440 // CHECK: fnstcw (%rsp)
449 // CHECK: fnsave 32493
452 // rdar://8456382 - cvtsd2si support.
454 // CHECK: cvtsd2siq %xmm1, %rax
455 // CHECK: encoding: [0xf2,0x48,0x0f,0x2d,0xc1]
457 // CHECK: cvtsd2sil %xmm1, %eax
458 // CHECK: encoding: [0xf2,0x0f,0x2d,0xc1]
460 cvtsd2siq %xmm0, %rax // CHECK: cvtsd2siq %xmm0, %rax
461 cvtsd2sil %xmm0, %eax // CHECK: cvtsd2sil %xmm0, %eax
462 cvtsd2si %xmm0, %rax // CHECK: cvtsd2siq %xmm0, %rax
465 cvttpd2dq %xmm1, %xmm0 // CHECK: cvttpd2dq %xmm1, %xmm0
466 cvttpd2dq (%rax), %xmm0 // CHECK: cvttpd2dq (%rax), %xmm0
468 cvttps2dq %xmm1, %xmm0 // CHECK: cvttps2dq %xmm1, %xmm0
469 cvttps2dq (%rax), %xmm0 // CHECK: cvttps2dq (%rax), %xmm0
471 // rdar://8456376 - llvm-mc rejects 'roundss'
472 roundss $0xE, %xmm0, %xmm0 // CHECK: encoding: [0x66,0x0f,0x3a,0x0a,0xc0,0x0e]
473 roundps $0xE, %xmm0, %xmm0 // CHECK: encoding: [0x66,0x0f,0x3a,0x08,0xc0,0x0e]
474 roundsd $0xE, %xmm0, %xmm0 // CHECK: encoding: [0x66,0x0f,0x3a,0x0b,0xc0,0x0e]
475 roundpd $0xE, %xmm0, %xmm0 // CHECK: encoding: [0x66,0x0f,0x3a,0x09,0xc0,0x0e]
478 // rdar://8482675 - 32-bit mem operand support in 64-bit mode (0x67 prefix)
480 // CHECK: leal 8(%eax), %esi
481 // CHECK: encoding: [0x67,0x8d,0x70,0x08]
483 // CHECK: leaq 8(%eax), %rsi
484 // CHECK: encoding: [0x67,0x48,0x8d,0x70,0x08]
486 // CHECK: leaq 8(%rax), %rsi
487 // CHECK: encoding: [0x48,0x8d,0x70,0x08]
490 cvttpd2dq 0xdeadbeef(%ebx,%ecx,8),%xmm5
491 // CHECK: cvttpd2dq 3735928559(%ebx,%ecx,8), %xmm5
492 // CHECK: encoding: [0x67,0x66,0x0f,0xe6,0xac,0xcb,0xef,0xbe,0xad,0xde]
494 // rdar://8490728 - llvm-mc rejects 'movmskpd'
496 // CHECK: movmskpd %xmm6, %rax
497 // CHECK: encoding: [0x66,0x48,0x0f,0x50,0xc6]
499 // CHECK: movmskpd %xmm6, %eax
500 // CHECK: encoding: [0x66,0x0f,0x50,0xc6]
502 // rdar://8491845 - Gas supports commuted forms of non-commutable instructions.
503 fdivrp %st(0), %st(1) // CHECK: encoding: [0xde,0xf9]
504 fdivrp %st(1), %st(0) // CHECK: encoding: [0xde,0xf9]
506 fsubrp %ST(0), %ST(1) // CHECK: encoding: [0xde,0xe9]
507 fsubrp %ST(1), %ST(0) // CHECK: encoding: [0xde,0xe9]
511 // CHECK: movl foo(%rip), %eax
512 // CHECK: encoding: [0x8b,0x05,A,A,A,A]
513 // CHECK: fixup A - offset: 2, value: foo-4, kind: reloc_riprel_4byte
516 // CHECK: movb $12, foo(%rip)
517 // CHECK: encoding: [0xc6,0x05,A,A,A,A,0x0c]
518 // CHECK: fixup A - offset: 2, value: foo-5, kind: reloc_riprel_4byte
521 // CHECK: movw $12, foo(%rip)
522 // CHECK: encoding: [0x66,0xc7,0x05,A,A,A,A,0x0c,0x00]
523 // CHECK: fixup A - offset: 3, value: foo-6, kind: reloc_riprel_4byte
526 // CHECK: movl $12, foo(%rip)
527 // CHECK: encoding: [0xc7,0x05,A,A,A,A,0x0c,0x00,0x00,0x00]
528 // CHECK: fixup A - offset: 2, value: foo-8, kind: reloc_riprel_4byte
531 // CHECK: movq $12, foo(%rip)
532 // CHECK: encoding: [0x48,0xc7,0x05,A,A,A,A,0x0c,0x00,0x00,0x00]
533 // CHECK: fixup A - offset: 3, value: foo-8, kind: reloc_riprel_4byte
535 // CHECK: addq $-424, %rax
536 // CHECK: encoding: [0x48,0x05,0x58,0xfe,0xff,0xff]
540 // CHECK: movq _foo@GOTPCREL(%rip), %rax
541 // CHECK: encoding: [0x48,0x8b,0x05,A,A,A,A]
542 // CHECK: fixup A - offset: 3, value: _foo@GOTPCREL-4, kind: reloc_riprel_4byte_movq_load
543 movq _foo@GOTPCREL(%rip), %rax
545 // CHECK: movq _foo@GOTPCREL(%rip), %r14
546 // CHECK: encoding: [0x4c,0x8b,0x35,A,A,A,A]
547 // CHECK: fixup A - offset: 3, value: _foo@GOTPCREL-4, kind: reloc_riprel_4byte_movq_load
548 movq _foo@GOTPCREL(%rip), %r14
551 // CHECK: movq (%r13,%rax,8), %r13
552 // CHECK: encoding: [0x4d,0x8b,0x6c,0xc5,0x00]
553 movq 0x00(%r13,%rax,8),%r13
555 // CHECK: testq %rax, %rbx
556 // CHECK: encoding: [0x48,0x85,0xd8]
559 // CHECK: cmpq %rbx, %r14
560 // CHECK: encoding: [0x49,0x39,0xde]
567 // CHECK: encoding: [0x48,0xa5]
571 // CHECK: encoding: [0xa5]
575 // CHECK: encoding: [0x48,0xab]
578 // CHECK: encoding: [0xab]
581 // Not moffset forms of moves, they are x86-32 only! rdar://7947184
582 movb 0, %al // CHECK: movb 0, %al # encoding: [0x8a,0x04,0x25,0x00,0x00,0x00,0x00]
583 movw 0, %ax // CHECK: movw 0, %ax # encoding: [0x66,0x8b,0x04,0x25,0x00,0x00,0x00,0x00]
584 movl 0, %eax // CHECK: movl 0, %eax # encoding: [0x8b,0x04,0x25,0x00,0x00,0x00,0x00]
586 // CHECK: pushfq # encoding: [0x9c]
588 // CHECK: pushfq # encoding: [0x9c]
590 // CHECK: popfq # encoding: [0x9d]
592 // CHECK: popfq # encoding: [0x9d]
595 // CHECK: movabsq $-281474976710654, %rax
596 // CHECK: encoding: [0x48,0xb8,0x02,0x00,0x00,0x00,0x00,0x00,0xff,0xff]
597 movabsq $0xFFFF000000000002, %rax
599 // CHECK: movabsq $-281474976710654, %rax
600 // CHECK: encoding: [0x48,0xb8,0x02,0x00,0x00,0x00,0x00,0x00,0xff,0xff]
601 movq $0xFFFF000000000002, %rax
603 // CHECK: movq $-65536, %rax
604 // CHECK: encoding: [0x48,0xc7,0xc0,0x00,0x00,0xff,0xff]
605 movq $0xFFFFFFFFFFFF0000, %rax
607 // CHECK: movq $-256, %rax
608 // CHECK: encoding: [0x48,0xc7,0xc0,0x00,0xff,0xff,0xff]
609 movq $0xFFFFFFFFFFFFFF00, %rax
611 // CHECK: movq $10, %rax
612 // CHECK: encoding: [0x48,0xc7,0xc0,0x0a,0x00,0x00,0x00]
618 // CHECK: encoding: [0xc3]
622 // CHECK: encoding: [0x0f,0x94,0xc0]
626 // CHECK: encoding: [0x0f,0x95,0xc0]
630 // CHECK: encoding: [0x74,A]
634 // CHECK: encoding: [0x75,A]
639 // CHECK: btq $1, %rdx
640 // CHECK: encoding: [0x48,0x0f,0xba,0xe2,0x01]
643 // CHECK: movzbl %al, %esi
644 // CHECK: encoding: [0x0f,0xb6,0xf0]
647 // CHECK: movzbq %al, %rsi
648 // CHECK: encoding: [0x48,0x0f,0xb6,0xf0]
651 // CHECK: movzbq (%rsp), %rsi
652 // CHECK: encoding: [0x48,0x0f,0xb6,0x34,0x24]
657 // CHECK: [0x65,0x8b,0x04,0x25,0x7c,0x00,0x00,0x00]
660 // CHECK: jmpq *8(%rax)
661 // CHECK: encoding: [0xff,0x60,0x08]
664 // CHECK: btq $61, -216(%rbp)
665 // CHECK: encoding: [0x48,0x0f,0xba,0xa5,0x28,0xff,0xff,0xff,0x3d]
673 // CHECK: encoding: [0x67,0xe3,A]
676 // CHECK: encoding: [0xe3,A]
680 // CHECK: xchgl %ecx, 368(%rax)
681 xchgl %ecx, 368(%rax)
682 // CHECK: xchgl %ecx, 368(%rax)
685 xchg 0xdeadbeef(%rbx,%rcx,8),%bl
686 // CHECK: xchgb %bl, 3735928559(%rbx,%rcx,8)
693 // CHECK: incl 1(%rsp)
698 // CHECK: encoding: [0xf3]
700 // CHECK: encoding: [0xa5]
706 // CHECK: encoding: [0xcf]
709 // CHECK: encoding: [0x66,0xcf]
712 // CHECK: encoding: [0xcf]
715 // CHECK: encoding: [0x48,0xcf]
718 // CHECK: retw $31438
719 // CHECK: encoding: [0x66,0xc2,0xce,0x7a]
722 // CHECK: lretw $31438
723 // CHECK: encoding: [0x66,0xca,0xce,0x7a]
729 // CHECK: encoding: [0x0f,0x07]
732 // CHECK: encoding: [0x0f,0x07]
735 // CHECK: encoding: [0x48,0x0f,0x07]
740 // CHECK: encoding: [0x0f,0xa0]
743 // CHECK: encoding: [0x0f,0xa8]
747 // CHECK: encoding: [0x66,0x0f,0xa0]
750 // CHECK: encoding: [0x66,0x0f,0xa8]
755 // CHECK: encoding: [0x0f,0xa1]
758 // CHECK: encoding: [0x0f,0xa9]
762 // CHECK: encoding: [0x66,0x0f,0xa1]
765 // CHECK: encoding: [0x66,0x0f,0xa9]
770 // CHECK: fildll -8(%rsp)
771 // CHECK: encoding: [0xdf,0x6c,0x24,0xf8]
772 // CHECK: fildll -8(%rsp)
773 // CHECK: encoding: [0xdf,0x6c,0x24,0xf8]
778 // CHECK: leaq -40(%rbp), %r15
783 // rdar://8013734 - Alias dr6=db6
786 // CHECK: movq %dr6, %rax
787 // CHECK: movq %dr6, %rax
790 // INC/DEC encodings.
791 incb %al // CHECK: incb %al # encoding: [0xfe,0xc0]
792 incw %ax // CHECK: incw %ax # encoding: [0x66,0xff,0xc0]
793 incl %eax // CHECK: incl %eax # encoding: [0xff,0xc0]
794 decb %al // CHECK: decb %al # encoding: [0xfe,0xc8]
795 decw %ax // CHECK: decw %ax # encoding: [0x66,0xff,0xc8]
796 decl %eax // CHECK: decl %eax # encoding: [0xff,0xc8]
799 // CHECK: lgdt 4(%rax)
800 // CHECK: encoding: [0x0f,0x01,0x50,0x04]
803 // CHECK: lgdt 4(%rax)
804 // CHECK: encoding: [0x0f,0x01,0x50,0x04]
807 // CHECK: lidt 4(%rax)
808 // CHECK: encoding: [0x0f,0x01,0x58,0x04]
811 // CHECK: lidt 4(%rax)
812 // CHECK: encoding: [0x0f,0x01,0x58,0x04]
815 // CHECK: sgdt 4(%rax)
816 // CHECK: encoding: [0x0f,0x01,0x40,0x04]
819 // CHECK: sgdt 4(%rax)
820 // CHECK: encoding: [0x0f,0x01,0x40,0x04]
823 // CHECK: sidt 4(%rax)
824 // CHECK: encoding: [0x0f,0x01,0x48,0x04]
827 // CHECK: sidt 4(%rax)
828 // CHECK: encoding: [0x0f,0x01,0x48,0x04]