5 #as: -linker-allocated-gregs
9 # Two BPO:s against the same value get merged.
11 .*: file format elf64-mmix
14 0+ l d \.text 0+ (|\.text)
15 0+7f0 l d \.MMIX\.reg_contents 0+ (|\.MMIX\.reg_contents)
20 Contents of section \.text:
21 0000 e3fd0001 234dfe00 234dfe00 fd040810 .*
22 Contents of section \.MMIX\.reg_contents:
23 07f0 00000000 00000007 .*