1317    vassert(ty == Ity_F32 || ty == Ity_F64);  in getLoFromF64()
1318    if (ty == Ity_F64) {  in getLoFromF64()
1331    vassert(ty == Ity_F32 || ty == Ity_F64);  in mkWidenFromF32()
1332    if (ty == Ity_F64) {  in mkWidenFromF32()
1413    IRType ty = fp_mode64 ? Ity_F64 : Ity_F32;  in getFReg()
1421       return IRExpr_Get(floatGuestRegOffset(dregNo), Ity_F64);  in getDReg()
1427       IRTemp t2 = newTemp(Ity_F64);  in getDReg()
1447    IRType ty = fp_mode64 ? Ity_F64 : Ity_F32;  in putFReg()
1456       IRType ty = Ity_F64;  in putDReg()
1461       vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_F64);  in putDReg()
1462       IRTemp t1 = newTemp(Ity_F64);  in putDReg()
1755                tmp5 = newTemp(Ity_F64);  in dis_instr_CCondFmt()
1756                tmp6 = newTemp(Ity_F64);  in dis_instr_CCondFmt()
1758                assign(tmp5, unop(Iop_F32toF64, getLoFromF64(Ity_F64,  in dis_instr_CCondFmt()
1760                assign(tmp6, unop(Iop_F32toF64, getLoFromF64(Ity_F64,  in dis_instr_CCondFmt()
12195    IRType tyF = fp_mode64 ? Ity_F64 : Ity_F32;  in disInstr_MIPS_WRK()
12247                                   getLoFromF64(Ity_F64 /* 32FPR mode. */,  in disInstr_MIPS_WRK()
12445                                          getLoFromF64(Ity_F64, getFReg(fs))));  in disInstr_MIPS_WRK()
12476                                          getLoFromF64(Ity_F64, getFReg(fs))));  in disInstr_MIPS_WRK()
12528                   t1 = newTemp(Ity_F64);  in disInstr_MIPS_WRK()
12529                   t2 = newTemp(Ity_F64);  in disInstr_MIPS_WRK()
12531                   t4 = newTemp(Ity_F64);  in disInstr_MIPS_WRK()
12550                      IRTemp f = newTemp(Ity_F64);  in disInstr_MIPS_WRK()
12569                   t4 = newTemp(Ity_F64);  in disInstr_MIPS_WRK()
12588                   t1 = newTemp(Ity_F64);  in disInstr_MIPS_WRK()
12589                   t2 = newTemp(Ity_F64);  in disInstr_MIPS_WRK()
12591                   t4 = newTemp(Ity_F64);  in disInstr_MIPS_WRK()
12607                      IRTemp f = newTemp(Ity_F64);  in disInstr_MIPS_WRK()
12625                   t4 = newTemp(Ity_F64);  in disInstr_MIPS_WRK()
12647                      t4 = newTemp(Ity_F64);  in disInstr_MIPS_WRK()
12671                      t4 = newTemp(Ity_F64);  in disInstr_MIPS_WRK()
12672                      t5 = newTemp(Ity_F64);  in disInstr_MIPS_WRK()
12673                      t6 = newTemp(Ity_F64);  in disInstr_MIPS_WRK()
12701                         IRTemp f = newTemp(Ity_F64);  in disInstr_MIPS_WRK()
12728                      t4 = newTemp(Ity_F64);  in disInstr_MIPS_WRK()
12752                      t4 = newTemp(Ity_F64);  in disInstr_MIPS_WRK()
12753                      t5 = newTemp(Ity_F64);  in disInstr_MIPS_WRK()
12754                      t6 = newTemp(Ity_F64);  in disInstr_MIPS_WRK()
12781                         IRTemp f = newTemp(Ity_F64);  in disInstr_MIPS_WRK()
13517       putDReg(ft, load(Ity_F64, mkexpr(t1)));  in disInstr_MIPS_WRK()
13615             putFReg(fd, load(Ity_F64, mkexpr(t0)));  in disInstr_MIPS_WRK()
13643          putFReg(fd, load(Ity_F64, mkexpr(t1)));  in disInstr_MIPS_WRK()
13751          t1 = newTemp(Ity_F64);  in disInstr_MIPS_WRK()
13772          t1 = newTemp(Ity_F64);  in disInstr_MIPS_WRK()