Home | History | Annotate | Download | only in memcheck

Lines Matching refs:resTy

4685    IRType resTy  = typeOfIRTemp(mce->sb->tyenv, stResult);
4697 tl_assert(resTy == Ity_I64 || resTy == Ity_I32
4698 || resTy == Ity_I16 || resTy == Ity_I8);
4701 mce, stEnd, resTy, stAddr, 0/*addr bias*/));
4729 tl_assert(resTy == Ity_I1);
4730 assign( 'V', mce, resTmp, definedOfType(resTy) );
5829 IRType resTy
5832 = IRExpr_Load(st->Ist.LLSC.end, resTy, st->Ist.LLSC.addr);
5833 tl_assert(resTy == Ity_I64 || resTy == Ity_I32
5834 || resTy == Ity_I16 || resTy == Ity_I8);