1#objdump: -dr --prefix-addresses  --show-raw-insn -Mvirt,cp0-names=mips64r2
2#name: virt64 instructions
3#as: -64 -mvirt
4
5.*: +file format .*mips.*
6
7Disassembly of section \.text:
8[0-9a-f]+ <[^>]*> 4063e900 	dmfgc0	v1,c0_taghi
9[0-9a-f]+ <[^>]*> 406ba105 	dmfgc0	a7,\$20,5
10[0-9a-f]+ <[^>]*> 40771300 	dmtgc0	s7,c0_entrylo0
11[0-9a-f]+ <[^>]*> 40677302 	dmtgc0	a3,\$14,2
12	...
13