#as:
#objdump: -drw
#name: x86-64 32bit displacement

.*: +file format .*


Disassembly of section .text:

0+ <.*>:
[ 	]*[a-f0-9]+:	8b 58 03             	mov    0x3\(%rax\),%ebx
[ 	]*[a-f0-9]+:	8b 98 03 00 00 00    	mov    0x3\(%rax\),%ebx
[ 	]*[a-f0-9]+:	eb 05                	jmp    10 <foo>
[ 	]*[a-f0-9]+:	e9 00 00 00 00       	jmpq   10 <foo>

0+10 <foo>:
[ 	]*[a-f0-9]+:	89 58 03             	mov    %ebx,0x3\(%rax\)
[ 	]*[a-f0-9]+:	89 98 03 00 00 00    	mov    %ebx,0x3\(%rax\)
#pass