#objdump: -dr --prefix-addresses  --show-raw-insn -Mvirt,cp0-names=mips64r2
#name: virt64 instructions
#source: virt64.s
#as: -64 -mvirt

.*: +file format .*mips.*

Disassembly of section \.text:
[0-9a-f]+ <[^>]*> 587d 00e7 	dmfgc0	v1,c0_taghi
[0-9a-f]+ <[^>]*> 5974 28e7 	dmfgc0	a7,\$20,5
[0-9a-f]+ <[^>]*> 5ae2 02e7 	dmtgc0	s7,c0_entrylo0
[0-9a-f]+ <[^>]*> 58ee 12e7 	dmtgc0	a3,\$14,2
	\.\.\.