Lines Matching refs:Ity_F64
2997 vassert(ty == Ity_F64);3025 vassert(e->Iex.Load.ty == Ity_F64);3564 if (tyd == Ity_F64) {3614 if (tyd == Ity_F64 && 0 == (offs & 7) && offs < (8<<12)) {3669 if (ty == Ity_F64) {4085 case Ity_F64: