xref: /llvm-project/llvm/test/MC/X86/apx/adx-intel.s (revision dd9681f839c23e9caa6c495fb5a0df3625715348)
1# RUN: llvm-mc -triple x86_64 -show-encoding -x86-asm-syntax=intel -output-asm-variant=1 %s | FileCheck %s
2
3# CHECK: adcx	r17d, r16d
4# CHECK: encoding: [0x62,0xec,0x7d,0x08,0x66,0xc8]
5         adcx	r17d, r16d
6# CHECK: adcx	r18d, r17d, r16d
7# CHECK: encoding: [0x62,0xec,0x6d,0x10,0x66,0xc8]
8         adcx	r18d, r17d, r16d
9# CHECK: adcx	r17, r16
10# CHECK: encoding: [0x62,0xec,0xfd,0x08,0x66,0xc8]
11         adcx	r17, r16
12# CHECK: adcx	r18, r17, r16
13# CHECK: encoding: [0x62,0xec,0xed,0x10,0x66,0xc8]
14         adcx	r18, r17, r16
15# CHECK: adcx	r17d, dword ptr [r16]
16# CHECK: encoding: [0x62,0xec,0x7d,0x08,0x66,0x08]
17         adcx	r17d, dword ptr [r16]
18# CHECK: adcx	r18d, r17d, dword ptr [r16]
19# CHECK: encoding: [0x62,0xec,0x6d,0x10,0x66,0x08]
20         adcx	r18d, r17d, dword ptr [r16]
21# CHECK: adcx	r17, qword ptr [r16]
22# CHECK: encoding: [0x62,0xec,0xfd,0x08,0x66,0x08]
23         adcx	r17, qword ptr [r16]
24# CHECK: adcx	r18, r17, qword ptr [r16]
25# CHECK: encoding: [0x62,0xec,0xed,0x10,0x66,0x08]
26         adcx	r18, r17, qword ptr [r16]
27# CHECK: adox	r17d, r16d
28# CHECK: encoding: [0x62,0xec,0x7e,0x08,0x66,0xc8]
29         adox	r17d, r16d
30# CHECK: adox	r18d, r17d, r16d
31# CHECK: encoding: [0x62,0xec,0x6e,0x10,0x66,0xc8]
32         adox	r18d, r17d, r16d
33# CHECK: adox	r17, r16
34# CHECK: encoding: [0x62,0xec,0xfe,0x08,0x66,0xc8]
35         adox	r17, r16
36# CHECK: adox	r18, r17, r16
37# CHECK: encoding: [0x62,0xec,0xee,0x10,0x66,0xc8]
38         adox	r18, r17, r16
39# CHECK: adox	r17d, dword ptr [r16]
40# CHECK: encoding: [0x62,0xec,0x7e,0x08,0x66,0x08]
41         adox	r17d, dword ptr [r16]
42# CHECK: adox	r18d, r17d, dword ptr [r16]
43# CHECK: encoding: [0x62,0xec,0x6e,0x10,0x66,0x08]
44         adox	r18d, r17d, dword ptr [r16]
45# CHECK: adox	r17, qword ptr [r16]
46# CHECK: encoding: [0x62,0xec,0xfe,0x08,0x66,0x08]
47         adox	r17, qword ptr [r16]
48# CHECK: adox	r18, r17, qword ptr [r16]
49# CHECK: encoding: [0x62,0xec,0xee,0x10,0x66,0x08]
50         adox	r18, r17, qword ptr [r16]
51