Lines Matching refs:guard
1062 ppIRExpr(d->guard); in ppIRDirty()
1229 ppIRExpr(s->Ist.Exit.guard); in ppIRStmt()
1583 d->guard = NULL; in emptyIRDirty()
1702 IRStmt* IRStmt_Exit ( IRExpr* guard, IRJumpKind jk, IRConst* dst ) { in IRStmt_Exit() argument
1705 s->Ist.Exit.guard = guard; in IRStmt_Exit()
1858 d2->guard = deepCopyIRExpr(d->guard); in deepCopyIRDirty()
1923 return IRStmt_Exit(deepCopyIRExpr(s->Ist.Exit.guard), in deepCopyIRStmt()
2830 if (!isIRAtom(di->guard)) in isFlatIRStmt()
2843 return isIRAtom(st->Ist.Exit.guard); in isFlatIRStmt()
3035 useBeforeDef_Expr(bb,stmt,stmt->Ist.Exit.guard,def_counts); in useBeforeDef_Stmt()
3400 if (d->guard == NULL) goto bad_dirty; in tcStmt()
3401 tcExpr( bb, stmt, d->guard, gWordTy ); in tcStmt()
3402 if (typeOfIRExpr(tyenv, d->guard) != Ity_I1) in tcStmt()
3428 tcExpr( bb, stmt, stmt->Ist.Exit.guard, gWordTy ); in tcStmt()
3429 if (typeOfIRExpr(tyenv,stmt->Ist.Exit.guard) != Ity_I1) in tcStmt()
3626 d->guard = IRExpr_Const(IRConst_U1(True)); in unsafeIRDirty_0_N()
3637 d->guard = IRExpr_Const(IRConst_U1(True)); in unsafeIRDirty_1_N()