Lines Matching refs:Ity_F64
697 return IRExpr_Get( doubleGuestRegOffset(dregNo), Ity_F64 );
709 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_F64);
12929 putDReg(dD + i, loadLE(Ity_F64, addr), IRTemp_INVALID);
13066 putDReg(dD + i, loadLE(Ity_F64, addr), IRTemp_INVALID);
13447 putDReg(dD, loadLE(Ity_F64,mkexpr(ea)), IRTemp_INVALID);
13607 IRTemp argL = newTemp(Ity_F64);
13608 IRTemp argR = newTemp(Ity_F64);
14116 IRTemp argL = newTemp(Ity_F64);
14117 IRTemp argR = newTemp(Ity_F64);
14343 IRTemp scale = newTemp(Ity_F64);
14388 IRTemp srcF64 = newTemp(Ity_F64);
14390 IRTemp scaledF64 = newTemp(Ity_F64);
14412 IRTemp scaledF64 = newTemp(Ity_F64);
