Lines Matching refs:Ity_F64
650 return IRExpr_Get( doubleGuestRegOffset(dregNo), Ity_F64 );
662 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_F64);
10570 putDReg(dD + i, loadLE(Ity_F64, addr), IRTemp_INVALID);
10707 putDReg(dD + i, loadLE(Ity_F64, addr), IRTemp_INVALID);
11088 putDReg(dD, loadLE(Ity_F64,mkexpr(ea)), IRTemp_INVALID);
11205 IRTemp argL = newTemp(Ity_F64);
11206 IRTemp argR = newTemp(Ity_F64);
11671 IRTemp argL = newTemp(Ity_F64);
11672 IRTemp argR = newTemp(Ity_F64);
