1 # Check 64 bit ADX instructions.
7 adcx -654321(%esp,%esi,8), %edx
14 adcx -654321(%esp,%esi,8), %rdx
21 adox -654321(%esp,%esi,8), %edx
28 adox -654321(%esp,%esi,8), %rdx
33 .intel_syntax noprefix
35 adcx eax, DWORD PTR [edx+399]
37 adcx edx, DWORD PTR [esp+esi*8-123456]
38 adcx eax, DWORD PTR [eax]
40 adcx rax, QWORD PTR [r11+399]
42 adcx rdx, QWORD PTR [rsp+rsi*8-123456]
45 adox eax, DWORD PTR [edx+399]
47 adox edx, DWORD PTR [esp+esi*8-123456]
48 adox eax, DWORD PTR [eax]
50 adox rax, QWORD PTR [r11+399]
52 adox rdx, QWORD PTR [rsp+rsi*8-123456]
53 adox rax, QWORD PTR [rbx]