# 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

        adcx    eax, DWORD PTR [edx+399]
        adcx    edx, ecx
        adcx    edx, DWORD PTR [esp+esi*8-123456]
        adcx    eax, DWORD PTR [eax]

        adox    eax, DWORD PTR [edx+399]
        adox    edx, ecx
        adox    edx, DWORD PTR [esp+esi*8-123456]
        adox    eax, DWORD PTR [eax]