#objdump: -drwMintel
#name: x86-64 RdSeed(Intel mode)
#source: x86-64-rdseed.s

.*: +file format .*


Disassembly of section .text:

0+ <foo>:
[       ]*[a-f0-9]+:	66 0f c7 f8          	rdseed ax
[       ]*[a-f0-9]+:	0f c7 f8             	rdseed eax
[       ]*[a-f0-9]+:	48 0f c7 f8          	rdseed rax
[       ]*[a-f0-9]+:	66 41 0f c7 fb       	rdseed r11w
[       ]*[a-f0-9]+:	41 0f c7 fb          	rdseed r11d
[       ]*[a-f0-9]+:	49 0f c7 fb          	rdseed r11
[       ]*[a-f0-9]+:	66 0f c7 fb          	rdseed bx
[       ]*[a-f0-9]+:	0f c7 fb             	rdseed ebx
[       ]*[a-f0-9]+:	48 0f c7 fb          	rdseed rbx
[       ]*[a-f0-9]+:	66 41 0f c7 fb       	rdseed r11w
[       ]*[a-f0-9]+:	41 0f c7 fb          	rdseed r11d
[       ]*[a-f0-9]+:	49 0f c7 fb          	rdseed r11
#pass