Home | History | Annotate | Download | only in priv

Lines Matching refs:typeOfIRTemp

1395    vassert(typeOfIRTemp(irsb->tyenv, t_dep1 == Ity_I64));
1396    vassert(typeOfIRTemp(irsb->tyenv, t_dep2 == Ity_I64));
1397    vassert(typeOfIRTemp(irsb->tyenv, t_ndep == Ity_I64));