#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 fxsave[	 ]+\(%rax\)
[	 ]*[0-9a-f]+:[	 ]+48 0f ae 00[	 ]+fxsave64[	 ]+\(%rax\)
[	 ]*[0-9a-f]+:[	 ]+41 0f ae 00[	 ]+fxsave[	 ]+\(%r8\)
[	 ]*[0-9a-f]+:[	 ]+49 0f ae 00[	 ]+fxsave64[	 ]+\(%r8\)
[	 ]*[0-9a-f]+:[	 ]+42 0f ae 04 05 00 00 00 00[	 ]+fxsave[	 ]+(0x0)?\(,%r8(,1)?\)
[	 ]*[0-9a-f]+:[	 ]+4a 0f ae 04 05 00 00 00 00[	 ]+fxsave64[	 ]+(0x0)?\(,%r8(,1)?\)
[	 ]*[0-9a-f]+:[	 ]+43 0f ae 04 00[	 ]+fxsave[	 ]+\(%r8,%r8(,1)?\)
[	 ]*[0-9a-f]+:[	 ]+4b 0f ae 04 00[	 ]+fxsave64[	 ]+\(%r8,%r8(,1)?\)
[	 ]*[0-9a-f]+:[	 ]+40 c5 f9 28 00[	 ]+rex vmovapd \(%rax\),%xmm0
[	 ]*[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