| #as: | |
| #objdump: -drw | |
| #name: i386 32bit displacement | |
| .*: +file format .* | |
| Disassembly of section .text: | |
| 0+ <.*>: | |
| [ ]*[a-f0-9]+: 8b 58 03 mov 0x3\(%eax\),%ebx | |
| [ ]*[a-f0-9]+: 8b 98 03 00 00 00 mov 0x3\(%eax\),%ebx | |
| [ ]*[a-f0-9]+: eb 05 jmp 10 <foo> | |
| [ ]*[a-f0-9]+: e9 00 00 00 00 jmp 10 <foo> | |
| 0+10 <foo>: | |
| [ ]*[a-f0-9]+: 89 58 03 mov %ebx,0x3\(%eax\) | |
| [ ]*[a-f0-9]+: 89 98 03 00 00 00 mov %ebx,0x3\(%eax\) | |
| #pass |