Home | History | Annotate | Download | only in priv

Lines Matching refs:typeOfIRTemp

2012    vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
2040          vassert(typeOfIRTemp(irsb->tyenv, texpVal) == ty);
2071    vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
2099          vassert(typeOfIRTemp(irsb->tyenv, texpVal) == ty);
2297    vassert(typeOfIRTemp(irsb->tyenv, new_rsp) == Ity_I64);
2298    vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I64);