Lines Matching refs:Ity_F64
1311 vassert(ty == Ity_F32 || ty == Ity_F64);
1312 if (ty == Ity_F64) {
1325 vassert(ty == Ity_F32 || ty == Ity_F64);
1326 if (ty == Ity_F64) {
1407 IRType ty = fp_mode64 ? Ity_F64 : Ity_F32;
1415 return IRExpr_Get(floatGuestRegOffset(dregNo), Ity_F64);
1421 IRTemp t2 = newTemp(Ity_F64);
1441 IRType ty = fp_mode64 ? Ity_F64 : Ity_F32;
1450 IRType ty = Ity_F64;
1455 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_F64);
1456 IRTemp t1 = newTemp(Ity_F64);
1749 tmp5 = newTemp(Ity_F64);
1750 tmp6 = newTemp(Ity_F64);
1752 assign(tmp5, unop(Iop_F32toF64, getLoFromF64(Ity_F64,
1754 assign(tmp6, unop(Iop_F32toF64, getLoFromF64(Ity_F64,
11849 IRType tyF = fp_mode64 ? Ity_F64 : Ity_F32;
11901 getLoFromF64(Ity_F64 /* 32FPR mode. */,
12099 getLoFromF64(Ity_F64, getFReg(fs))));
12130 getLoFromF64(Ity_F64, getFReg(fs))));
12182 t1 = newTemp(Ity_F64);
12183 t2 = newTemp(Ity_F64);
12185 t4 = newTemp(Ity_F64);
12204 IRTemp f = newTemp(Ity_F64);
12223 t4 = newTemp(Ity_F64);
12242 t1 = newTemp(Ity_F64);
12243 t2 = newTemp(Ity_F64);
12245 t4 = newTemp(Ity_F64);
12261 IRTemp f = newTemp(Ity_F64);
12279 t4 = newTemp(Ity_F64);
12301 t4 = newTemp(Ity_F64);
12325 t4 = newTemp(Ity_F64);
12326 t5 = newTemp(Ity_F64);
12327 t6 = newTemp(Ity_F64);
12355 IRTemp f = newTemp(Ity_F64);
12382 t4 = newTemp(Ity_F64);
12406 t4 = newTemp(Ity_F64);
12407 t5 = newTemp(Ity_F64);
12408 t6 = newTemp(Ity_F64);
12435 IRTemp f = newTemp(Ity_F64);
13171 putDReg(ft, load(Ity_F64, mkexpr(t1)));
13269 putFReg(fd, load(Ity_F64, mkexpr(t0)));
13297 putFReg(fd, load(Ity_F64, mkexpr(t1)));
13405 t1 = newTemp(Ity_F64);
13426 t1 = newTemp(Ity_F64);