256 			switch (insn.mm_fp1_format.op) {  in microMIPS32_to_MIPS32()
261 				if ((insn.mm_fp1_format.op & 0x7f) ==  in microMIPS32_to_MIPS32()
278 				if ((insn.mm_fp1_format.op & 0x7f) ==  in microMIPS32_to_MIPS32()
301 				if ((insn.mm_fp1_format.op & 0x7f) ==  in microMIPS32_to_MIPS32()
304 				else if ((insn.mm_fp1_format.op & 0x7f) ==  in microMIPS32_to_MIPS32()
329 				if (insn.mm_fp1_format.op == mm_ffloorl_op)  in microMIPS32_to_MIPS32()
331 				else if (insn.mm_fp1_format.op == mm_ffloorw_op)  in microMIPS32_to_MIPS32()
333 				else if (insn.mm_fp1_format.op == mm_fceill_op)  in microMIPS32_to_MIPS32()
335 				else if (insn.mm_fp1_format.op == mm_fceilw_op)  in microMIPS32_to_MIPS32()
337 				else if (insn.mm_fp1_format.op == mm_ftruncl_op)  in microMIPS32_to_MIPS32()
339 				else if (insn.mm_fp1_format.op == mm_ftruncw_op)  in microMIPS32_to_MIPS32()
341 				else if (insn.mm_fp1_format.op == mm_froundl_op)  in microMIPS32_to_MIPS32()
343 				else if (insn.mm_fp1_format.op == mm_froundw_op)  in microMIPS32_to_MIPS32()
345 				else if (insn.mm_fp1_format.op == mm_fcvtl_op)  in microMIPS32_to_MIPS32()
351 					sd_format[insn.mm_fp1_format.fmt];  in microMIPS32_to_MIPS32()
354 					insn.mm_fp1_format.fs;  in microMIPS32_to_MIPS32()
356 					insn.mm_fp1_format.rt;  in microMIPS32_to_MIPS32()
362 				if (insn.mm_fp1_format.op == mm_frsqrt_op)  in microMIPS32_to_MIPS32()
364 				else if (insn.mm_fp1_format.op == mm_fsqrt_op)  in microMIPS32_to_MIPS32()
370 					sdps_format[insn.mm_fp1_format.fmt];  in microMIPS32_to_MIPS32()
373 					insn.mm_fp1_format.fs;  in microMIPS32_to_MIPS32()
375 					insn.mm_fp1_format.rt;  in microMIPS32_to_MIPS32()
384 				if (insn.mm_fp1_format.op == mm_mfc1_op)  in microMIPS32_to_MIPS32()
386 				else if (insn.mm_fp1_format.op == mm_mtc1_op)  in microMIPS32_to_MIPS32()
388 				else if (insn.mm_fp1_format.op == mm_cfc1_op)  in microMIPS32_to_MIPS32()
390 				else if (insn.mm_fp1_format.op == mm_ctc1_op)  in microMIPS32_to_MIPS32()
392 				else if (insn.mm_fp1_format.op == mm_mfhc1_op)  in microMIPS32_to_MIPS32()
399 					insn.mm_fp1_format.rt;  in microMIPS32_to_MIPS32()
401 					insn.mm_fp1_format.fs;  in microMIPS32_to_MIPS32()