| #objdump: -dw |
| #name: x86-64 manual rex prefix use |
| |
| .*: +file format .* |
| |
| Disassembly of section .text: |
| |
| 0+ <_start>: |
| [ ]*[0-9a-f]+:[ ]+40 0f ae 00[ ]+rex fxsavel?[ ]+\(%rax\) |
| [ ]*[0-9a-f]+:[ ]+48 0f ae 00[ ]+(rex.W )?fxsaveq?[ ]+\(%rax\) |
| [ ]*[0-9a-f]+:[ ]+41 0f ae 00[ ]+fxsavel?[ ]+\(%r8\) |
| [ ]*[0-9a-f]+:[ ]+49 0f ae 00[ ]+(rex.WB? )?fxsaveq?[ ]+\(%r8\) |
| [ ]*[0-9a-f]+:[ ]+42 0f ae 04 05 00 00 00 00[ ]+fxsavel?[ ]+(0x0)?\(,%r8(,1)?\) |
| [ ]*[0-9a-f]+:[ ]+4a 0f ae 04 05 00 00 00 00[ ]+(rex.WX? )?fxsaveq?[ ]+(0x0)?\(,%r8(,1)?\) |
| [ ]*[0-9a-f]+:[ ]+43 0f ae 04 00[ ]+fxsavel?[ ]+\(%r8,%r8(,1)?\) |
| [ ]*[0-9a-f]+:[ ]+4b 0f ae 04 00[ ]+(rex.W(XB)? )?fxsaveq?[ ]+\(%r8,%r8(,1)?\) |
| [ ]*[0-9a-f]+:[ ]+40[ ]+rex |
| [ ]*[0-9a-f]+:[ ]+41[ ]+rex.B |
| [ ]*[0-9a-f]+:[ ]+42[ ]+rex.X |
| [ ]*[0-9a-f]+:[ ]+43[ ]+rex.XB |
| [ ]*[0-9a-f]+:[ ]+44[ ]+rex.R |
| [ ]*[0-9a-f]+:[ ]+45[ ]+rex.RB |
| [ ]*[0-9a-f]+:[ ]+46[ ]+rex.RX |
| [ ]*[0-9a-f]+:[ ]+47[ ]+rex.RXB |
| [ ]*[0-9a-f]+:[ ]+48[ ]+rex.W |
| [ ]*[0-9a-f]+:[ ]+49[ ]+rex.WB |
| [ ]*[0-9a-f]+:[ ]+4a[ ]+rex.WX |
| [ ]*[0-9a-f]+:[ ]+4b[ ]+rex.WXB |
| [ ]*[0-9a-f]+:[ ]+4c[ ]+rex.WR |
| [ ]*[0-9a-f]+:[ ]+4d[ ]+rex.WRB |
| [ ]*[0-9a-f]+:[ ]+4e[ ]+rex.WRX |
| [ ]*[0-9a-f]+:[ ]+4f[ ]+rex.WRXB |
| #pass |