Lines Matching refs:Ity_F64
697 return IRExpr_Get( doubleGuestRegOffset(dregNo), Ity_F64 );
709 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_F64);
12927 putDReg(dD + i, loadLE(Ity_F64, addr), IRTemp_INVALID);
13064 putDReg(dD + i, loadLE(Ity_F64, addr), IRTemp_INVALID);
13445 putDReg(dD, loadLE(Ity_F64,mkexpr(ea)), IRTemp_INVALID);
13583 IRTemp argL = newTemp(Ity_F64);
13584 IRTemp argR = newTemp(Ity_F64);
14070 IRTemp argL = newTemp(Ity_F64);
14071 IRTemp argR = newTemp(Ity_F64);
14306 IRTemp scale = newTemp(Ity_F64);
14328 IRTemp scale = newTemp(Ity_F64);
14343 IRTemp srcF64 = newTemp(Ity_F64);
14345 IRTemp scale = newTemp(Ity_F64);
14347 IRTemp scaledF64 = newTemp(Ity_F64);