Lines Matching refs:Ity_F64
3952 vassert(ty == Ity_F64);3992 vassert(e->Iex.Load.ty == Ity_F64);3993 am_addr = iselWordExpr_AMode(env, e->Iex.Load.addr, Ity_F64/*xfer*/,4212 if (ty == Ity_F645495 if (tyd == Ity_F64) {5593 if (ty == Ity_F64) {5699 if (ty == Ity_F64) {6241 case Ity_F64: