1 #source: pr19609-6.s
2 #as: --x32 -mrelax-relocations=yes
3 #ld: -melf32_x86_64 --defsym foobar=0x80000000
4 #objdump: -dw
5 
6 .*: +file format .*
7 
8 
9 Disassembly of section .text:
10 
11 [a-f0-9]+ <_start>:
12 [ 	]*[a-f0-9]+:	40 c7 c0 00 00 00 80 	rex mov \$0x80000000,%eax
13 #pass
14