1 #objdump: -dw
2 #name: i386 ADX
3 
4 .*: +file format .*
5 
6 
7 Disassembly of section .text:
8 
9 0+ <_start>:
10 [       ]*[a-f0-9]+:	66 0f 38 f6 81 90 01 00 00 	adcx   0x190\(%ecx\),%eax
11 [       ]*[a-f0-9]+:	66 0f 38 f6 ca       	adcx   %edx,%ecx
12 [       ]*[a-f0-9]+:	66 0f 38 f6 94 f4 0f 04 f6 ff 	adcx   -0x9fbf1\(%esp,%esi,8\),%edx
13 [       ]*[a-f0-9]+:	66 0f 38 f6 00       	adcx   \(%eax\),%eax
14 [       ]*[a-f0-9]+:	66 0f 38 f6 ca       	adcx   %edx,%ecx
15 [       ]*[a-f0-9]+:	66 0f 38 f6 00       	adcx   \(%eax\),%eax
16 [       ]*[a-f0-9]+:	f3 0f 38 f6 81 90 01 00 00 	adox   0x190\(%ecx\),%eax
17 [       ]*[a-f0-9]+:	f3 0f 38 f6 ca       	adox   %edx,%ecx
18 [       ]*[a-f0-9]+:	f3 0f 38 f6 94 f4 0f 04 f6 ff 	adox   -0x9fbf1\(%esp,%esi,8\),%edx
19 [       ]*[a-f0-9]+:	f3 0f 38 f6 00       	adox   \(%eax\),%eax
20 [       ]*[a-f0-9]+:	f3 0f 38 f6 ca       	adox   %edx,%ecx
21 [       ]*[a-f0-9]+:	f3 0f 38 f6 00       	adox   \(%eax\),%eax
22 [       ]*[a-f0-9]+:	66 0f 38 f6 82 8f 01 00 00 	adcx   0x18f\(%edx\),%eax
23 [       ]*[a-f0-9]+:	66 0f 38 f6 d1       	adcx   %ecx,%edx
24 [       ]*[a-f0-9]+:	66 0f 38 f6 94 f4 c0 1d fe ff 	adcx   -0x1e240\(%esp,%esi,8\),%edx
25 [       ]*[a-f0-9]+:	66 0f 38 f6 00       	adcx   \(%eax\),%eax
26 [       ]*[a-f0-9]+:	f3 0f 38 f6 82 8f 01 00 00 	adox   0x18f\(%edx\),%eax
27 [       ]*[a-f0-9]+:	f3 0f 38 f6 d1       	adox   %ecx,%edx
28 [       ]*[a-f0-9]+:	f3 0f 38 f6 94 f4 c0 1d fe ff 	adox   -0x1e240\(%esp,%esi,8\),%edx
29 [       ]*[a-f0-9]+:	f3 0f 38 f6 00       	adox   \(%eax\),%eax
30 #pass
31