Home | History | Annotate | Download | only in priv

Lines Matching refs:typeOfIRTemp

1132    vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
1155          vassert(typeOfIRTemp(irsb->tyenv, texpVal) == ty);
1186    vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
1209          vassert(typeOfIRTemp(irsb->tyenv, texpVal) == ty);
7461    vassert(typeOfIRTemp(irsb->tyenv,t1) == Ity_I32);