#objdump: -dr --prefix-addresses --show-raw-insn
#name: MIPS MIPS64 cop2 instructions
#as: -32

# Check MIPS64 cop2 instruction assembly

.*: +file format .*mips.*

Disassembly of section .text:
0+0000 <[^>]*> 48232000 	dmfc2	v1,\$4
0+0004 <[^>]*> 48242800 	dmfc2	a0,\$5
0+0008 <[^>]*> 48253007 	dmfc2	a1,\$6,7
0+000c <[^>]*> 48a63800 	dmtc2	a2,\$7
0+0010 <[^>]*> 48a74000 	dmtc2	a3,\$8
0+0014 <[^>]*> 48a84807 	dmtc2	t0,\$9,7
#pass