Home | History | Annotate | Download | only in priv

Lines Matching refs:typeOfIRTemp

1310    vassert(typeOfIRTemp(irsb->tyenv, t_dep1 == Ity_I32));
1311    vassert(typeOfIRTemp(irsb->tyenv, t_dep2 == Ity_I32));
1312    vassert(typeOfIRTemp(irsb->tyenv, t_ndep == Ity_I32));