1 #objdump: -dw
2 #name: x86-64 manual rex prefix use
3 #notarget: 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]+:[	 ]+48 03 04 00[	 ]+add[	 ]+\(%rax,%rax(,1)?\),%rax
19 [	 ]*[0-9a-f]+:[	 ]+44 03 04 00[	 ]+add[	 ]+\(%rax,%rax(,1)?\),%r8d
20 [	 ]*[0-9a-f]+:[	 ]+41 03 04 00[	 ]+add[	 ]+\(%r8,%rax(,1)?\),%eax
21 [	 ]*[0-9a-f]+:[	 ]+42 03 04 00[	 ]+add[	 ]+\(%rax,%r8(,1)?\),%eax
22 [	 ]*[0-9a-f]+:[	 ]+49 03 04 00[	 ]+add[	 ]+\(%r8,%rax(,1)?\),%rax
23 [	 ]*[0-9a-f]+:[	 ]+46 03 04 00[	 ]+add[	 ]+\(%rax,%r8(,1)?\),%r8d
24 [	 ]*[0-9a-f]+:[	 ]+45 03 04 00[	 ]+add[	 ]+\(%r8,%rax(,1)?\),%r8d
25 [	 ]*[0-9a-f]+:[	 ]+4a 03 04 00[	 ]+add[	 ]+\(%rax,%r8(,1)?\),%rax
26 [	 ]*[0-9a-f]+:[	 ]+41\s+rex\.B
27 [	 ]*[0-9a-f]+:[	 ]+9b dd 30\s+fsave\s+\(%rax\)
28 [	 ]*[0-9a-f]+:[	 ]+9b 41 dd 30\s+fsave\s+\(%r8\)
29 [	 ]*[0-9a-f]+:[	 ]+40 c5 f9 28 00[	 ]+rex vmovapd \(%rax\),%xmm0
30 [	 ]*[0-9a-f]+:[	 ]+40[	 ]+rex
31 [	 ]*[0-9a-f]+:[	 ]+41[	 ]+rex.B
32 [	 ]*[0-9a-f]+:[	 ]+42[	 ]+rex.X
33 [	 ]*[0-9a-f]+:[	 ]+43[	 ]+rex.XB
34 [	 ]*[0-9a-f]+:[	 ]+44[	 ]+rex.R
35 [	 ]*[0-9a-f]+:[	 ]+45[	 ]+rex.RB
36 [	 ]*[0-9a-f]+:[	 ]+46[	 ]+rex.RX
37 [	 ]*[0-9a-f]+:[	 ]+47[	 ]+rex.RXB
38 [	 ]*[0-9a-f]+:[	 ]+48[	 ]+rex.W
39 [	 ]*[0-9a-f]+:[	 ]+49[	 ]+rex.WB
40 [	 ]*[0-9a-f]+:[	 ]+4a[	 ]+rex.WX
41 [	 ]*[0-9a-f]+:[	 ]+4b[	 ]+rex.WXB
42 [	 ]*[0-9a-f]+:[	 ]+4c[	 ]+rex.WR
43 [	 ]*[0-9a-f]+:[	 ]+4d[	 ]+rex.WRB
44 [	 ]*[0-9a-f]+:[	 ]+4e[	 ]+rex.WRX
45 [	 ]*[0-9a-f]+:[	 ]+4f[	 ]+rex.WRXB
46 #pass
47