Home | History | Annotate | Download | only in priv

Lines Matching refs:tyenv

358    return newIRTemp( irsb->tyenv, ty );
1235 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I64);
1241 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I64);
1288 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
1294 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
1328 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I64);
1380 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_V128);
1438 IRType ty = typeOfIRExpr(irsb->tyenv, e);
1524 IRType ty = typeOfIRExpr(irsb->tyenv, e);
1538 IRType laneTy = typeOfIRExpr(irsb->tyenv, e);
1582 //ZZ vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
1718 vassert(typeOfIRExpr(irsb->tyenv, cond) == Ity_I64);
1843 vassert(typeOfIRTemp(irsb->tyenv, t_dep1 == Ity_I64));
1844 vassert(typeOfIRTemp(irsb->tyenv, t_dep2 == Ity_I64));
1845 vassert(typeOfIRTemp(irsb->tyenv, t_ndep == Ity_I64));