| #objdump: -dw |
| #name: i386 ADX |
| |
| .*: +file format .* |
| |
| |
| Disassembly of section .text: |
| |
| 0+ <_start>: |
| [ ]*[a-f0-9]+: 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]+: 66 0f 38 f6 94 f4 0f 04 f6 ff adcx -0x9fbf1\(%esp,%esi,8\),%edx |
| [ ]*[a-f0-9]+: 66 0f 38 f6 00 adcx \(%eax\),%eax |
| [ ]*[a-f0-9]+: 66 0f 38 f6 ca adcx %edx,%ecx |
| [ ]*[a-f0-9]+: 66 0f 38 f6 00 adcx \(%eax\),%eax |
| [ ]*[a-f0-9]+: 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]+: f3 0f 38 f6 94 f4 0f 04 f6 ff adox -0x9fbf1\(%esp,%esi,8\),%edx |
| [ ]*[a-f0-9]+: f3 0f 38 f6 00 adox \(%eax\),%eax |
| [ ]*[a-f0-9]+: f3 0f 38 f6 ca adox %edx,%ecx |
| [ ]*[a-f0-9]+: f3 0f 38 f6 00 adox \(%eax\),%eax |
| [ ]*[a-f0-9]+: 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]+: 66 0f 38 f6 94 f4 c0 1d fe ff adcx -0x1e240\(%esp,%esi,8\),%edx |
| [ ]*[a-f0-9]+: 66 0f 38 f6 00 adcx \(%eax\),%eax |
| [ ]*[a-f0-9]+: 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]+: f3 0f 38 f6 94 f4 c0 1d fe ff adox -0x1e240\(%esp,%esi,8\),%edx |
| [ ]*[a-f0-9]+: f3 0f 38 f6 00 adox \(%eax\),%eax |
| #pass |