# Check 64 bit 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

	adcx    400(%rcx), %r11
	adcx    %r14, %r12
	adcx    -654321(%esp,%esi,8), %rdx
	adcx    (%r8), %rax
	adcxq    %rdx, %rcx
	adcxq    (%rax), %rax

	adox    400(%ecx), %eax
	adox    %edx, %ecx
	adox    -654321(%esp,%esi,8), %edx
	adox    (%eax), %eax
	adoxl    %edx, %ecx
	adoxl    (%eax), %eax

	adox    400(%rcx), %r11
	adox    %r14, %r12
	adox    -654321(%esp,%esi,8), %rdx
	adox    (%r8), %rax
	adoxq    %rdx, %rcx
	adoxq    (%rax), %rax

	.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]

	adcx    rax, QWORD PTR [r11+399]
	adcx    rdx, r9
	adcx    rdx, QWORD PTR [rsp+rsi*8-123456]
	adcx    rax, [rbx]

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

	adox    rax, QWORD PTR [r11+399]
	adox    rdx, r9
	adox    rdx, QWORD PTR [rsp+rsi*8-123456]
	adox    rax, QWORD PTR [rbx]