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 
7 Disassembly 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