Lines Matching refs:tyF
12185 IRType tyF = fp_mode64 ? Ity_F64 : Ity_F32; in disInstr_MIPS_WRK() local
12291 putFReg(fd, mkWidenFromF32(tyF, binop(Iop_SqrtF32, rm, in disInstr_MIPS_WRK()
12292 getLoFromF64(tyF, getFReg(fs))))); in disInstr_MIPS_WRK()
12309 putFReg(fd, mkWidenFromF32(tyF, unop(Iop_AbsF32, in disInstr_MIPS_WRK()
12310 getLoFromF64(tyF, getFReg(fs))))); in disInstr_MIPS_WRK()
12333 putFReg(fd, mkWidenFromF32(tyF, triop(Iop_MulF32, rm, in disInstr_MIPS_WRK()
12334 getLoFromF64(tyF, getFReg(fs)), in disInstr_MIPS_WRK()
12335 getLoFromF64(tyF, getFReg(ft))))); in disInstr_MIPS_WRK()
12356 putFReg(fd, mkWidenFromF32(tyF, triop(Iop_DivF32, rm, in disInstr_MIPS_WRK()
12357 getLoFromF64(tyF, getFReg(fs)), in disInstr_MIPS_WRK()
12358 getLoFromF64(tyF, getFReg(ft))))); in disInstr_MIPS_WRK()
12380 putFReg(fd, mkWidenFromF32(tyF, triop(Iop_SubF32, rm, in disInstr_MIPS_WRK()
12381 getLoFromF64(tyF, getFReg(fs)), in disInstr_MIPS_WRK()
12382 getLoFromF64(tyF, getFReg(ft))))); in disInstr_MIPS_WRK()
12414 putFReg(fd, mkWidenFromF32(tyF, unop(Iop_NegF32, in disInstr_MIPS_WRK()
12415 getLoFromF64(tyF, getFReg(fs))))); in disInstr_MIPS_WRK()
12493 putFReg(fd, mkWidenFromF32(tyF, triop(Iop_DivF32, in disInstr_MIPS_WRK()
12495 mkU32(ONE_SINGLE)), getLoFromF64(tyF, in disInstr_MIPS_WRK()
12799 putFReg(fd, mkWidenFromF32(tyF, triop(Iop_AddF32, rm, in disInstr_MIPS_WRK()
12800 getLoFromF64(tyF, getFReg(fs)), in disInstr_MIPS_WRK()
12801 getLoFromF64(tyF, getFReg(ft))))); in disInstr_MIPS_WRK()
12820 putFReg(fs, mkWidenFromF32(tyF, mkexpr(t1))); in disInstr_MIPS_WRK()
13027 putFReg(fd, mkWidenFromF32(tyF, binop(Iop_I32StoF32, in disInstr_MIPS_WRK()
13043 putFReg(fd, mkWidenFromF32(tyF, mkexpr(t0))); in disInstr_MIPS_WRK()
13052 putFReg(fd, mkWidenFromF32(tyF, binop(Iop_I64StoF32, in disInstr_MIPS_WRK()
13067 mkWidenFromF32(tyF, in disInstr_MIPS_WRK()
13070 getLoFromF64(tyF, getFReg(fs)))) in disInstr_MIPS_WRK()
13082 putFReg(fd, mkWidenFromF32(tyF, mkexpr(t1))); in disInstr_MIPS_WRK()
13100 getLoFromF64(tyF, getFReg(fs)))); in disInstr_MIPS_WRK()
13134 getLoFromF64(tyF, getFReg(fs)))); in disInstr_MIPS_WRK()
13177 putFReg(fd, mkWidenFromF32(tyF, mkexpr(t4))); in disInstr_MIPS_WRK()
13190 putFReg(fd, mkWidenFromF32(tyF, in disInstr_MIPS_WRK()
13227 putFReg(fd, mkWidenFromF32(tyF, mkexpr(t4))); in disInstr_MIPS_WRK()
13240 putFReg(fd, mkWidenFromF32(tyF, in disInstr_MIPS_WRK()
13278 putFReg(fd, mkWidenFromF32(tyF, mkexpr(t4))); in disInstr_MIPS_WRK()
13292 putFReg(fd, mkWidenFromF32(tyF, in disInstr_MIPS_WRK()
13329 putFReg(fd, mkWidenFromF32(tyF, mkexpr(t4))); in disInstr_MIPS_WRK()
13347 putFReg(fd, mkWidenFromF32(tyF, in disInstr_MIPS_WRK()
13366 getLoFromF64(tyF, getFReg(fs)))); in disInstr_MIPS_WRK()
13396 putFReg(fd, mkWidenFromF32(tyF, triop(Iop_DivF32, rm, in disInstr_MIPS_WRK()
13398 binop(Iop_SqrtF32, rm, getLoFromF64(tyF, in disInstr_MIPS_WRK()
13642 store(mkexpr(t0), getLoFromF64(tyF, getFReg(fs))); in disInstr_MIPS_WRK()
13695 getLoFromF64(tyF, getFReg(fmt)), in disInstr_MIPS_WRK()
13696 getLoFromF64(tyF, getFReg(fs)), in disInstr_MIPS_WRK()
13697 getLoFromF64(tyF, getFReg(ft)))); in disInstr_MIPS_WRK()
13698 putFReg(fd, mkWidenFromF32(tyF, mkexpr(t1))); in disInstr_MIPS_WRK()
13713 getLoFromF64(tyF, getFReg(fmt)), in disInstr_MIPS_WRK()
13714 getLoFromF64(tyF, getFReg(fs)), in disInstr_MIPS_WRK()
13715 getLoFromF64(tyF, getFReg(ft)))); in disInstr_MIPS_WRK()
13716 putFReg(fd, mkWidenFromF32(tyF, mkexpr(t1))); in disInstr_MIPS_WRK()
13731 getLoFromF64(tyF, getFReg(fmt)), in disInstr_MIPS_WRK()
13732 getLoFromF64(tyF, getFReg(fs)), in disInstr_MIPS_WRK()
13733 getLoFromF64(tyF, getFReg(ft)))); in disInstr_MIPS_WRK()
13735 putFReg(fd, mkWidenFromF32(tyF, unop(Iop_NegF32, mkexpr(t1)))); in disInstr_MIPS_WRK()
13752 getLoFromF64(tyF, getFReg(fmt)), in disInstr_MIPS_WRK()
13753 getLoFromF64(tyF, getFReg(fs)), in disInstr_MIPS_WRK()
13754 getLoFromF64(tyF, getFReg(ft)))); in disInstr_MIPS_WRK()
13756 putFReg(fd, mkWidenFromF32(tyF, unop(Iop_NegF32, mkexpr(t1)))); in disInstr_MIPS_WRK()