Home | History | Annotate | Download | only in memcheck

Lines Matching refs:resTy

6090    IRType resTy  = typeOfIRTemp(mce->sb->tyenv, stResult);
6102 tl_assert(resTy == Ity_I64 || resTy == Ity_I32
6103 || resTy == Ity_I16 || resTy == Ity_I8);
6106 mce, stEnd, resTy, stAddr, 0/*addr bias*/,
6135 tl_assert(resTy == Ity_I1);
6136 assign( 'V', mce, resTmp, definedOfType(resTy) );
7612 IRType resTy
7615 = IRExpr_Load(st->Ist.LLSC.end, resTy, st->Ist.LLSC.addr);
7616 tl_assert(resTy == Ity_I64 || resTy == Ity_I32
7617 || resTy == Ity_I16 || resTy == Ity_I8);