Home | History | Annotate | Download | only in priv

Lines Matching refs:typeOfIRTemp

1316    vassert(typeOfIRTemp(irsb->tyenv, t_dep1 == Ity_I32));
1317    vassert(typeOfIRTemp(irsb->tyenv, t_dep2 == Ity_I32));
1318    vassert(typeOfIRTemp(irsb->tyenv, t_ndep == Ity_I32));