1317    vassert(ty == Ity_F32 || ty == Ity_F64);  in getLoFromF64()
1331    vassert(ty == Ity_F32 || ty == Ity_F64);  in mkWidenFromF32()
1413    IRType ty = fp_mode64 ? Ity_F64 : Ity_F32;  in getFReg()
1425       IRTemp t0 = newTemp(Ity_F32);  in getDReg()
1426       IRTemp t1 = newTemp(Ity_F32);  in getDReg()
1447    IRType ty = fp_mode64 ? Ity_F64 : Ity_F32;  in putFReg()
12195    IRType tyF = fp_mode64 ? Ity_F64 : Ity_F32;  in disInstr_MIPS_WRK()
12826                      t1 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
12970                         t3 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
12971                         t4 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
12990                         t3 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
12991                         t4 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
13031                         t3 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
13032                         t4 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
13050                      t0 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
13088                   t1 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
13175                         t3 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
13176                         t4 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
13225                         t3 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
13226                         t4 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
13276                         t3 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
13277                         t4 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
13327                         t3 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
13328                         t4 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
13469          t1 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
13482          assign(t1, load(Ity_F32, mkexpr(t0)));  in disInstr_MIPS_WRK()
13490          putFReg(ft, load(Ity_F32, mkexpr(t0)));  in disInstr_MIPS_WRK()
13586             t3 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
13593             assign(t3, load(Ity_F32, mkexpr(t2)));  in disInstr_MIPS_WRK()
13602             putFReg(fd, load(Ity_F32, mkexpr(t0)));  in disInstr_MIPS_WRK()
13625             putFReg(fd, load(Ity_F32, mkexpr(t0)));  in disInstr_MIPS_WRK()
13626             putFReg(fd + 1, load(Ity_F32, mkexpr(t1)));  in disInstr_MIPS_WRK()
13628             putFReg(fd + 1, load(Ity_F32, mkexpr(t0)));  in disInstr_MIPS_WRK()
13629             putFReg(fd, load(Ity_F32, mkexpr(t1)));  in disInstr_MIPS_WRK()
13703          t1 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
13721          t1 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
13739          t1 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()
13760          t1 = newTemp(Ity_F32);  in disInstr_MIPS_WRK()