Lines Matching refs:Ity_F64
1317 vassert(ty == Ity_F32 || ty == Ity_F64);
1318 if (ty == Ity_F64) {
1331 vassert(ty == Ity_F32 || ty == Ity_F64);
1332 if (ty == Ity_F64) {
1413 IRType ty = fp_mode64 ? Ity_F64 : Ity_F32;
1421 return IRExpr_Get(floatGuestRegOffset(dregNo), Ity_F64);
1427 IRTemp t2 = newTemp(Ity_F64);
1447 IRType ty = fp_mode64 ? Ity_F64 : Ity_F32;
1456 IRType ty = Ity_F64;
1461 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_F64);
1462 IRTemp t1 = newTemp(Ity_F64);
1755 tmp5 = newTemp(Ity_F64);
1756 tmp6 = newTemp(Ity_F64);
1758 assign(tmp5, unop(Iop_F32toF64, getLoFromF64(Ity_F64,
1760 assign(tmp6, unop(Iop_F32toF64, getLoFromF64(Ity_F64,
12185 IRType tyF = fp_mode64 ? Ity_F64 : Ity_F32;
12237 getLoFromF64(Ity_F64 /* 32FPR mode. */,
12435 getLoFromF64(Ity_F64, getFReg(fs))));
12466 getLoFromF64(Ity_F64, getFReg(fs))));
12518 t1 = newTemp(Ity_F64);
12519 t2 = newTemp(Ity_F64);
12521 t4 = newTemp(Ity_F64);
12540 IRTemp f = newTemp(Ity_F64);
12559 t4 = newTemp(Ity_F64);
12578 t1 = newTemp(Ity_F64);
12579 t2 = newTemp(Ity_F64);
12581 t4 = newTemp(Ity_F64);
12597 IRTemp f = newTemp(Ity_F64);
12615 t4 = newTemp(Ity_F64);
12637 t4 = newTemp(Ity_F64);
12661 t4 = newTemp(Ity_F64);
12662 t5 = newTemp(Ity_F64);
12663 t6 = newTemp(Ity_F64);
12691 IRTemp f = newTemp(Ity_F64);
12718 t4 = newTemp(Ity_F64);
12742 t4 = newTemp(Ity_F64);
12743 t5 = newTemp(Ity_F64);
12744 t6 = newTemp(Ity_F64);
12771 IRTemp f = newTemp(Ity_F64);
13507 putDReg(ft, load(Ity_F64, mkexpr(t1)));
13605 putFReg(fd, load(Ity_F64, mkexpr(t0)));
13633 putFReg(fd, load(Ity_F64, mkexpr(t1)));
13741 t1 = newTemp(Ity_F64);
13762 t1 = newTemp(Ity_F64);
