Home | History | Annotate | Download | only in priv

Lines Matching refs:typeOfIRTemp

1135    vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
1158          vassert(typeOfIRTemp(irsb->tyenv, texpVal) == ty);
1189    vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
1212          vassert(typeOfIRTemp(irsb->tyenv, texpVal) == ty);
7643    vassert(typeOfIRTemp(irsb->tyenv,t1) == Ity_I32);