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