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

.*: +file format .*


Disassembly of section .text:

0+ <.*>:
[ 	]*[a-f0-9]+:	8b 18                	mov    \(%rax\),%ebx
[ 	]*[a-f0-9]+:	8b 58 03             	mov    0x3\(%rax\),%ebx
[ 	]*[a-f0-9]+:	8b 58 00             	mov    0x0\(%rax\),%ebx
[ 	]*[a-f0-9]+:	8b 58 03             	mov    0x3\(%rax\),%ebx
[ 	]*[a-f0-9]+:	8b 98 ff 0f 00 00    	mov    0xfff\(%rax\),%ebx
[ 	]*[a-f0-9]+:	8b 98 00 00 00 00    	mov    0x0\(%rax\),%ebx
[ 	]*[a-f0-9]+:	8b 98 03 00 00 00    	mov    0x3\(%rax\),%ebx
[ 	]*[a-f0-9]+:	62 f1 fe 08 6f 98 c0 ff ff ff 	vmovdqu64 -0x40\(%rax\),%xmm3
[ 	]*[a-f0-9]+:	eb 07                	jmp    30 <foo>
[ 	]*[a-f0-9]+:	eb 05                	jmp    30 <foo>
[ 	]*[a-f0-9]+:	e9 00 00 00 00       	jmp    30 <foo>

0+30 <foo>:
[ 	]*[a-f0-9]+:	89 18                	mov    %ebx,\(%rax\)
[ 	]*[a-f0-9]+:	89 58 03             	mov    %ebx,0x3\(%rax\)
[ 	]*[a-f0-9]+:	89 98 ff 0f 00 00    	mov    %ebx,0xfff\(%rax\)
[ 	]*[a-f0-9]+:	89 58 00             	mov    %ebx,0x0\(%rax\)
[ 	]*[a-f0-9]+:	89 58 03             	mov    %ebx,0x3\(%rax\)
[ 	]*[a-f0-9]+:	89 98 00 00 00 00    	mov    %ebx,0x0\(%rax\)
[ 	]*[a-f0-9]+:	89 98 03 00 00 00    	mov    %ebx,0x3\(%rax\)
[ 	]*[a-f0-9]+:	62 f1 fe 08 6f 98 c0 ff ff ff 	vmovdqu64 -0x40\(%rax\),%xmm3
#pass