1 # Check ADX instructions.
7 adcx -654321(%esp,%esi,8), %edx
14 adox -654321(%esp,%esi,8), %edx
19 .intel_syntax noprefix
21 adcx eax, DWORD PTR [edx+399]
23 adcx edx, DWORD PTR [esp+esi*8-123456]
24 adcx eax, DWORD PTR [eax]
26 adox eax, DWORD PTR [edx+399]
28 adox edx, DWORD PTR [esp+esi*8-123456]
29 adox eax, DWORD PTR [eax]