xref: /llvm-project/llvm/test/MC/X86/intel-syntax.s (revision 9844badfca51e0eba72964552fd624224cbaacb0)
1// RUN: llvm-mc -triple x86_64-unknown-unknown -x86-asm-syntax=intel %s > %t 2> %t.err
2// RUN: FileCheck < %t %s
3// RUN: FileCheck --check-prefix=CHECK-STDERR < %t.err %s
4
5_test:
6	xor	EAX, EAX
7	ret
8
9.set  number, 8
10.global _foo
11
12.text
13  .global main
14main:
15
16// CHECK: leaq    _foo(%rbx,%rax,8), %rdx
17  lea RDX, [8 * RAX + RBX      + _foo]
18// CHECK: leaq _foo(%rbx,%rax,8), %rdx
19  lea RDX, [_foo + 8 * RAX + RBX]
20// CHECK: leaq 8(%rcx,%rax,8), %rdx
21  lea RDX, [8 + RAX * 8 + RCX]
22// CHECK: leaq 8(%rcx,%rax,8), %rdx
23  lea RDX, [number + 8 * RAX + RCX]
24// CHECK: leaq _foo(,%rax,8), %rdx
25  lea RDX, [_foo + RAX * 8]
26// CHECK:  leaq _foo(%rbx,%rax,8), %rdx
27  lea RDX, [_foo + RAX * 8 + RBX]
28// CHECK: leaq -8(%rax), %rdx
29  lea RDX, [RAX - number]
30// CHECK: leaq -8(%rax), %rdx
31  lea RDX, [RAX - 8]
32// CHECK: leaq    _foo(%rax), %rdx
33  lea RDX, [RAX + _foo]
34// CHECK: leaq    8(%rax), %rdx
35  lea RDX, [RAX + number]
36// CHECK: leaq    8(%rax), %rdx
37  lea RDX, [RAX + 8]
38// CHECK: leaq    _foo(%rbx,%rax,8), %rdx
39  lea RDX, [RAX * number + RBX + _foo]
40// CHECK: leaq    _foo(%rbx,%rax,8), %rdx
41  lea RDX, [_foo + RAX * number + RBX]
42// CHECK: leaq    8(%rcx,%rax,8), %rdx
43  lea RDX, [number + RAX * number + RCX]
44// CHECK: leaq    _foo(,%rax,8), %rdx
45  lea RDX, [_foo + RAX * number]
46// CHECK: leaq    _foo(%rbx,%rax,8), %rdx
47  lea RDX, [number * RAX + RBX + _foo]
48// CHECK: leaq    _foo(%rbx,%rax,8), %rdx
49  lea RDX, [_foo + number * RAX + RBX]
50// CHECK: leaq    8(%rcx,%rax,8), %rdx
51  lea RDX, [8 + number * RAX + RCX]
52// CHECK: leaq    _foo(%rax), %rdx
53  lea RDX, [_foo + RAX]
54// CHECK: leaq    8(%rax), %rdx
55  lea RDX, [number + RAX]
56// CHECK: leaq    8(%rax), %rdx
57  lea RDX, [8 + RAX]
58
59// CHECK: lcalll *(%rax)
60  call FWORD ptr [rax]
61// CHECK: lcalll *(%rax)
62  lcall [rax]
63// CHECK: ljmpl *(%rax)
64  jmp FWORD ptr [rax]
65// CHECK: ljmpq *(%rax)
66  ljmp [rax]
67// CHECK: jmp _foo
68  jmp short _foo
69// CHECK: jb _foo
70  jc short _foo
71// CHECK: jae _foo
72  jnc short _foo
73// CHECK: jecxz _foo
74  jecxz short _foo
75// CHECK: jp _foo
76  jpe short _foo
77
78// CHECK:	movl	$257, -4(%rsp)
79	mov	DWORD PTR [RSP - 4], 257
80// CHECK:	movl	$258, 4(%rsp)
81	mov	DWORD PTR [RSP + 4], 258
82// CHECK:	movq	$123, -16(%rsp)
83	mov	QWORD PTR [RSP - 16], 123
84// CHECK:	movb	$97, -17(%rsp)
85	mov	BYTE PTR [RSP - 17], 97
86// CHECK:	movl	-4(%rsp), %eax
87	mov	EAX, DWORD PTR [RSP - 4]
88// CHECK:	movq    (%rsp), %rax
89	mov     RAX, QWORD PTR [RSP]
90// CHECK: movabsq $4294967289, %rax
91	mov     RAX, 4294967289
92// CHECK:	movl	$-4, -4(%rsp)
93	mov	DWORD PTR [RSP - 4], -4
94// CHECK:	movq	0, %rcx
95	mov	RCX, QWORD PTR [0]
96// CHECK:	movl	-24(%rsp,%rax,4), %eax
97	mov	EAX, DWORD PTR [RSP + 4*RAX - 24]
98// CHECK:	movb	%dil, (%rdx,%rcx)
99	mov	BYTE PTR [RDX + RCX], DIL
100// CHECK:	movzwl	2(%rcx), %edi
101	movzx	EDI, WORD PTR [RCX + 2]
102// CHECK:	callq	_test
103	call	_test
104// CHECK:	andw	$12,	%ax
105	and	ax, 12
106// CHECK:	andw	$-12,	%ax
107	and	ax, -12
108// CHECK:	andw	$257,	%ax
109	and	ax, 257
110// CHECK:	andw	$-257,	%ax
111	and	ax, -257
112// CHECK:	andl	$12,	%eax
113	and	eax, 12
114// CHECK:	andl	$-12,	%eax
115	and	eax, -12
116// CHECK:	andl	$257,	%eax
117	and	eax, 257
118// CHECK:	andl	$-257,	%eax
119	and	eax, -257
120// CHECK:	andq	$12,	%rax
121	and	rax, 12
122// CHECK:	andq	$-12,	%rax
123	and	rax, -12
124// CHECK:	andq	$257,	%rax
125	and	rax, 257
126// CHECK:	andq	$-257,	%rax
127	and	rax, -257
128// CHECK:	fld	%st(0)
129	fld	ST(0)
130// CHECK:	movl	%fs:(%rdi), %eax
131    mov EAX, DWORD PTR FS:[RDI]
132// CHECK: leal (,%rdi,4), %r8d
133    lea R8D, DWORD PTR [4*RDI]
134// CHECK: movl _fnan(,%ecx,4), %ecx
135    mov ECX, DWORD PTR [4*ECX + _fnan]
136// CHECK: movq %fs:320, %rax
137    mov RAX, QWORD PTR FS:[320]
138// CHECK: movq %fs:320, %rax
139    mov RAX, QWORD PTR FS:320
140// CHECK: movq %rax, %fs:320
141    mov QWORD PTR FS:320, RAX
142// CHECK: movq %rax, %fs:20(%rbx)
143    mov QWORD PTR FS:20[rbx], RAX
144// CHECK: vshufpd $1, %xmm2, %xmm1, %xmm0
145    vshufpd XMM0, XMM1, XMM2, 1
146// CHECK: vpgatherdd %xmm8, (%r15,%xmm9,2), %xmm1
147    vpgatherdd XMM10, DWORD PTR [R15 + 2*XMM9], XMM8
148// CHECK: movsd -8, %xmm5
149    movsd   XMM5, QWORD PTR [-8]
150// CHECK: movsl (%rsi), %es:(%rdi)
151    movsd
152// CHECK: movl %ecx, (%eax)
153    mov [eax], ecx
154// CHECK: movl %ecx, (,%ebx,4)
155    mov [4*ebx], ecx
156 // CHECK:   movl %ecx, (,%ebx,4)
157    mov [ebx*4], ecx
158// CHECK: movl %ecx, 1024
159    mov [1024], ecx
160// CHECK: movl %ecx, 4132
161    mov [0x1024], ecx
162// CHECK: movl %ecx, 32
163    mov [16 + 16], ecx
164// CHECK: movl %ecx, 0
165    mov [16 - 16], ecx
166// CHECK: movl %ecx, 32
167    mov [16][16], ecx
168// CHECK: movl %ecx, (%eax,%ebx,4)
169    mov [eax + 4*ebx], ecx
170// CHECK: movl %ecx, (%eax,%ebx,4)
171    mov [eax + ebx*4], ecx
172// CHECK: movl %ecx, (%eax,%ebx,4)
173    mov [4*ebx + eax], ecx
174// CHECK: movl %ecx, (%eax,%ebx,4)
175    mov [ebx*4 + eax], ecx
176// CHECK: movl %ecx, (%eax,%ebx,4)
177    mov [eax][4*ebx], ecx
178// CHECK: movl %ecx, (%eax,%ebx,4)
179    mov [eax][ebx*4], ecx
180// CHECK: movl %ecx, (%eax,%ebx,4)
181    mov [4*ebx][eax], ecx
182// CHECK: movl %ecx, (%eax,%ebx,4)
183    mov [ebx*4][eax], ecx
184// CHECK: movl %ecx, 12(%eax)
185    mov [eax + 12], ecx
186// CHECK: movl %ecx, 12(%eax)
187    mov [12 + eax], ecx
188// CHECK: movl %ecx, 32(%eax)
189    mov [eax + 16 + 16], ecx
190// CHECK: movl %ecx, 32(%eax)
191    mov [16 + eax + 16], ecx
192// CHECK: movl %ecx, 32(%eax)
193    mov [16 + 16 + eax], ecx
194// CHECK: movl %ecx, 12(%eax)
195    mov [eax][12], ecx
196// CHECK: movl %ecx, 12(%eax)
197    mov [12][eax], ecx
198// CHECK: movl %ecx, 32(%eax)
199    mov [eax][16 + 16], ecx
200// CHECK: movl %ecx, 32(%eax)
201    mov [eax + 16][16], ecx
202// CHECK: movl %ecx, 32(%eax)
203    mov [eax][16][16], ecx
204// CHECK: movl %ecx, 32(%eax)
205    mov [16][eax + 16], ecx
206// CHECK: movl %ecx, 32(%eax)
207    mov [16 + eax][16], ecx
208// CHECK: movl %ecx, 32(%eax)
209    mov [16][16 + eax], ecx
210// CHECK: movl %ecx, 32(%eax)
211    mov [16 + 16][eax], ecx
212// CHECK: movl %ecx, 32(%eax)
213    mov [eax][16][16], ecx
214// CHECK: movl %ecx, 32(%eax)
215    mov [16][eax][16], ecx
216// CHECK: movl %ecx, 32(%eax)
217    mov [16][16][eax], ecx
218// CHECK: movl %ecx, 16(,%ebx,4)
219    mov [4*ebx + 16], ecx
220// CHECK: movl %ecx, 16(,%ebx,4)
221    mov [ebx*4 + 16], ecx
222// CHECK: movl %ecx, 16(,%ebx,4)
223    mov [4*ebx][16], ecx
224// CHECK: movl %ecx, 16(,%ebx,4)
225    mov [ebx*4][16], ecx
226// CHECK: movl %ecx, 16(,%ebx,4)
227    mov [16 + 4*ebx], ecx
228// CHECK: movl %ecx, 16(,%ebx,4)
229    mov [16 + ebx*4], ecx
230// CHECK: movl %ecx, 16(,%ebx,4)
231    mov [16][4*ebx], ecx
232// CHECK: movl %ecx, 16(,%ebx,4)
233    mov [16][ebx*4], ecx
234// CHECK: movl %ecx, 16(%eax,%ebx,4)
235    mov [eax + 4*ebx + 16], ecx
236// CHECK: movl %ecx, 16(%eax,%ebx,4)
237    mov [eax + 16 + 4*ebx], ecx
238// CHECK: movl %ecx, 16(%eax,%ebx,4)
239    mov [4*ebx + eax + 16], ecx
240// CHECK: movl %ecx, 16(%eax,%ebx,4)
241    mov [4*ebx + 16 + eax], ecx
242// CHECK: movl %ecx, 16(%eax,%ebx,4)
243    mov [16 + eax + 4*ebx], ecx
244// CHECK: movl %ecx, 16(%eax,%ebx,4)
245    mov [16 + eax + 4*ebx], ecx
246// CHECK: movl %ecx, 16(%eax,%ebx,4)
247    mov [eax][4*ebx + 16], ecx
248// CHECK: movl %ecx, 16(%eax,%ebx,4)
249    mov [eax][16 + 4*ebx], ecx
250// CHECK: movl %ecx, 16(%eax,%ebx,4)
251    mov [4*ebx][eax + 16], ecx
252// CHECK: movl %ecx, 16(%eax,%ebx,4)
253    mov [4*ebx][16 + eax], ecx
254// CHECK: movl %ecx, 16(%eax,%ebx,4)
255    mov [16][eax + 4*ebx], ecx
256// CHECK: movl %ecx, 16(%eax,%ebx,4)
257    mov [16][eax + 4*ebx], ecx
258// CHECK: movl %ecx, 16(%eax,%ebx,4)
259    mov [eax + 4*ebx][16], ecx
260// CHECK: movl %ecx, 16(%eax,%ebx,4)
261    mov [eax + 16][4*ebx], ecx
262// CHECK: movl %ecx, 16(%eax,%ebx,4)
263    mov [4*ebx + eax][16], ecx
264// CHECK: movl %ecx, 16(%eax,%ebx,4)
265    mov [4*ebx + 16][eax], ecx
266// CHECK: movl %ecx, 16(%eax,%ebx,4)
267    mov [16 + eax][4*ebx], ecx
268// CHECK: movl %ecx, 16(%eax,%ebx,4)
269    mov [16 + eax][4*ebx], ecx
270// CHECK: movl %ecx, 16(%eax,%ebx,4)
271    mov [eax][4*ebx][16], ecx
272// CHECK: movl %ecx, 16(%eax,%ebx,4)
273    mov [eax][16][4*ebx], ecx
274// CHECK: movl %ecx, 16(%eax,%ebx,4)
275    mov [4*ebx][eax][16], ecx
276// CHECK: movl %ecx, 16(%eax,%ebx,4)
277    mov [4*ebx][16][eax], ecx
278// CHECK: movl %ecx, 16(%eax,%ebx,4)
279    mov [16][eax][4*ebx], ecx
280// CHECK: movl %ecx, 16(%eax,%ebx,4)
281    mov [16][eax][4*ebx], ecx
282// CHECK: movl %ecx, 16(%eax,%ebx,4)
283    mov [eax + ebx*4 + 16], ecx
284// CHECK: movl %ecx, 16(%eax,%ebx,4)
285    mov [eax + 16 + ebx*4], ecx
286// CHECK: movl %ecx, 16(%eax,%ebx,4)
287    mov [ebx*4 + eax + 16], ecx
288// CHECK: movl %ecx, 16(%eax,%ebx,4)
289    mov [ebx*4 + 16 + eax], ecx
290// CHECK: movl %ecx, 16(%eax,%ebx,4)
291    mov [16 + eax + ebx*4], ecx
292// CHECK: movl %ecx, 16(%eax,%ebx,4)
293    mov [16 + eax + ebx*4], ecx
294// CHECK: movl %ecx, 16(%eax,%ebx,4)
295    mov [eax][ebx*4 + 16], ecx
296// CHECK: movl %ecx, 16(%eax,%ebx,4)
297    mov [eax][16 + ebx*4], ecx
298// CHECK: movl %ecx, 16(%eax,%ebx,4)
299    mov [ebx*4][eax + 16], ecx
300// CHECK: movl %ecx, 16(%eax,%ebx,4)
301    mov [ebx*4][16 + eax], ecx
302// CHECK: movl %ecx, 16(%eax,%ebx,4)
303    mov [16][eax + ebx*4], ecx
304// CHECK: movl %ecx, 16(%eax,%ebx,4)
305    mov [16][eax + ebx*4], ecx
306// CHECK: movl %ecx, 16(%eax,%ebx,4)
307    mov [eax + ebx*4][16], ecx
308// CHECK: movl %ecx, 16(%eax,%ebx,4)
309    mov [eax + 16][ebx*4], ecx
310// CHECK: movl %ecx, 16(%eax,%ebx,4)
311    mov [ebx*4 + eax][16], ecx
312// CHECK: movl %ecx, 16(%eax,%ebx,4)
313    mov [ebx*4 + 16][eax], ecx
314// CHECK: movl %ecx, 16(%eax,%ebx,4)
315    mov [16 + eax][ebx*4], ecx
316// CHECK: movl %ecx, 16(%eax,%ebx,4)
317    mov [16 + eax][ebx*4], ecx
318// CHECK: movl %ecx, 16(%eax,%ebx,4)
319    mov [eax][ebx*4][16], ecx
320// CHECK: movl %ecx, 16(%eax,%ebx,4)
321    mov [eax][16][ebx*4], ecx
322// CHECK: movl %ecx, 16(%eax,%ebx,4)
323    mov [ebx*4][eax][16], ecx
324// CHECK: movl %ecx, 16(%eax,%ebx,4)
325    mov [ebx*4][16][eax], ecx
326// CHECK: movl %ecx, 16(%eax,%ebx,4)
327    mov [16][eax][ebx*4], ecx
328// CHECK: movl %ecx, 16(%eax,%ebx,4)
329    mov [16][eax][ebx*4], ecx
330// CHECK: movl %ecx, -16(%eax,%ebx,4)
331    mov [eax][ebx*4 - 16], ecx
332
333// CHECK: prefetchnta 12800(%esi)
334    prefetchnta [esi + (200*64)]
335// CHECK: prefetchnta 32(%esi)
336    prefetchnta [esi + (64/2)]
337// CHECK: prefetchnta 128(%esi)
338    prefetchnta [esi + (64/2*4)]
339// CHECK: prefetchnta 8(%esi)
340    prefetchnta [esi + (64/(2*4))]
341// CHECK: prefetchnta 48(%esi)
342    prefetchnta [esi + (64/(2*4)+40)]
343
344// CHECK: movl %ecx, -16(%eax,%ebx,4)
345    mov [eax][ebx*4 - 2*8], ecx
346// CHECK: movl %ecx, -16(%eax,%ebx,4)
347    mov [eax][4*ebx - 2*8], ecx
348// CHECK: movl %ecx, -16(%eax,%ebx,4)
349    mov [eax + 4*ebx - 2*8], ecx
350// CHECK: movl %ecx, -16(%eax,%ebx,4)
351    mov [12 + eax + (4*ebx) - 2*14], ecx
352// CHECK: movl %ecx, -16(%eax,%ebx,4)
353    mov [eax][ebx*4 - 2*2*2*2], ecx
354// CHECK: movl %ecx, -16(%eax,%ebx,4)
355    mov [eax][ebx*4 - (2*8)], ecx
356// CHECK: movl %ecx, -16(%eax,%ebx,4)
357    mov [eax][ebx*4 - 2 * 8 + 4 - 4], ecx
358// CHECK: movl %ecx, -16(%eax,%ebx,4)
359    mov [eax + ebx*4 - 2 * 8 + 4 - 4], ecx
360// CHECK: movl %ecx, -16(%eax,%ebx,4)
361    mov [eax + ebx*4 - 2 * ((8 + 4) - 4)], ecx
362// CHECK: movl %ecx, -16(%eax,%ebx,4)
363    mov [-2 * ((8 + 4) - 4) + eax + ebx*4], ecx
364// CHECK: movl %ecx, -16(%eax,%ebx,4)
365    mov [((-2) * ((8 + 4) - 4)) + eax + ebx*4], ecx
366// CHECK: movl %ecx, -16(%eax,%ebx,4)
367    mov [eax + ((-2) * ((8 + 4) - 4)) + ebx*4], ecx
368// CHECK: movl %ecx, 96(%eax,%ebx,4)
369    mov [eax + ((-2) * ((8 + 4) * -4)) + ebx*4], ecx
370// CHECK: movl %ecx, -8(%eax,%ebx,4)
371    mov [eax][-8][ebx*4], ecx
372// CHECK: movl %ecx, -2(%eax,%ebx,4)
373    mov [eax][16/-8][ebx*4], ecx
374// CHECK: movl %ecx, -2(%eax,%ebx,4)
375    mov [eax][(16)/-8][ebx*4], ecx
376
377// CHECK: setb %al
378    setc al
379// CHECK: sete %al
380    setz al
381// CHECK: setbe %al
382    setna al
383// CHECK: setae %al
384    setnb al
385// CHECK: setae %al
386    setnc al
387// CHECK: setle %al
388    setng al
389// CHECK: setge %al
390    setnl al
391// CHECK: setne %al
392    setnz al
393// CHECK: setp %al
394    setpe al
395// CHECK: setnp %al
396    setpo al
397// CHECK: setb %al
398    setnae al
399// CHECK: seta %al
400    setnbe al
401// CHECK: setl %al
402    setnge al
403// CHECK: setg %al
404    setnle al
405// CHECK: jne _foo
406    jnz _foo
407// CHECK: outb %al, $4
408    out 4, al
409    ret
410
411// CHECK: cmovbl %ebx, %eax
412    cmovc eax, ebx
413// CHECK: cmovel %ebx, %eax
414    cmovz eax, ebx
415// CHECK: cmovbel %ebx, %eax
416    cmovna eax, ebx
417// CHECK: cmovael %ebx, %eax
418    cmovnb eax, ebx
419// CHECK: cmovael %ebx, %eax
420    cmovnc eax, ebx
421// CHECK: cmovlel %ebx, %eax
422    cmovng eax, ebx
423// CHECK: cmovgel %ebx, %eax
424    cmovnl eax, ebx
425// CHECK: cmovnel %ebx, %eax
426    cmovnz eax, ebx
427// CHECK: cmovpl %ebx, %eax
428    cmovpe eax, ebx
429// CHECK: cmovnpl %ebx, %eax
430    cmovpo eax, ebx
431// CHECK: cmovbl %ebx, %eax
432    cmovnae eax, ebx
433// CHECK: cmoval %ebx, %eax
434    cmovnbe eax, ebx
435// CHECK: cmovll %ebx, %eax
436    cmovnge eax, ebx
437// CHECK: cmovgl %ebx, %eax
438    cmovnle eax, ebx
439
440// CHECK: shldw	%cl, %bx, %dx
441// CHECK: shldw	%cl, %bx, %dx
442// CHECK: shldw	$1, %bx, %dx
443// CHECK: shldw	%cl, %bx, (%rax)
444// CHECK: shldw	%cl, %bx, (%rax)
445// CHECK: shrdw	%cl, %bx, %dx
446// CHECK: shrdw	%cl, %bx, %dx
447// CHECK: shrdw	$1, %bx, %dx
448// CHECK: shrdw	%cl, %bx, (%rax)
449// CHECK: shrdw	%cl, %bx, (%rax)
450
451shld  DX, BX
452shld  DX, BX, CL
453shld  DX, BX, 1
454shld  [RAX], BX
455shld  [RAX], BX, CL
456shrd  DX, BX
457shrd  DX, BX, CL
458shrd  DX, BX, 1
459shrd  [RAX], BX
460shrd  [RAX], BX, CL
461
462// CHECK: btl $1, (%eax)
463// CHECK: btsl $1, (%eax)
464// CHECK: btrl $1, (%eax)
465// CHECK: btcl $1, (%eax)
466    bt DWORD PTR [EAX], 1
467    bt DWORD PTR [EAX], 1
468    bts DWORD PTR [EAX], 1
469    btr DWORD PTR [EAX], 1
470    btc DWORD PTR [EAX], 1
471
472//CHECK: divb	%bl
473//CHECK: divw	%bx
474//CHECK: divl	%ecx
475//CHECK: divl	3735928559(%ebx,%ecx,8)
476//CHECK: divl	69
477//CHECK: divl	32493
478//CHECK: divl	3133065982
479//CHECK: divl	305419896
480//CHECK: idivb	%bl
481//CHECK: idivw	%bx
482//CHECK: idivl	%ecx
483//CHECK: idivl	3735928559(%ebx,%ecx,8)
484//CHECK: idivl	69
485//CHECK: idivl	32493
486//CHECK: idivl	3133065982
487//CHECK: idivl	305419896
488    div AL, BL
489    div AX, BX
490    div EAX, ECX
491    div EAX, [ECX*8+EBX+0xdeadbeef]
492    div EAX, [0x45]
493    div EAX, [0x7eed]
494    div EAX, [0xbabecafe]
495    div EAX, [0x12345678]
496    idiv AL, BL
497    idiv AX, BX
498    idiv EAX, ECX
499    idiv EAX, [ECX*8+EBX+0xdeadbeef]
500    idiv EAX, [0x45]
501    idiv EAX, [0x7eed]
502    idiv EAX, [0xbabecafe]
503    idiv EAX, [0x12345678]
504
505
506// CHECK: inb %dx, %al
507// CHECK: inw %dx, %ax
508// CHECK: inl %dx, %eax
509// CHECK: outb %al, %dx
510// CHECK: outw %ax, %dx
511// CHECK: outl %eax, %dx
512    inb DX
513    inw DX
514    inl DX
515    outb DX
516    outw DX
517    outl DX
518
519// CHECK: xchgq %rcx, %rax
520// CHECK: xchgq %rcx, %rax
521// CHECK: xchgl %ecx, %eax
522// CHECK: xchgl %ecx, %eax
523// CHECK: xchgw %cx, %ax
524// CHECK: xchgw %cx, %ax
525xchg RAX, RCX
526xchg RCX, RAX
527xchg EAX, ECX
528xchg ECX, EAX
529xchg AX, CX
530xchg CX, AX
531
532// CHECK: xchgq %rax, (%ecx)
533// CHECK: xchgq %rax, (%ecx)
534// CHECK: xchgl %eax, (%ecx)
535// CHECK: xchgl %eax, (%ecx)
536// CHECK: xchgw %ax, (%ecx)
537// CHECK: xchgw %ax, (%ecx)
538xchg RAX, [ECX]
539xchg [ECX], RAX
540xchg EAX, [ECX]
541xchg [ECX], EAX
542xchg AX, [ECX]
543xchg [ECX], AX
544
545// CHECK: testq %rax, (%ecx)
546// CHECK: testq %rax, (%ecx)
547// CHECK: testl %eax, (%ecx)
548// CHECK: testl %eax, (%ecx)
549// CHECK: testw %ax, (%ecx)
550// CHECK: testw %ax, (%ecx)
551// CHECK: testb %al, (%ecx)
552// CHECK: testb %al, (%ecx)
553test RAX, [ECX]
554test [ECX], RAX
555test EAX, [ECX]
556test [ECX], EAX
557test AX, [ECX]
558test [ECX], AX
559test AL, [ECX]
560test [ECX], AL
561
562// CHECK: fnstsw %ax
563// CHECK: fnstsw %ax
564// CHECK: fnstsw (%eax)
565fnstsw
566fnstsw AX
567fnstsw WORD PTR [EAX]
568
569// CHECK: faddp %st, %st(1)
570// CHECK: fmulp %st, %st(1)
571// CHECK: fsubrp %st, %st(1)
572// CHECK: fsubp %st, %st(1)
573// CHECK: fdivrp %st, %st(1)
574// CHECK: fdivp %st, %st(1)
575faddp ST(1), ST(0)
576fmulp ST(1), ST(0)
577fsubp ST(1), ST(0)
578fsubrp ST(1), ST(0)
579fdivp ST(1), ST(0)
580fdivrp ST(1), ST(0)
581
582// CHECK: faddp %st, %st(1)
583// CHECK: fmulp %st, %st(1)
584// CHECK: fsubrp %st, %st(1)
585// CHECK: fsubp %st, %st(1)
586// CHECK: fdivrp %st, %st(1)
587// CHECK: fdivp %st, %st(1)
588faddp ST(0), ST(1)
589fmulp ST(0), ST(1)
590fsubp ST(0), ST(1)
591fsubrp ST(0), ST(1)
592fdivp ST(0), ST(1)
593fdivrp ST(0), ST(1)
594
595// CHECK: faddp %st, %st(1)
596// CHECK: fmulp %st, %st(1)
597// CHECK: fsubrp %st, %st(1)
598// CHECK: fsubp %st, %st(1)
599// CHECK: fdivrp %st, %st(1)
600// CHECK: fdivp %st, %st(1)
601faddp ST(1)
602fmulp ST(1)
603fsubp ST(1)
604fsubrp ST(1)
605fdivp ST(1)
606fdivrp ST(1)
607
608
609// CHECK: faddp %st, %st(1)
610// CHECK: fmulp %st, %st(1)
611// CHECK: fsubrp %st, %st(1)
612// CHECK: fsubp %st, %st(1)
613// CHECK: fdivrp %st, %st(1)
614// CHECK: fdivp %st, %st(1)
615fadd
616fmul
617fsub
618fsubr
619fdiv
620fdivr
621
622// CHECK: faddp %st, %st(1)
623// CHECK: fmulp %st, %st(1)
624// CHECK: fsubrp %st, %st(1)
625// CHECK: fsubp %st, %st(1)
626// CHECK: fdivrp %st, %st(1)
627// CHECK: fdivp %st, %st(1)
628faddp
629fmulp
630fsubp
631fsubrp
632fdivp
633fdivrp
634
635// CHECK: fadd %st(1), %st
636// CHECK: fmul %st(1), %st
637// CHECK: fsub %st(1), %st
638// CHECK: fsubr %st(1), %st
639// CHECK: fdiv %st(1), %st
640// CHECK: fdivr %st(1), %st
641fadd ST(0), ST(1)
642fmul ST(0), ST(1)
643fsub ST(0), ST(1)
644fsubr ST(0), ST(1)
645fdiv ST(0), ST(1)
646fdivr ST(0), ST(1)
647
648// CHECK: fadd %st, %st(1)
649// CHECK: fmul %st, %st(1)
650// CHECK: fsubr %st, %st(1)
651// CHECK: fsub %st, %st(1)
652// CHECK: fdivr %st, %st(1)
653// CHECK: fdiv %st, %st(1)
654fadd ST(1), ST(0)
655fmul ST(1), ST(0)
656fsub ST(1), ST(0)
657fsubr ST(1), ST(0)
658fdiv ST(1), ST(0)
659fdivr ST(1), ST(0)
660
661// CHECK: fadd %st(1), %st
662// CHECK: fmul %st(1), %st
663// CHECK: fsub %st(1), %st
664// CHECK: fsubr %st(1), %st
665// CHECK: fdiv %st(1), %st
666// CHECK: fdivr %st(1), %st
667fadd ST(1)
668fmul ST(1)
669fsub ST(1)
670fsubr ST(1)
671fdiv ST(1)
672fdivr ST(1)
673
674
675// CHECK: fxsave64 (%rax)
676// CHECK: fxrstor64 (%rax)
677fxsave64 [rax]
678fxrstor64 [rax]
679
680.bss
681.globl _g0
682.text
683
684// CHECK: movq _g0, %rbx
685// CHECK: movq _g0+8, %rcx
686// CHECK: movq _g0+18(%rbp), %rax
687// CHECK: movq _g0(,%rsi,4), %rax
688mov rbx, qword ptr [_g0]
689mov rcx, qword ptr [_g0 + 8]
690mov rax, QWORD PTR _g0[rbp + 1 + (2 * 5) - 3 + 1<<1]
691mov rax, QWORD PTR _g0[rsi*4]
692
693"?half@?0??bar@@YAXXZ@4NA":
694	.quad   4602678819172646912
695
696fadd   dword ptr "?half@?0??bar@@YAXXZ@4NA"
697fadd   dword ptr "?half@?0??bar@@YAXXZ@4NA"@IMGREL
698// CHECK: fadds   "?half@?0??bar@@YAXXZ@4NA"
699// CHECK: fadds   "?half@?0??bar@@YAXXZ@4NA"@IMGREL
700
701inc qword ptr [rax]
702inc long ptr [rax]
703inc dword ptr [rax]
704inc word ptr [rax]
705inc byte ptr [rax]
706// CHECK: incq (%rax)
707// CHECK: incl (%rax)
708// CHECK: incl (%rax)
709// CHECK: incw (%rax)
710// CHECK: incb (%rax)
711
712dec qword ptr [rax]
713dec dword ptr [rax]
714dec word ptr [rax]
715dec byte ptr [rax]
716// CHECK: decq (%rax)
717// CHECK: decl (%rax)
718// CHECK: decw (%rax)
719// CHECK: decb (%rax)
720
721add qword ptr [rax], 1
722add dword ptr [rax], 1
723add word ptr [rax], 1
724add byte ptr [rax], 1
725// CHECK: addq $1, (%rax)
726// CHECK: addl $1, (%rax)
727// CHECK: addw $1, (%rax)
728// CHECK: addb $1, (%rax)
729
730fstp tbyte ptr [rax]
731fstp xword ptr [rax]
732fstp qword ptr [rax]
733fstp dword ptr [rax]
734// CHECK: fstpt (%rax)
735// CHECK: fstpt (%rax)
736// CHECK: fstpl (%rax)
737// CHECK: fstps (%rax)
738
739fxsave [eax]
740fsave [eax]
741fxrstor [eax]
742frstor [eax]
743// CHECK: fxsave (%eax)
744// CHECK: wait
745// CHECK: fnsave (%eax)
746// CHECK: fxrstor (%eax)
747// CHECK: frstor (%eax)
748
749// FIXME: Should we accept this?  Masm accepts it, but gas does not.
750fxsave dword ptr [eax]
751fsave dword ptr [eax]
752fxrstor dword ptr [eax]
753frstor dword ptr [eax]
754// CHECK: fxsave (%eax)
755// CHECK: wait
756// CHECK: fnsave (%eax)
757// CHECK: fxrstor (%eax)
758// CHECK: frstor (%eax)
759
760// CHECK: cmpnless %xmm1, %xmm0
761cmpnless xmm0, xmm1
762
763insb
764insw
765insd
766// CHECK: insb %dx, %es:(%rdi)
767// CHECK: insw %dx, %es:(%rdi)
768// CHECK: insl %dx, %es:(%rdi)
769
770outsb
771outsw
772outsd
773// CHECK: outsb (%rsi), %dx
774// CHECK: outsw (%rsi), %dx
775// CHECK: outsl (%rsi), %dx
776
777imul bx, 123
778imul ebx, 123
779imul rbx, 123
780// CHECK: imulw $123, %bx
781// CHECK: imull $123, %ebx
782// CHECK: imulq $123, %rbx
783
784repe cmpsb
785repz cmpsb
786repne cmpsb
787repnz cmpsb
788// CHECK: rep
789// CHECK: cmpsb	%es:(%rdi), (%rsi)
790// CHECK: rep
791// CHECK: cmpsb	%es:(%rdi), (%rsi)
792// CHECK: repne
793// CHECK: cmpsb	%es:(%rdi), (%rsi)
794// CHECK: repne
795// CHECK: cmpsb	%es:(%rdi), (%rsi)
796
797sal eax, 123
798// CHECK: shll	$123, %eax
799
800psignw    mm0, MMWORD PTR t2
801// CHECK: psignw t2, %mm0
802
803comisd xmm0, QWORD PTR [eax]
804comiss xmm0, DWORD PTR [eax]
805vcomisd xmm0, QWORD PTR [eax]
806vcomiss xmm0, DWORD PTR [eax]
807
808// CHECK: comisd (%eax), %xmm0
809// CHECK: comiss (%eax), %xmm0
810// CHECK: vcomisd (%eax), %xmm0
811// CHECK: vcomiss (%eax), %xmm0
812
813fbld tbyte ptr [eax]
814fbstp tbyte ptr [eax]
815// CHECK: fbld (%eax)
816// CHECK: fbstp (%eax)
817
818fld float ptr [rax]
819fld double ptr [rax]
820// CHECK: flds (%rax)
821// CHECK: fldl (%rax)
822
823fcomip st, st(2)
824fucomip st, st(2)
825// CHECK: fcompi  %st(2)
826// CHECK: fucompi  %st(2)
827
828loopz _foo
829loopnz _foo
830// CHECK: loope _foo
831// CHECK: loopne _foo
832
833sidt fword ptr [eax]
834// CHECK: sidtq (%eax)
835
836ins byte ptr [eax], dx
837// CHECK: insb %dx, %es:(%edi)
838// CHECK-STDERR: memory operand is only for determining the size, ES:(R|E)DI will be used for the location
839// CHECK-STDERR-NEXT: ins byte ptr [eax], dx
840outs dx, word ptr [eax]
841// CHECK: outsw (%esi), %dx
842// CHECK-STDERR: memory operand is only for determining the size, ES:(R|E)SI will be used for the location
843// CHECK-STDERR-NEXT: outs dx, word ptr [eax]
844lods dword ptr [eax]
845// CHECK: lodsl (%esi), %eax
846// CHECK-STDERR: memory operand is only for determining the size, ES:(R|E)SI will be used for the location
847// CHECK-STDERR-NEXT: lods dword ptr [eax]
848stos qword ptr [eax]
849// CHECK: stosq %rax, %es:(%edi)
850// CHECK-STDERR: memory operand is only for determining the size, ES:(R|E)DI will be used for the location
851// CHECK-STDERR-NEXT: stos qword ptr [eax]
852scas byte ptr [eax]
853// CHECK: scasb %es:(%edi), %al
854// CHECK-STDERR: memory operand is only for determining the size, ES:(R|E)DI will be used for the location
855// CHECK-STDERR-NEXT: scas byte ptr [eax]
856cmps word ptr [eax], word ptr [ebx]
857// CHECK: cmpsw %es:(%edi), (%esi)
858// CHECK-STDERR: memory operand is only for determining the size, ES:(R|E)SI will be used for the location
859// CHECK-STDERR-NEXT: cmps word ptr [eax], word ptr [ebx]
860// CHECK-STDERR: memory operand is only for determining the size, ES:(R|E)DI will be used for the location
861// CHECK-STDERR-NEXT: cmps word ptr [eax], word ptr [ebx]
862movs dword ptr [eax], dword ptr [ebx]
863// CHECK: movsl (%esi), %es:(%edi)
864// CHECK-STDERR: memory operand is only for determining the size, ES:(R|E)DI will be used for the location
865// CHECK-STDERR-NEXT: movs dword ptr [eax], dword ptr [ebx]
866// CHECK-STDERR: memory operand is only for determining the size, ES:(R|E)SI will be used for the location
867// CHECK-STDERR-NEXT: movs dword ptr [eax], dword ptr [ebx]
868
869movsd  qword ptr [rax], xmm0
870// CHECK: movsd %xmm0, (%rax)
871// CHECK-STDERR-NOT: movsd qword ptr [rax], xmm0
872
873xlat byte ptr [eax]
874// CHECK: xlatb
875// CHECK-STDERR: memory operand is only for determining the size, (R|E)BX will be used for the location
876
877// CHECK:   punpcklbw
878punpcklbw mm0, dword ptr [rsp]
879// CHECK:   punpcklwd
880punpcklwd mm0, dword ptr [rsp]
881// CHECK:   punpckldq
882punpckldq mm0, dword ptr [rsp]
883
884// CHECK: lslq (%eax), %rbx
885lsl rbx, word ptr [eax]
886
887// CHECK: lsll (%eax), %ebx
888lsl ebx, word ptr [eax]
889
890// CHECK: lslw (%eax), %bx
891lsl bx, word ptr [eax]
892
893// CHECK: sysexitl
894sysexit
895// CHECK: sysexitq
896sysexitq
897// CHECK: sysretl
898sysret
899// CHECK: sysretq
900sysretq
901
902// CHECK: leaq (%rsp,%rax), %rax
903lea rax, [rax+rsp]
904// CHECK: leaq (%rsp,%rax), %rax
905lea rax, [rsp+rax]
906// CHECK: leal (%esp,%eax), %eax
907lea eax, [eax+esp]
908// CHECK: leal (%esp,%eax), %eax
909lea eax, [esp+eax]
910
911// CHECK: vpgatherdq      %ymm2, (%rdi,%xmm1), %ymm0
912vpgatherdq ymm0, [rdi+xmm1], ymm2
913// CHECK: vpgatherdq      %ymm2, (%rdi,%xmm1), %ymm0
914vpgatherdq ymm0, [xmm1+rdi], ymm2
915