942     int64_t stride_value = 0;  in VisitCondition()  local
943     if (!IsExact(stride_expr, &stride_value)) {  in VisitCondition()
951     if (cmp == kCondNE && RewriteBreakLoop(loop, body, stride_value, type)) {  in VisitCondition()
952       cmp = stride_value > 0 ? kCondLE : kCondGE;  in VisitCondition()
957     if (cmp == kCondNE && ((stride_value == +1 && IsTaken(lower_expr, upper_expr, kCondLE)) ||  in VisitCondition()
958                            (stride_value == -1 && IsTaken(lower_expr, upper_expr, kCondGE)))) {  in VisitCondition()
959       cmp = stride_value > 0 ? kCondLT : kCondGT;  in VisitCondition()
964         !FitsNarrowerControl(lower_expr, upper_expr, stride_value, a->type, cmp)) {  in VisitCondition()
970     if ((stride_value > 0 && (cmp == kCondLT || cmp == kCondLE)) ||  in VisitCondition()
971         (stride_value < 0 && (cmp == kCondGT || cmp == kCondGE))) {  in VisitCondition()
972       VisitTripCount(loop, lower_expr, upper_expr, stride_expr, stride_value, type, cmp);  in VisitCondition()
981                                            int64_t stride_value,  in VisitTripCount()  argument
1012   const bool is_finite = IsFinite(upper_expr, stride_value, type, cmp);  in VisitTripCount()
1013   const bool cancels = (cmp == kCondLT || cmp == kCondGT) && std::abs(stride_value) == 1;  in VisitTripCount()
1082                                      int64_t stride_value,  in IsFinite()  argument
1091       return stride_value == 1 ||  in IsFinite()
1092           (IsAtMost(upper_expr, &value) && value <= (max - stride_value + 1));  in IsFinite()
1094       return (IsAtMost(upper_expr, &value) && value <= (max - stride_value));  in IsFinite()
1096       return stride_value == -1 ||  in IsFinite()
1097           (IsAtLeast(upper_expr, &value) && value >= (min - stride_value - 1));  in IsFinite()
1099       return (IsAtLeast(upper_expr, &value) && value >= (min - stride_value));  in IsFinite()
1108                                                 int64_t stride_value,  in FitsNarrowerControl()  argument
1114   if (stride_value != 1 && stride_value != -1) {  in FitsNarrowerControl()
1131                                              int64_t stride_value,  in RewriteBreakLoop()  argument
1134   if (std::abs(stride_value) != 1) {  in RewriteBreakLoop()
1147   IfCondition cmp = stride_value > 0 ? kCondLE : kCondGE;  in RewriteBreakLoop()
1148   if (!index->IsPhi() || !IsFinite(LookupInfo(loop, upper), stride_value, type, cmp)) {  in RewriteBreakLoop()