op_x_names 48 src/Associativity.cpp const vector<string> &op_x_names; op_x_names 72 src/Associativity.cpp internal_assert(op->value_index < (int)op_x_names.size()); op_x_names 74 src/Associativity.cpp << op->value_index << " with " << op_x_names[op->value_index] << "\n"; op_x_names 75 src/Associativity.cpp expr = Variable::make(op->type, op_x_names[op->value_index]); op_x_names 158 src/Associativity.cpp bool find_match(const vector<AssociativePattern> &table, const vector<string> &op_x_names, op_x_names 161 src/Associativity.cpp internal_assert(op_x_names.size() == op_y_names.size()); op_x_names 162 src/Associativity.cpp internal_assert(op_x_names.size() == x_parts.size()); op_x_names 163 src/Associativity.cpp internal_assert(op_x_names.size() == exprs.size()); op_x_names 164 src/Associativity.cpp internal_assert(op_x_names.size() == assoc_op.size()); op_x_names 167 src/Associativity.cpp for (const auto &x : op_x_names) { op_x_names 172 src/Associativity.cpp internal_assert(pattern.size() == op_x_names.size()); op_x_names 178 src/Associativity.cpp if (!associative_op_pattern_match(exprs[i], pattern.ops[i], op_x_names, op_x_names 197 src/Associativity.cpp debug(5) << "Pattern at index " << index << ":\n " << op_x_names[index] op_x_names 201 src/Associativity.cpp assoc_op.xs[index] = {op_x_names[index], x_parts[index]}; op_x_names 228 src/Associativity.cpp bool extract_associative_op(const vector<Expr> exprs, const vector<string> &op_x_names, op_x_names 244 src/Associativity.cpp return find_match(get_ops_table(exprs), op_x_names, op_y_names, op_x_names 317 src/Associativity.cpp vector<string> op_x_names(exprs.size()), op_y_names(exprs.size()); op_x_names 319 src/Associativity.cpp op_x_names[idx] = unique_name("_x_" + std::to_string(idx)); op_x_names 337 src/Associativity.cpp ConvertSelfRef csr(f, args, idx, op_x_names); op_x_names 353 src/Associativity.cpp exprs[idx] = solve_expression(exprs[idx], op_x_names[idx]).result; // Move 'x' to the left as possible op_x_names 385 src/Associativity.cpp vector<string> sub_op_x_names = get_subvector(op_x_names, subgraphs[i]);