substitute 436 src/AddImageChecks.cpp stride_constrained = substitute(replace_with_required, stride_constrained); substitute 444 src/AddImageChecks.cpp min_constrained = substitute(replace_with_required, min_constrained); substitute 452 src/AddImageChecks.cpp extent_constrained = substitute(replace_with_required, extent_constrained); substitute 533 src/AddImageChecks.cpp s = substitute(replace_with_constrained, s); substitute 86 src/AddParameterChecks.cpp s = substitute(replace_with_constrained, s); substitute 214 src/Associativity.cpp e = substitute(iter.first, iter.second, e); substitute 505 src/Associativity.cpp Expr expected_op = substitute(replacement, assoc_op.pattern.ops[i]); substitute 371 src/CPlusPlusMangle.cpp bool check_and_enter(const std::string &prefix, std::string &substitute) { substitute 374 src/CPlusPlusMangle.cpp substitute = "S_"; substitute 388 src/CPlusPlusMangle.cpp substitute = "S" + seq_id + "_"; substitute 394 src/CPlusPlusMangle.cpp std::string substitute; substitute 395 src/CPlusPlusMangle.cpp bool found = check_and_enter(name_part.with_substitutions + mangled, substitute); substitute 397 src/CPlusPlusMangle.cpp name_part.full_name = substitute; substitute 401 src/CPlusPlusMangle.cpp name_part.with_substitutions = substitute; substitute 406 src/CPlusPlusMangle.cpp std::string substitute; substitute 407 src/CPlusPlusMangle.cpp bool found = check_and_enter(mangled + name_part.with_substitutions, substitute); substitute 409 src/CPlusPlusMangle.cpp name_part.full_name = substitute; substitute 413 src/CPlusPlusMangle.cpp name_part.with_substitutions = substitute; substitute 468 src/CPlusPlusMangle.cpp std::string substitute; substitute 142 src/CanonicalizeGPUVars.cpp min = substitute(op->name, new_var, min); substitute 143 src/CanonicalizeGPUVars.cpp extent = substitute(op->name, new_var, extent); substitute 144 src/CanonicalizeGPUVars.cpp body = substitute(op->name, new_var, body); substitute 166 src/CanonicalizeGPUVars.cpp value = substitute(op->name, new_var, value); substitute 167 src/CanonicalizeGPUVars.cpp body = substitute(op->name, new_var, body); substitute 1199 src/CodeGen_C.cpp body = substitute(op->name, new_var, body); substitute 1229 src/CodeGen_C.cpp body = substitute(op->name, new_var, body); substitute 358 src/Func.cpp const Function substitute; substitute 370 src/Func.cpp << "\"" << substitute.name() << "\"\n"; substitute 374 src/Func.cpp expr = Call::make(substitute, args, c->value_index); substitute 378 src/Func.cpp SubstituteSelfReference(const string &func, const Function &substitute, substitute 380 src/Func.cpp : func(func), substitute(substitute), new_args(new_args) { substitute 381 src/Func.cpp internal_assert(substitute.get_contents().defined()); substitute 388 src/Func.cpp Expr substitute_self_reference(Expr val, const string &func, const Function &substitute, substitute 390 src/Func.cpp SubstituteSelfReference subs(func, substitute, new_args); substitute 398 src/Func.cpp expr = substitute(name, value, expr); substitute 774 src/Func.cpp Expr arg = substitute(substitution_map, args[i]); substitute 780 src/Func.cpp Expr subs_pred = substitute(substitution_map, pred); substitute 795 src/Func.cpp Expr val = substitute(substitution_map, values[i]); substitute 881 src/Func.cpp f_values[i] = substitute(replacement, prover_result.pattern.ops[i]); substitute 887 src/Func.cpp Expr val = substitute(prover_result.ys[0].var, intm(f_load_args), prover_result.pattern.ops[0]); substitute 889 src/Func.cpp val = substitute(prover_result.xs[0].var, prev_val, val); substitute 942 src/Function.cpp Function &Function::substitute_calls(const Function &orig, const Function &substitute) { substitute 944 src/Function.cpp substitutions.emplace(orig, substitute); substitute 278 src/Function.h EXPORT Function &substitute_calls(const Function &orig, const Function &substitute); substitute 206 src/FuseGPUThreadLoops.cpp body = substitute(op->name, var + op->min, body); substitute 697 src/FuseGPUThreadLoops.cpp Stmt body = substitute(op->name, adjusted, op->body); substitute 870 src/HexagonOptimize.cpp expr = substitute("*", matches[0], replacement); substitute 528 src/LoopCarry.cpp stmt = Block::make(substitute(op->name, op->min, alloc.initial_stores), stmt); substitute 37 src/ParallelRVar.cpp loads[i][j] = substitute(op->name, op->value, loads[i][j]); substitute 84 src/ParallelRVar.cpp expr = substitute(op->name, mutate(op->value), mutate(op->body)); substitute 775 src/PartitionLoops.cpp stmt = mutate(substitute(op->name, new_var, op->body)); substitute 856 src/PartitionLoops.cpp inner = substitute(let_a->name, Variable::make(let_a->value.type(), new_name), inner); substitute 863 src/PartitionLoops.cpp inner = substitute(let_b->name, Variable::make(let_b->value.type(), new_name), inner); substitute 248 src/Profiling.cpp body = substitute("profiler_state", Variable::make(Handle(), "hvx_profiler_state"), body); substitute 193 src/RemoveUndef.cpp predicate = substitute(op->name, value, predicate); substitute 106 src/ScheduleFunctions.cpp stmt = substitute(res.name, res.value, stmt); substitute 1128 src/ScheduleFunctions.cpp stmt = mutate(substitute(op->name, op->min, op->body)); substitute 1138 src/ScheduleFunctions.cpp stmt = mutate(substitute(op->name, simplify(op->value), op->body)); substitute 3466 src/Simplify.cpp expr = mutate(And::make(a, substitute(eq_a->a.as<Variable>(), eq_a->b, b))); substitute 3472 src/Simplify.cpp expr = mutate(And::make(substitute(eq_b->a.as<Variable>(), eq_b->b, a), b)); substitute 3479 src/Simplify.cpp expr = mutate(a && substitute(var_a->name, make_one(a.type()), b)); substitute 3481 src/Simplify.cpp expr = mutate(substitute(var_b->name, make_one(b.type()), a) && b); substitute 3640 src/Simplify.cpp expr = mutate(a || substitute(var_a->name, make_zero(a.type()), b)); substitute 3642 src/Simplify.cpp expr = mutate(substitute(var_b->name, make_zero(b.type()), a) || b); substitute 3911 src/Simplify.cpp then_case = substitute(next, const_true(), then_case); substitute 3914 src/Simplify.cpp else_case = substitute(next, const_false(), else_case); substitute 3936 src/Simplify.cpp then_case = substitute(var->name, eq->b, then_case); substitute 3939 src/Simplify.cpp else_case = substitute(var->name, !eq->b, else_case); substitute 3943 src/Simplify.cpp then_case = substitute(var->name, const_true(), then_case); substitute 3946 src/Simplify.cpp else_case = substitute(var->name, const_false(), else_case); substitute 3950 src/Simplify.cpp then_case = substitute(eq->a, eq->b, then_case); substitute 3953 src/Simplify.cpp else_case = substitute(ne->a, ne->b, else_case); substitute 4595 src/Simplify.cpp replacement = substitute(new_name, new_value, replacement); substitute 4599 src/Simplify.cpp replacement = substitute(new_name, var, replacement); substitute 4603 src/Simplify.cpp replacement = substitute(new_name, Add::make(new_var, add->b), replacement); substitute 4606 src/Simplify.cpp replacement = substitute(new_name, Mul::make(new_var, mul->b), replacement); substitute 4609 src/Simplify.cpp replacement = substitute(new_name, Div::make(new_var, div->b), replacement); substitute 4612 src/Simplify.cpp replacement = substitute(new_name, Sub::make(new_var, sub->b), replacement); substitute 4615 src/Simplify.cpp replacement = substitute(new_name, Mod::make(new_var, mod->b), replacement); substitute 4618 src/Simplify.cpp replacement = substitute(new_name, Min::make(new_var, min->b), replacement); substitute 4621 src/Simplify.cpp replacement = substitute(new_name, Max::make(new_var, max->b), replacement); substitute 4626 src/Simplify.cpp replacement = substitute(new_name, Ramp::make(new_var, ramp->stride, ramp->lanes), replacement); substitute 4630 src/Simplify.cpp replacement = substitute(new_name, Broadcast::make(new_var, broadcast->lanes), replacement); substitute 4638 src/Simplify.cpp replacement = substitute(new_name, Cast::make(cast->type, new_var), replacement); substitute 4645 src/Simplify.cpp replacement = substitute(new_name, Shuffle::make({new_var}, slice_indices), replacement); substitute 4651 src/Simplify.cpp replacement = substitute(new_name, Shuffle::make_concat({op_a, op_b}), replacement); substitute 4943 src/Simplify.cpp new_block = substitute(let_first->name, new_var, new_block); substitute 4944 src/Simplify.cpp new_block = substitute(let_rest->name, new_var, new_block); substitute 24 src/SimplifySpecializations.cpp def_arg = simplify(substitute(var, value, def_arg)); substitute 27 src/SimplifySpecializations.cpp def_val = simplify(substitute(var, value, def_val)); substitute 212 src/SlidingWindow.cpp Expr prev_max_plus_one = substitute(loop_var, loop_var_expr - 1, max_required) + 1; substitute 213 src/SlidingWindow.cpp Expr prev_min_minus_one = substitute(loop_var, loop_var_expr - 1, min_required) - 1; substitute 1451 src/Solve.cpp Expr in_val = substitute("x", i, in[j]); substitute 1452 src/Solve.cpp Expr out_val = substitute("x", i, out); substitute 157 src/StorageFolding.cpp Expr min_next = substitute(op->name, loop_var + 1, min); substitute 164 src/StorageFolding.cpp Expr max_next = substitute(op->name, loop_var + 1, max); substitute 219 src/StorageFolding.cpp Expr next_min = substitute(op->name, next_var, min); substitute 22 src/Substitute.h EXPORT Expr substitute(const std::string &name, const Expr &replacement, const Expr &expr); substitute 26 src/Substitute.h EXPORT Stmt substitute(const std::string &name, const Expr &replacement, const Stmt &stmt); substitute 30 src/Substitute.h EXPORT Expr substitute(const std::map<std::string, Expr> &replacements, const Expr &expr); substitute 31 src/Substitute.h EXPORT Stmt substitute(const std::map<std::string, Expr> &replacements, const Stmt &stmt); substitute 36 src/Substitute.h EXPORT Expr substitute(const Expr &find, const Expr &replacement, const Expr &expr); substitute 37 src/Substitute.h EXPORT Stmt substitute(const Expr &find, const Expr &replacement, const Stmt &stmt); substitute 32 src/UnrollLoops.cpp iters.push_back(substitute(for_loop->name, for_loop->min + i, body)); substitute 782 src/VectorizeLoops.cpp Stmt body = substitute(op->name, var + op->min, op->body); substitute 851 src/VectorizeLoops.cpp body = substitute(v + widening_suffix, Ramp::make(0, 1, lanes), body); substitute 854 src/VectorizeLoops.cpp body = substitute(v, Variable::make(Int(32), var), body); substitute 889 src/VectorizeLoops.cpp e = substitute(iter.name(), Variable::make(lane.type(), name), e); substitute 894 src/VectorizeLoops.cpp e = substitute(var, i, e); substitute 193 test/correctness/fuzz_simplify.cpp Expr a_j_v = simplify(substitute(vars, a_j)); substitute 194 test/correctness/fuzz_simplify.cpp Expr b_j_v = simplify(substitute(vars, b_j));