Lines Matching refs:Ity_F64
3832 vassert(ty == Ity_F64);
3872 vassert(e->Iex.Load.ty == Ity_F64);
3873 am_addr = iselWordExpr_AMode(env, e->Iex.Load.addr, Ity_F64/*xfer*/);
4086 if (ty == Ity_F64
5293 if (tyd == Ity_F64) {
5385 if (ty == Ity_F64) {
5487 if (ty == Ity_F64) {
5993 case Ity_F64: hregLo = mkHReg(j++, HRcFlt64, True); break;