1 #source: reginfo-1.s
2 #as: -mabi=o64 -EB -mips4
3 #objdump: -sj.reginfo
4 
5 .*
6 
7 Contents of section \.reginfo:
8  0000 00000010 00000000 00010410 00000000  .*
9  0010 00000000 00000000                    .*
10