#PROG: objcopy
#objdump: -d --prefix-addresses --show-raw-insn -M xpa,cp0-names=mips32
#name: MIPS XPA and Virtualization ASE instruction disassembly 2
#source: mips-xpa-virt.s

.*: +file format .*mips.*

Disassembly of section \.text:
[0-9a-f]+ <[^>]*> 40020800 	mfc0	v0,c0_random
[0-9a-f]+ <[^>]*> 40420800 	mfhc0	v0,c0_random
[0-9a-f]+ <[^>]*> 40620800 	0x40620800
[0-9a-f]+ <[^>]*> 40620c00 	0x40620c00
	\.\.\.