#objdump: -dw
#name: x86-64 ADX

.*: +file format .*


Disassembly of section .text:

0+ <_start>:
[       ]*[a-f0-9]+:	67 66 0f 38 f6 81 90 01 00 00 	adcx   0x190\(%ecx\),%eax
[       ]*[a-f0-9]+:	66 0f 38 f6 ca       	adcx   %edx,%ecx
[       ]*[a-f0-9]+:	67 66 0f 38 f6 94 f4 0f 04 f6 ff 	adcx   -0x9fbf1\(%esp,%esi,8\),%edx
[       ]*[a-f0-9]+:	67 66 0f 38 f6 00    	adcx   \(%eax\),%eax
[       ]*[a-f0-9]+:	66 0f 38 f6 ca       	adcx   %edx,%ecx
[       ]*[a-f0-9]+:	67 66 0f 38 f6 00    	adcx   \(%eax\),%eax
[       ]*[a-f0-9]+:	66 4c 0f 38 f6 99 90 01 00 00 	adcx   0x190\(%rcx\),%r11
[       ]*[a-f0-9]+:	66 4d 0f 38 f6 e6    	adcx   %r14,%r12
[       ]*[a-f0-9]+:	67 66 48 0f 38 f6 94 f4 0f 04 f6 ff 	adcx   -0x9fbf1\(%esp,%esi,8\),%rdx
[       ]*[a-f0-9]+:	66 49 0f 38 f6 00    	adcx   \(%r8\),%rax
[       ]*[a-f0-9]+:	66 48 0f 38 f6 ca    	adcx   %rdx,%rcx
[       ]*[a-f0-9]+:	66 48 0f 38 f6 00    	adcx   \(%rax\),%rax
[       ]*[a-f0-9]+:	67 f3 0f 38 f6 81 90 01 00 00 	adox   0x190\(%ecx\),%eax
[       ]*[a-f0-9]+:	f3 0f 38 f6 ca       	adox   %edx,%ecx
[       ]*[a-f0-9]+:	67 f3 0f 38 f6 94 f4 0f 04 f6 ff 	adox   -0x9fbf1\(%esp,%esi,8\),%edx
[       ]*[a-f0-9]+:	67 f3 0f 38 f6 00    	adox   \(%eax\),%eax
[       ]*[a-f0-9]+:	f3 0f 38 f6 ca       	adox   %edx,%ecx
[       ]*[a-f0-9]+:	67 f3 0f 38 f6 00    	adox   \(%eax\),%eax
[       ]*[a-f0-9]+:	f3 4c 0f 38 f6 99 90 01 00 00 	adox   0x190\(%rcx\),%r11
[       ]*[a-f0-9]+:	f3 4d 0f 38 f6 e6    	adox   %r14,%r12
[       ]*[a-f0-9]+:	67 f3 48 0f 38 f6 94 f4 0f 04 f6 ff 	adox   -0x9fbf1\(%esp,%esi,8\),%rdx
[       ]*[a-f0-9]+:	f3 49 0f 38 f6 00    	adox   \(%r8\),%rax
[       ]*[a-f0-9]+:	f3 48 0f 38 f6 ca    	adox   %rdx,%rcx
[       ]*[a-f0-9]+:	f3 48 0f 38 f6 00    	adox   \(%rax\),%rax
[       ]*[a-f0-9]+:	67 66 0f 38 f6 82 8f 01 00 00 	adcx   0x18f\(%edx\),%eax
[       ]*[a-f0-9]+:	66 0f 38 f6 d1       	adcx   %ecx,%edx
[       ]*[a-f0-9]+:	67 66 0f 38 f6 94 f4 c0 1d fe ff 	adcx   -0x1e240\(%esp,%esi,8\),%edx
[       ]*[a-f0-9]+:	67 66 0f 38 f6 00    	adcx   \(%eax\),%eax
[       ]*[a-f0-9]+:	66 49 0f 38 f6 83 8f 01 00 00 	adcx   0x18f\(%r11\),%rax
[       ]*[a-f0-9]+:	66 49 0f 38 f6 d1    	adcx   %r9,%rdx
[       ]*[a-f0-9]+:	66 48 0f 38 f6 94 f4 c0 1d fe ff 	adcx   -0x1e240\(%rsp,%rsi,8\),%rdx
[       ]*[a-f0-9]+:	66 48 0f 38 f6 03    	adcx   \(%rbx\),%rax
[       ]*[a-f0-9]+:	67 f3 0f 38 f6 82 8f 01 00 00 	adox   0x18f\(%edx\),%eax
[       ]*[a-f0-9]+:	f3 0f 38 f6 d1       	adox   %ecx,%edx
[       ]*[a-f0-9]+:	67 f3 0f 38 f6 94 f4 c0 1d fe ff 	adox   -0x1e240\(%esp,%esi,8\),%edx
[       ]*[a-f0-9]+:	67 f3 0f 38 f6 00    	adox   \(%eax\),%eax
[       ]*[a-f0-9]+:	f3 49 0f 38 f6 83 8f 01 00 00 	adox   0x18f\(%r11\),%rax
[       ]*[a-f0-9]+:	f3 49 0f 38 f6 d1    	adox   %r9,%rdx
[       ]*[a-f0-9]+:	f3 48 0f 38 f6 94 f4 c0 1d fe ff 	adox   -0x1e240\(%rsp,%rsi,8\),%rdx
[       ]*[a-f0-9]+:	f3 48 0f 38 f6 03    	adox   \(%rbx\),%rax
#pass