1*56bb7041Schristos #source: start.s
2*56bb7041Schristos #source: greg-1.s
3*56bb7041Schristos #source: bpo-3.s
4*56bb7041Schristos #source: bpo-1.s
5*56bb7041Schristos #as: -linker-allocated-gregs
6*56bb7041Schristos #ld: -m elf64mmix
7*56bb7041Schristos #objdump: -st
8*56bb7041Schristos 
9*56bb7041Schristos # Three GREGs: one explicit, two linker-allocated.
10*56bb7041Schristos 
11*56bb7041Schristos .*:     file format elf64-mmix
12*56bb7041Schristos 
13*56bb7041Schristos SYMBOL TABLE:
14*56bb7041Schristos 0+ l    d  \.text	0+ (|\.text)
15*56bb7041Schristos 0+7e0 l    d  \.MMIX\.reg_contents	0+ (|\.MMIX\.reg_contents)
16*56bb7041Schristos #...
17*56bb7041Schristos 0+8 l       \.text	0+ x
18*56bb7041Schristos #...
19*56bb7041Schristos 0+ g       \.text	0+ _start
20*56bb7041Schristos 0+fe g       \*REG\*	0+ areg
21*56bb7041Schristos #...
22*56bb7041Schristos 
23*56bb7041Schristos Contents of section \.text:
24*56bb7041Schristos  0000 e3fd0001 8f79fd00 232afc00           .*
25*56bb7041Schristos Contents of section \.MMIX\.reg_contents:
26*56bb7041Schristos  07e0 00000000 00000032 00000000 00000133  .*
27*56bb7041Schristos  07f0 00007048 860f3a38                    .*
28