#objdump: -dr -M gpr-names=numeric -m mips:7000
#name: MIPS RM7000
#as: -march=rm7000

.*: +file format .*mips.*

Disassembly of section \.text:

0+000 <\.text>:
 * 0:	70a62002 *	mul	\$4,\$5,\$6
 * 4:	70850000 *	mad	\$4,\$5
 * 8:	70a60001 *	madu	\$5,\$6
 * c:	00003812 *	mflo	\$7
 *10:	01000011 *	mthi	\$8
	...