1 #source: reginfo-1.s
2 #as: -32 -EL -mips4
3 #objdump: -sj.reginfo
4 
5 .*
6 
7 Contents of section \.reginfo:
8  0000 10000000 00000000 30040300 00000000  .*
9  0010 00000000 00000000                    .*
10