#PROG: objcopy
#objdump: -d --prefix-addresses --show-raw-insn -M xpa,virt,cp0-names=mips32
#name: MIPS XPA and Virtualization ASE instruction disassembly 4
#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 	mfgc0	v0,c0_random
[0-9a-f]+ <[^>]*> 40620c00 	mfhgc0	v0,c0_random
	\.\.\.
