Lines Matching refs:Ity_F64
3950 vassert(ty == Ity_F64);
3990 vassert(e->Iex.Load.ty == Ity_F64);
3991 am_addr = iselWordExpr_AMode(env, e->Iex.Load.addr, Ity_F64/*xfer*/,
4210 if (ty == Ity_F64
5493 if (tyd == Ity_F64) {
5591 if (ty == Ity_F64) {
5697 if (ty == Ity_F64) {
6239 case Ity_F64:
