Home | History | Annotate | Download | only in priv

Lines Matching refs:typeOfIRTemp

1746       vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I64);
1757       vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I32);
1785          vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I64);
1792          vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I32);
7012    vassert(typeOfIRTemp(irsb->tyenv, t) == Ity_I32);
7031    vassert(typeOfIRTemp(irsb->tyenv, t) == Ity_I32);