1 #objdump: -dw
2 #name: x86-64 RdSeed
3 
4 .*: +file format .*
5 
6 
7 Disassembly of section .text:
8 
9 0+ <foo>:
10 [       ]*[a-f0-9]+:	66 0f c7 f8          	rdseed %ax
11 [       ]*[a-f0-9]+:	0f c7 f8             	rdseed %eax
12 [       ]*[a-f0-9]+:	48 0f c7 f8          	rdseed %rax
13 [       ]*[a-f0-9]+:	66 41 0f c7 fb       	rdseed %r11w
14 [       ]*[a-f0-9]+:	41 0f c7 fb          	rdseed %r11d
15 [       ]*[a-f0-9]+:	49 0f c7 fb          	rdseed %r11
16 [       ]*[a-f0-9]+:	66 0f c7 fb          	rdseed %bx
17 [       ]*[a-f0-9]+:	0f c7 fb             	rdseed %ebx
18 [       ]*[a-f0-9]+:	48 0f c7 fb          	rdseed %rbx
19 [       ]*[a-f0-9]+:	66 41 0f c7 fb       	rdseed %r11w
20 [       ]*[a-f0-9]+:	41 0f c7 fb          	rdseed %r11d
21 [       ]*[a-f0-9]+:	49 0f c7 fb          	rdseed %r11
22 #pass
23