| 1 | #objdump: -dw |
| 2 | #name: x86-64 manual rex prefix use |
| 3 | #not-target: x86_64-*-elf* |
| 4 | |
| 5 | .*: +file format .* |
| 6 | |
| 7 | Disassembly of section .text: |
| 8 | |
| 9 | 0+ <_start>: |
| 10 | [ ]*[0-9a-f]+:[ ]+40 0f ae 00[ ]+rex fxsave[ ]+\(%rax\) |
| 11 | [ ]*[0-9a-f]+:[ ]+48 0f ae 00[ ]+fxsave64[ ]+\(%rax\) |
| 12 | [ ]*[0-9a-f]+:[ ]+41 0f ae 00[ ]+fxsave[ ]+\(%r8\) |
| 13 | [ ]*[0-9a-f]+:[ ]+49 0f ae 00[ ]+fxsave64[ ]+\(%r8\) |
| 14 | [ ]*[0-9a-f]+:[ ]+42 0f ae 04 05 00 00 00 00[ ]+fxsave[ ]+(0x0)?\(,%r8(,1)?\) |
| 15 | [ ]*[0-9a-f]+:[ ]+4a 0f ae 04 05 00 00 00 00[ ]+fxsave64[ ]+(0x0)?\(,%r8(,1)?\) |
| 16 | [ ]*[0-9a-f]+:[ ]+43 0f ae 04 00[ ]+fxsave[ ]+\(%r8,%r8(,1)?\) |
| 17 | [ ]*[0-9a-f]+:[ ]+4b 0f ae 04 00[ ]+fxsave64[ ]+\(%r8,%r8(,1)?\) |
| 18 | [ ]*[0-9a-f]+:[ ]+41\s+rex\.B |
| 19 | [ ]*[0-9a-f]+:[ ]+9b dd 30\s+fsave\s+\(%rax\) |
| 20 | [ ]*[0-9a-f]+:[ ]+9b 41 dd 30\s+fsave\s+\(%r8\) |
| 21 | [ ]*[0-9a-f]+:[ ]+40 c5 f9 28 00[ ]+rex vmovapd \(%rax\),%xmm0 |
| 22 | [ ]*[0-9a-f]+:[ ]+40[ ]+rex |
| 23 | [ ]*[0-9a-f]+:[ ]+41[ ]+rex.B |
| 24 | [ ]*[0-9a-f]+:[ ]+42[ ]+rex.X |
| 25 | [ ]*[0-9a-f]+:[ ]+43[ ]+rex.XB |
| 26 | [ ]*[0-9a-f]+:[ ]+44[ ]+rex.R |
| 27 | [ ]*[0-9a-f]+:[ ]+45[ ]+rex.RB |
| 28 | [ ]*[0-9a-f]+:[ ]+46[ ]+rex.RX |
| 29 | [ ]*[0-9a-f]+:[ ]+47[ ]+rex.RXB |
| 30 | [ ]*[0-9a-f]+:[ ]+48[ ]+rex.W |
| 31 | [ ]*[0-9a-f]+:[ ]+49[ ]+rex.WB |
| 32 | [ ]*[0-9a-f]+:[ ]+4a[ ]+rex.WX |
| 33 | [ ]*[0-9a-f]+:[ ]+4b[ ]+rex.WXB |
| 34 | [ ]*[0-9a-f]+:[ ]+4c[ ]+rex.WR |
| 35 | [ ]*[0-9a-f]+:[ ]+4d[ ]+rex.WRB |
| 36 | [ ]*[0-9a-f]+:[ ]+4e[ ]+rex.WRX |
| 37 | [ ]*[0-9a-f]+:[ ]+4f[ ]+rex.WRXB |
| 38 | #pass |