Home | History | Annotate | Download | only in priv

Lines Matching refs:typeOfIRTemp

1462       vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I64);
1473       vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I32);
1501          vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I64);
1508          vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I32);
6136    vassert(typeOfIRTemp(irsb->tyenv, t) == Ity_I32);
6155    vassert(typeOfIRTemp(irsb->tyenv, t) == Ity_I32);