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