Home | History | Annotate | Download | only in memcheck

Lines Matching refs:resTy

5711    IRType resTy  = typeOfIRTemp(mce->sb->tyenv, stResult);
5723 tl_assert(resTy == Ity_I64 || resTy == Ity_I32
5724 || resTy == Ity_I16 || resTy == Ity_I8);
5727 mce, stEnd, resTy, stAddr, 0/*addr bias*/,
5756 tl_assert(resTy == Ity_I1);
5757 assign( 'V', mce, resTmp, definedOfType(resTy) );
7115 IRType resTy
7118 = IRExpr_Load(st->Ist.LLSC.end, resTy, st->Ist.LLSC.addr);
7119 tl_assert(resTy == Ity_I64 || resTy == Ity_I32
7120 || resTy == Ity_I16 || resTy == Ity_I8);