1# Check ADX instructions.
2        .allow_index_reg
3	.text
4_start:
5        adcx    400(%ecx), %eax
6        adcx    %edx, %ecx
7        adcx    -654321(%esp,%esi,8), %edx
8        adcx    (%eax), %eax
9        adcxl    %edx, %ecx
10        adcxl    (%eax), %eax
11
12        adox    400(%ecx), %eax
13        adox    %edx, %ecx
14        adox    -654321(%esp,%esi,8), %edx
15        adox    (%eax), %eax
16        adoxl   %edx, %ecx
17        adoxl   (%eax), %eax
18
19	.intel_syntax noprefix
20	.rept 2
21
22        adcx    eax, DWORD PTR [edx+36]
23        adcx    edx, ecx
24        adcx    edx, DWORD PTR [esp+esi*8-12]
25        adcx    eax, DWORD PTR [eax]
26
27        adox    eax, DWORD PTR [edx+36]
28        adox    edx, ecx
29        adox    edx, DWORD PTR [esp+esi*8-12]
30        adox    eax, DWORD PTR [eax]
31
32	.code16
33	.endr
34