Home | History | Annotate | Download | only in priv

Lines Matching refs:typeOfIRTemp

1522       vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I64);
1533       vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I32);
1561          vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I64);
1568          vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I32);
6257    vassert(typeOfIRTemp(irsb->tyenv, t) == Ity_I32);
6276    vassert(typeOfIRTemp(irsb->tyenv, t) == Ity_I32);