#objdump: -dr --show-raw-insn
#name: microMIPS for MIPS32r2 (instructions valid in insn32 mode)
#as: -mips32r2 -32 -mfp64 -EB --defsym insn32=1
-#stderr: micromips-warn.l
+#warning_output: micromips-warn.l
#source: micromips.s
.*: +file format .*mips.*