26     string loop_var;  member in Halide::Internal::__anon52801e390111::SimplifyCorrelatedDifferences
44             Frame(const LetStmtOrLet *op, const string &loop_var, Scope<Monotonic> &scope)  in visit_let()
46                   binding(scope, op->name, is_monotonic(op->value, loop_var, scope)) {  in visit_let()
68             if (loop_var.empty()) {  in visit_let()
75                 frames.emplace_back(op, loop_var, monotonic);  in visit_let()
115         if (loop_var.empty()) {  in visit()
120             loop_var = op->name;  in visit()
122                 ScopedBinding<Monotonic> bind(monotonic, loop_var, Monotonic::Increasing);  in visit()
125             loop_var.clear();  in visit()
176         auto ma = is_monotonic(a, loop_var, monotonic);  in cancel_correlated_subexpression()
177         auto mb = is_monotonic(b, loop_var, monotonic);  in cancel_correlated_subexpression()
198             e = solve_expression(e, loop_var).result;  in cancel_correlated_subexpression()
204                 is_monotonic(e, loop_var) == Monotonic::Unknown) {  in cancel_correlated_subexpression()
207                     get_compiler_logger()->record_non_monotonic_loop_var(loop_var, e);  in cancel_correlated_subexpression()
210                          << loop_var << ": " << e << "\n";  in cancel_correlated_subexpression()
222             loop_var.empty()) {  in visit_binop()