• Home
  • Raw
  • Download

Lines Matching refs:guard

1124    di->guard = cond;  in complainIfUndefined()
3610 IRAtom* guard ) in do_shadow_Store() argument
3635 if (guard) { in do_shadow_Store()
3636 tl_assert(isOriginalAtom(mce, guard)); in do_shadow_Store()
3637 tl_assert(typeOfIRExpr(mce->sb->tyenv, guard) == Ity_I1); in do_shadow_Store()
3736 if (guard) diLo64->guard = guard; in do_shadow_Store()
3737 if (guard) diHi64->guard = guard; in do_shadow_Store()
3774 if (guard) di->guard = guard; in do_shadow_Store()
3816 complainIfUndefined(mce, d->guard); in do_shadow_Dirty()
4016 IRAtom* guard );
4605 if (d->guard && isBogusAtom(d->guard)) in checkForBogusLiterals()
4619 return isBogusAtom(st->Ist.Exit.guard); in checkForBogusLiterals()
4845 complainIfUndefined( &mce, st->Ist.Exit.guard ); in MC_()
4957 struct { void* entry; IRExpr* guard; } member
5013 Bool check_or_add ( XArray* /*of Pair*/ pairs, IRExpr* guard, void* entry ) in check_or_add() argument
5020 if (pp->entry == entry && sameIRValue(pp->guard, guard)) in check_or_add()
5023 p.guard = guard; in check_or_add()
5047 IRExpr* guard; in MC_() local
5062 guard = di->guard; in MC_()
5063 if (!guard) in MC_()
5065 if (0) { ppIRExpr(guard); VG_(printf)("\n"); } in MC_()
5073 alreadyPresent = check_or_add( pairs, guard, cee->addr ); in MC_()
5173 IRAtom* guard ) in gen_store_b() argument
5181 if (guard) { in gen_store_b()
5182 tl_assert(isOriginalAtom(mce, guard)); in gen_store_b()
5183 tl_assert(typeOfIRExpr(mce->sb->tyenv, guard) == Ity_I1); in gen_store_b()
5218 if (guard) di->guard = guard; in gen_store_b()
5384 curr = schemeE( mce, d->guard ); in do_origins_Dirty()