# Check ADX instructions. .allow_index_reg .text _start: adcx 400(%ecx), %eax adcx %edx, %ecx adcx -654321(%esp,%esi,8), %edx adcx (%eax), %eax adcxl %edx, %ecx adcxl (%eax), %eax adox 400(%ecx), %eax adox %edx, %ecx adox -654321(%esp,%esi,8), %edx adox (%eax), %eax adoxl %edx, %ecx adoxl (%eax), %eax .intel_syntax noprefix .rept 2 adcx eax, DWORD PTR [edx+36] adcx edx, ecx adcx edx, DWORD PTR [esp+esi*8-12] adcx eax, DWORD PTR [eax] adox eax, DWORD PTR [edx+36] adox edx, ecx adox edx, DWORD PTR [esp+esi*8-12] adox eax, DWORD PTR [eax] .code16 .endr