Home | History | Annotate | Download | only in priv

Lines Matching refs:typeOfIRTemp

1870    vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
1898          vassert(typeOfIRTemp(irsb->tyenv, texpVal) == ty);
1929    vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
1957          vassert(typeOfIRTemp(irsb->tyenv, texpVal) == ty);
2125    vassert(typeOfIRTemp(irsb->tyenv, new_rsp) == Ity_I64);
2126    vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I64);