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,
12195 IRType tyF = fp_mode64 ? Ity_F64 : Ity_F32;
12247 getLoFromF64(Ity_F64 /* 32FPR mode. */,
12445 getLoFromF64(Ity_F64, getFReg(fs))));
12476 getLoFromF64(Ity_F64, getFReg(fs))));
12528 Ity_F64);
12529 t2 = newTemp(Ity_F64);
12531 t4 = newTemp(Ity_F64);
12550 IRTemp f = newTemp(Ity_F64);
12569 t4 = newTemp(Ity_F64);
12588 t1 = newTemp(Ity_F64);
12589 t2 = newTemp(Ity_F64);
12591 t4 = newTemp(Ity_F64);
12607 IRTemp f = newTemp(Ity_F64);
12625 t4 = newTemp(Ity_F64);
12647 t4 = newTemp(Ity_F64);
12671 t4 = newTemp(Ity_F64);
12672 t5 = newTemp(Ity_F64);
12673 t6 = newTemp(Ity_F64);
12701 IRTemp f = newTemp(Ity_F64);
12728 t4 = newTemp(Ity_F64);
12752 t4 = newTemp(Ity_F64);
12753 t5 = newTemp(Ity_F64);
12754 t6 = newTemp(Ity_F64);
12781 IRTemp f = newTemp(Ity_F64);
13517 putDReg(ft, load(Ity_F64, mkexpr(t1)));
13615 putFReg(fd, load(Ity_F64, mkexpr(t0)));
13643 putFReg(fd, load(Ity_F64, mkexpr(t1)));
13751 t1 = newTemp(Ity_F64);
13772 t1 = newTemp(Ity_F64);
