Lines Matching refs:SERecurrentNode
71 // and contains only the following types of nodes: SERecurrentNode, SEAddNode
88 // If |node| is an SERecurrentNode then returns |node| or if |node| is an
89 // SEAddNode returns a vector of SERecurrentNode that are its children.
90 std::vector<SERecurrentNode*> GetAllTopLevelRecurrences(SENode* node) {
91 auto nodes = std::vector<SERecurrentNode*>{};
125 const std::vector<SERecurrentNode*>& nodes) {
137 int64_t CalculateConstantTerm(const std::vector<SERecurrentNode*>& recurrences,
153 const std::vector<SERecurrentNode*>& recurrences, int64_t running_gcd) {
154 for (SERecurrentNode* recurrence : recurrences) {
463 std::vector<SERecurrentNode*> source_recurrent_nodes =
465 std::vector<SERecurrentNode*> destination_recurrent_nodes =
471 SERecurrentNode* source_recurrent_expr = *source_recurrent_nodes.begin();
472 SERecurrentNode* destination_recurrent_expr =
697 SENode* source, SERecurrentNode* destination, SENode* coefficient,
850 SERecurrentNode* source, SENode* destination, SENode* coefficient,
1011 "WeakCrossingSIVTest found source or destination != SERecurrentNode. "
1445 SERecurrentNode* prime_recurrent =
