255 			switch (insn.mm_fp1_format.op) {  in microMIPS32_to_MIPS32()
260 				if ((insn.mm_fp1_format.op & 0x7f) ==  in microMIPS32_to_MIPS32()
277 				if ((insn.mm_fp1_format.op & 0x7f) ==  in microMIPS32_to_MIPS32()
300 				if ((insn.mm_fp1_format.op & 0x7f) ==  in microMIPS32_to_MIPS32()
303 				else if ((insn.mm_fp1_format.op & 0x7f) ==  in microMIPS32_to_MIPS32()
328 				if (insn.mm_fp1_format.op == mm_ffloorl_op)  in microMIPS32_to_MIPS32()
330 				else if (insn.mm_fp1_format.op == mm_ffloorw_op)  in microMIPS32_to_MIPS32()
332 				else if (insn.mm_fp1_format.op == mm_fceill_op)  in microMIPS32_to_MIPS32()
334 				else if (insn.mm_fp1_format.op == mm_fceilw_op)  in microMIPS32_to_MIPS32()
336 				else if (insn.mm_fp1_format.op == mm_ftruncl_op)  in microMIPS32_to_MIPS32()
338 				else if (insn.mm_fp1_format.op == mm_ftruncw_op)  in microMIPS32_to_MIPS32()
340 				else if (insn.mm_fp1_format.op == mm_froundl_op)  in microMIPS32_to_MIPS32()
342 				else if (insn.mm_fp1_format.op == mm_froundw_op)  in microMIPS32_to_MIPS32()
344 				else if (insn.mm_fp1_format.op == mm_fcvtl_op)  in microMIPS32_to_MIPS32()
350 					sd_format[insn.mm_fp1_format.fmt];  in microMIPS32_to_MIPS32()
353 					insn.mm_fp1_format.fs;  in microMIPS32_to_MIPS32()
355 					insn.mm_fp1_format.rt;  in microMIPS32_to_MIPS32()
361 				if (insn.mm_fp1_format.op == mm_frsqrt_op)  in microMIPS32_to_MIPS32()
363 				else if (insn.mm_fp1_format.op == mm_fsqrt_op)  in microMIPS32_to_MIPS32()
369 					sdps_format[insn.mm_fp1_format.fmt];  in microMIPS32_to_MIPS32()
372 					insn.mm_fp1_format.fs;  in microMIPS32_to_MIPS32()
374 					insn.mm_fp1_format.rt;  in microMIPS32_to_MIPS32()
383 				if (insn.mm_fp1_format.op == mm_mfc1_op)  in microMIPS32_to_MIPS32()
385 				else if (insn.mm_fp1_format.op == mm_mtc1_op)  in microMIPS32_to_MIPS32()
387 				else if (insn.mm_fp1_format.op == mm_cfc1_op)  in microMIPS32_to_MIPS32()
389 				else if (insn.mm_fp1_format.op == mm_ctc1_op)  in microMIPS32_to_MIPS32()
391 				else if (insn.mm_fp1_format.op == mm_mfhc1_op)  in microMIPS32_to_MIPS32()
398 					insn.mm_fp1_format.rt;  in microMIPS32_to_MIPS32()
400 					insn.mm_fp1_format.fs;  in microMIPS32_to_MIPS32()