Home | History | Annotate | Download | only in priv

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;