620     int64_t stride_value = 0;  in VisitCondition()  local
621     if (!IsExact(stride_expr, &stride_value)) {  in VisitCondition()
627     if (cmp == kCondNE && ((stride_value == +1 && IsTaken(lower_expr, upper_expr, kCondLE)) ||  in VisitCondition()
628                            (stride_value == -1 && IsTaken(lower_expr, upper_expr, kCondGE)))) {  in VisitCondition()
629       cmp = stride_value > 0 ? kCondLT : kCondGT;  in VisitCondition()
636                !FitsNarrowerControl(lower_expr, upper_expr, stride_value, a->type, cmp)) {  in VisitCondition()
642     if ((stride_value > 0 && (cmp == kCondLT || cmp == kCondLE)) ||  in VisitCondition()
643         (stride_value < 0 && (cmp == kCondGT || cmp == kCondGE))) {  in VisitCondition()
644       VisitTripCount(loop, lower_expr, upper_expr, stride_expr, stride_value, type, cmp);  in VisitCondition()
653                                            int64_t stride_value,  in VisitTripCount()  argument
684   const bool is_finite = IsFinite(upper_expr, stride_value, type, cmp);  in VisitTripCount()
685   const bool cancels = (cmp == kCondLT || cmp == kCondGT) && std::abs(stride_value) == 1;  in VisitTripCount()
752                                      int64_t stride_value,  in IsFinite()  argument
761       return stride_value == 1 ||  in IsFinite()
762           (IsAtMost(upper_expr, &value) && value <= (max - stride_value + 1));  in IsFinite()
764       return (IsAtMost(upper_expr, &value) && value <= (max - stride_value));  in IsFinite()
766       return stride_value == -1 ||  in IsFinite()
767           (IsAtLeast(upper_expr, &value) && value >= (min - stride_value - 1));  in IsFinite()
769       return (IsAtLeast(upper_expr, &value) && value >= (min - stride_value));  in IsFinite()
778                                                 int64_t stride_value,  in FitsNarrowerControl()  argument
784   if (stride_value != 1 && stride_value != -1) {  in FitsNarrowerControl()