Searched refs:loops_to_recurrent (Results 1 – 3 of 3) sorted by relevance
378 loops_to_recurrent{}; in FoldRecurrentAddExpressions() local394 if (loops_to_recurrent.find(loop) == loops_to_recurrent.end()) { in FoldRecurrentAddExpressions()395 loops_to_recurrent[loop] = {std::make_pair(rec, negation)}; in FoldRecurrentAddExpressions()397 loops_to_recurrent[loop].push_back(std::make_pair(rec, negation)); in FoldRecurrentAddExpressions()407 for (auto pair : loops_to_recurrent) { in FoldRecurrentAddExpressions()