1 #objdump: -drwMintel
2 #name: x86-64 RdRnd(Intel mode)
3 #source: x86-64-rdrnd.s
4 
5 .*: +file format .*
6 
7 
8 Disassembly of section .text:
9 
10 0+ <foo>:
11 [ 	]*[a-f0-9]+:	66 0f c7 f3          	rdrand bx
12 [ 	]*[a-f0-9]+:	0f c7 f3             	rdrand ebx
13 [ 	]*[a-f0-9]+:	48 0f c7 f3          	rdrand rbx
14 [ 	]*[a-f0-9]+:	66 41 0f c7 f0       	rdrand r8w
15 [ 	]*[a-f0-9]+:	41 0f c7 f0          	rdrand r8d
16 [ 	]*[a-f0-9]+:	49 0f c7 f0          	rdrand r8
17 [ 	]*[a-f0-9]+:	66 0f c7 f3          	rdrand bx
18 [ 	]*[a-f0-9]+:	0f c7 f3             	rdrand ebx
19 [ 	]*[a-f0-9]+:	48 0f c7 f3          	rdrand rbx
20 [ 	]*[a-f0-9]+:	66 41 0f c7 f0       	rdrand r8w
21 [ 	]*[a-f0-9]+:	41 0f c7 f0          	rdrand r8d
22 [ 	]*[a-f0-9]+:	49 0f c7 f0          	rdrand r8
23 #pass
24