Home | History | Annotate | Download | only in priv

Lines Matching full:tenv

3361    HashHW* tenv = newHHW(); /* :: IRTemp -> IRTemp */
3370          let E' = apply tenv substitution to E
3374                and add binding t -> q to tenv
3468       /* apply tenv */
3469       subst_AvailExpr( tenv, eprime );
3478             note the t->q binding in tenv. */
3482          addToHHW( tenv, (HWord)t, (HWord)q );