Lines Matching refs:SENode
31 using SubscriptPair = std::pair<SENode*, SENode*>;
73 bool IsInCorrectFormForGCDTest(SENode* node) {
90 std::vector<SERecurrentNode*> GetAllTopLevelRecurrences(SENode* node) {
108 std::vector<SEConstantNode*> GetAllTopLevelConstants(SENode* node) {
277 SENode* source_node = scalar_evolution_.SimplifyExpression(
279 SENode* destination_node = scalar_evolution_.SimplifyExpression(
302 if (source_node->GetType() == SENode::CanNotCompute ||
303 destination_node->GetType() == SENode::CanNotCompute) {
359 SENode* source_node = scalar_evolution_.SimplifyExpression(
361 SENode* destination_node = scalar_evolution_.SimplifyExpression(
395 const std::pair<SENode*, SENode*>& subscript_pair) {
412 const std::pair<SENode*, SENode*>& subscript_pair,
421 SENode* source_node = std::get<0>(subscript_pair);
422 SENode* destination_node = std::get<1>(subscript_pair);
511 bool LoopDependenceAnalysis::StrongSIVTest(SENode* source, SENode* destination,
512 SENode* coefficient,
539 // Build an SENode for distance.
540 std::pair<SENode*, SENode*> subscript_pair =
543 SENode* source_constant_term =
545 SENode* destination_constant_term =
553 SENode* constant_term_delta =
597 SENode* lower_bound = GetLowerBound(subscript_loop);
598 SENode* upper_bound = GetUpperBound(subscript_loop);
601 SENode* bounds = scalar_evolution_.SimplifyExpression(
604 if (bounds->GetType() == SENode::SENodeType::Constant) {
666 SENode* source, SENode* destination, SENode* coefficient,
669 SENode* source_destination_delta = scalar_evolution_.SimplifyExpression(
675 std::pair<SENode*, SENode*> subscript_pair =
697 SENode* source, SERecurrentNode* destination, SENode* coefficient,
700 std::pair<SENode*, SENode*> subscript_pair =
703 // Build an SENode for distance.
704 SENode* destination_constant_term =
706 SENode* delta = scalar_evolution_.SimplifyExpression(
780 SENode* first_trip_SENode =
811 SENode* final_trip_SENode =
850 SERecurrentNode* source, SENode* destination, SENode* coefficient,
853 // Build an SENode for distance.
854 std::pair<SENode*, SENode*> subscript_pair =
857 SENode* source_constant_term = GetConstantTerm(subscript_loop, source);
858 SENode* delta = scalar_evolution_.SimplifyExpression(
933 SENode* first_trip_SENode = scalar_evolution_.SimplifyExpression(
964 SENode* final_trip_SENode =
1004 SENode* source, SENode* destination, SENode* coefficient,
1017 // Build an SENode for distance.
1018 SENode* offset_delta =
1077 const std::pair<SENode*, SENode*>& subscript_pair) {
1187 const SENode* lower_bound, const SENode* upper_bound) {
1408 SENode* new_first = subscript_pair.first;
1409 SENode* new_second = subscript_pair.second;
1414 SENode* coefficient_of_recurrent =
1419 SENode* coefficient_of_recurrent_prime =
1427 SENode* rhs = scalar_evolution_.CreateMultiplyNode(
1431 SENode* zeroed_coefficient =
1440 SENode* new_child = scalar_evolution_.SimplifyExpression(
1452 SENode* new_recurrent = scalar_evolution_.CreateRecurrentExpression(
1528 SENode* source_node = std::get<0>(subscript_pair);
1529 SENode* destination_node = std::get<1>(subscript_pair);
1535 SENode* a = nullptr;
1536 SENode* b = nullptr;
1537 SENode* c = nullptr;
