Lines Matching refs:guard
1094 static void complainIfUndefined ( MCEnv* mce, IRAtom* atom, IRExpr *guard )
1225 di->guard = cond;
1227 /* If the complaint is to be issued under a guard condition, AND that
1228 guard condition. */
1229 if (guard) {
1230 IRAtom *g1 = assignNew('V', mce, Ity_I32, unop(Iop_1Uto32, di->guard));
1231 IRAtom *g2 = assignNew('V', mce, Ity_I32, unop(Iop_1Uto32, guard));
1234 di->guard = assignNew('V', mce, Ity_I1, unop(Iop_32to1, e));
1297 IRAtom* atom, IRAtom* vatom, IRExpr *guard )
1325 if (guard) {
1326 /* If the guard expression evaluates to false we simply Put the value
1330 cond = assignNew('V', mce, Ity_I8, unop(Iop_1Uto8, guard));
3958 /* If there is no guard expression or the guard is always TRUE this function
3959 behaves like expr2vbits_Load. If the guard is not true at runtime, an
3966 IRAtom* addr, UInt bias, IRAtom *guard )
3968 if (guard) {
3971 cond = assignNew('V', mce, Ity_I8, unop(Iop_1Uto8, guard));
3979 /* No guard expression or unconditional load */
4131 obviously not both. guard :: Ity_I1 controls whether the store
4133 guard itself is not checked for definedness; the caller of this
4141 IRAtom* guard )
4166 if (guard) {
4167 tl_assert(isOriginalAtom(mce, guard));
4168 tl_assert(typeOfIRExpr(mce->sb->tyenv, guard) == Ity_I1);
4193 complainIfUndefined( mce, addr, guard );
4291 if (guard)
4292 diQ0->guard = diQ1->guard = diQ2->guard = diQ3->guard = guard;
4340 if (guard) diLo64->guard = guard;
4341 if (guard) diHi64->guard = guard;
4378 if (guard) di->guard = guard;
4419 /* First check the guard. */
4420 complainIfUndefined(mce, d->guard, NULL);
4426 Note: arguments are evaluated REGARDLESS of the guard expression */
4466 /* Observe the guard expression. If it is false use an
4470 cond = assignNew('V', mce, Ity_I8, unop(Iop_1Uto8, d->guard));
4494 complainIfUndefined(mce, d->mAddr, d->guard);
4512 d->mSize - toDo, d->guard )
4522 d->mSize - toDo, d->guard )
4532 d->mSize - toDo, d->guard )
4578 mkPCastTo( mce, tyDst, curr ), d->guard );
4594 d->guard );
4602 d->guard );
4610 d->guard );
4657 IRAtom* guard );
4927 expd_eq_old/*guard for store*/ );
4931 expd_eq_old/*guard for store*/ );
5081 expd_eq_old/*guard for store*/ );
5084 expd_eq_old/*guard for store*/ );
5088 expd_eq_old/*guard for store*/ );
5091 expd_eq_old/*guard for store*/ );
5136 NULL/*guard*/ );
5247 if (d->guard && isBogusAtom(d->guard))
5261 return isBogusAtom(st->Ist.Exit.guard);
5481 NULL /* shadow atom */, NULL /* guard */ );
5493 NULL/*guard*/ );
5497 complainIfUndefined( &mce, st->Ist.Exit.guard, NULL );
5597 with the same guard expression G guarding the same helper call.
5606 /* A struct for recording which (helper, guard) pairs we have already
5609 struct { void* entry; IRExpr* guard; }
5661 /* See if 'pairs' already has an entry for (entry, guard). Return
5665 Bool check_or_add ( XArray* /*of Pair*/ pairs, IRExpr* guard, void* entry )
5672 if (pp->entry == entry && sameIRValue(pp->guard, guard))
5675 p.guard = guard;
5699 IRExpr* guard;
5706 previous call to the same helper using the same guard
5714 guard = di->guard;
5715 if (!guard)
5717 if (0) { ppIRExpr(guard); VG_(printf)("\n"); }
5722 guard 'guard'. Check if we have already seen a call to this
5723 function with the same guard. If so, delete it. If not,
5725 alreadyPresent = check_or_add( pairs, guard, cee->addr );
5825 Int offset, IRAtom* guard )
5827 if (guard) {
5830 cond = assignNew('B', mce, Ity_I8, unop(Iop_1Uto8, guard));
5841 /* Generate a shadow store. guard :: Ity_I1 controls whether the
5845 IRAtom* guard )
5853 if (guard) {
5854 tl_assert(isOriginalAtom(mce, guard));
5855 tl_assert(typeOfIRExpr(mce->sb->tyenv, guard) == Ity_I1);
5893 if (guard) di->guard = guard;
6058 /* First check the guard. */
6059 curr = schemeE( mce, d->guard );
6064 Note: arguments are evaluated REGARDLESS of the guard expression */
6105 /* Observe the guard expression. If it is false use 0, i.e.
6109 cond = assignNew( 'B', mce, Ity_I8, unop(Iop_1Uto8, d->guard));
6146 d->guard );
6153 d->guard );
6160 d->guard );
6203 if (d->guard) {
6204 /* If the guard expression evaluates to false we simply Put
6209 unop(Iop_1Uto8, d->guard));
6234 d->guard );
6240 d->guard );
6246 d->guard );
6269 NULL/*guard*/ );