Lines Matching refs:subst_Expr
2429 static IRExpr* subst_Expr ( IRExpr** env, IRExpr* ex ) in subst_Expr() function
2452 subst_Expr(env, ex->Iex.GetI.ix), in subst_Expr()
2464 subst_Expr(env, qop->arg1), in subst_Expr()
2465 subst_Expr(env, qop->arg2), in subst_Expr()
2466 subst_Expr(env, qop->arg3), in subst_Expr()
2467 subst_Expr(env, qop->arg4) in subst_Expr()
2478 subst_Expr(env, triop->arg1), in subst_Expr()
2479 subst_Expr(env, triop->arg2), in subst_Expr()
2480 subst_Expr(env, triop->arg3) in subst_Expr()
2489 subst_Expr(env, ex->Iex.Binop.arg1), in subst_Expr()
2490 subst_Expr(env, ex->Iex.Binop.arg2) in subst_Expr()
2497 subst_Expr(env, ex->Iex.Unop.arg) in subst_Expr()
2505 subst_Expr(env, ex->Iex.Load.addr) in subst_Expr()
2513 args2[i] = subst_Expr(env, args2[i]); in subst_Expr()
2527 subst_Expr(env, ex->Iex.ITE.cond), in subst_Expr()
2528 subst_Expr(env, ex->Iex.ITE.iftrue), in subst_Expr()
2529 subst_Expr(env, ex->Iex.ITE.iffalse) in subst_Expr()
2557 fold_Expr(env, subst_Expr(env, st->Ist.AbiHint.base)), in subst_and_fold_Stmt()
2559 fold_Expr(env, subst_Expr(env, st->Ist.AbiHint.nia)) in subst_and_fold_Stmt()
2565 fold_Expr(env, subst_Expr(env, st->Ist.Put.data)) in subst_and_fold_Stmt()
2574 fold_Expr(env, subst_Expr(env, puti->ix)), in subst_and_fold_Stmt()
2576 fold_Expr(env, subst_Expr(env, puti->data))); in subst_and_fold_Stmt()
2585 fold_Expr(env, subst_Expr(env, st->Ist.WrTmp.data)) in subst_and_fold_Stmt()
2593 fold_Expr(env, subst_Expr(env, st->Ist.Store.addr)), in subst_and_fold_Stmt()
2594 fold_Expr(env, subst_Expr(env, st->Ist.Store.data)) in subst_and_fold_Stmt()
2602 IRExpr* faddr = fold_Expr(env, subst_Expr(env, sg->addr)); in subst_and_fold_Stmt()
2603 IRExpr* fdata = fold_Expr(env, subst_Expr(env, sg->data)); in subst_and_fold_Stmt()
2604 IRExpr* fguard = fold_Expr(env, subst_Expr(env, sg->guard)); in subst_and_fold_Stmt()
2629 IRExpr* faddr = fold_Expr(env, subst_Expr(env, lg->addr)); in subst_and_fold_Stmt()
2630 IRExpr* falt = fold_Expr(env, subst_Expr(env, lg->alt)); in subst_and_fold_Stmt()
2631 IRExpr* fguard = fold_Expr(env, subst_Expr(env, lg->guard)); in subst_and_fold_Stmt()
2663 fold_Expr(env, subst_Expr(env, cas->addr)), in subst_and_fold_Stmt()
2664 cas->expdHi ? fold_Expr(env, subst_Expr(env, cas->expdHi)) in subst_and_fold_Stmt()
2666 fold_Expr(env, subst_Expr(env, cas->expdLo)), in subst_and_fold_Stmt()
2667 cas->dataHi ? fold_Expr(env, subst_Expr(env, cas->dataHi)) in subst_and_fold_Stmt()
2669 fold_Expr(env, subst_Expr(env, cas->dataLo)) in subst_and_fold_Stmt()
2681 fold_Expr(env, subst_Expr(env, st->Ist.LLSC.addr)), in subst_and_fold_Stmt()
2683 ? fold_Expr(env, subst_Expr(env, st->Ist.LLSC.storedata)) in subst_and_fold_Stmt()
2696 d2->mAddr = fold_Expr(env, subst_Expr(env, d2->mAddr)); in subst_and_fold_Stmt()
2699 d2->guard = fold_Expr(env, subst_Expr(env, d2->guard)); in subst_and_fold_Stmt()
2704 d2->args[i] = fold_Expr(env, subst_Expr(env, arg)); in subst_and_fold_Stmt()
2724 fcond = fold_Expr(env, subst_Expr(env, st->Ist.Exit.guard)); in subst_and_fold_Stmt()
2865 out->next = subst_Expr( env, in->next ); in cprop_BB()