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