Home | History | Annotate | Download | only in priv

Lines Matching refs:typeOfIRExpr

522    vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
662    vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_F64);
706    vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I64);
773    vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_V128);
833    vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_F32);
873    vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
1090    vassert(typeOfIRExpr(irsb->tyenv, cond) == Ity_I32);