#objdump: -drwMintel
#name: x86-64 RdRnd(Intel mode)
#source: x86-64-rdrnd.s

.*: +file format .*


Disassembly of section .text:

0+ <foo>:
[ 	]*[a-f0-9]+:	66 0f c7 f3          	rdrand bx
[ 	]*[a-f0-9]+:	0f c7 f3             	rdrand ebx
[ 	]*[a-f0-9]+:	48 0f c7 f3          	rdrand rbx
[ 	]*[a-f0-9]+:	66 41 0f c7 f0       	rdrand r8w
[ 	]*[a-f0-9]+:	41 0f c7 f0          	rdrand r8d
[ 	]*[a-f0-9]+:	49 0f c7 f0          	rdrand r8
[ 	]*[a-f0-9]+:	66 0f c7 f3          	rdrand bx
[ 	]*[a-f0-9]+:	0f c7 f3             	rdrand ebx
[ 	]*[a-f0-9]+:	48 0f c7 f3          	rdrand rbx
[ 	]*[a-f0-9]+:	66 41 0f c7 f0       	rdrand r8w
[ 	]*[a-f0-9]+:	41 0f c7 f0          	rdrand r8d
[ 	]*[a-f0-9]+:	49 0f c7 f0          	rdrand r8
#pass
