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