Lines Matching refs:lower_expr
616 InductionInfo* lower_expr = a->op_b; in VisitCondition() local
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()
636 !FitsNarrowerControl(lower_expr, upper_expr, stride_value, a->type, cmp)) { in VisitCondition()
644 VisitTripCount(loop, lower_expr, upper_expr, stride_expr, stride_value, type, cmp); in VisitCondition()
650 InductionInfo* lower_expr, in VisitTripCount() argument
683 const bool is_taken = IsTaken(lower_expr, upper_expr, cmp); in VisitTripCount()
698 kDiv, CreateInvariantOp(kSub, trip_count, lower_expr), stride_expr); in VisitTripCount()
717 InductionInfo* taken_test = CreateInvariantOp(op, lower_expr, upper_expr); in VisitTripCount()
723 bool HInductionVarAnalysis::IsTaken(InductionInfo* lower_expr, in IsTaken() argument
730 return IsAtMost(lower_expr, &lower_value) in IsTaken()
734 return IsAtMost(lower_expr, &lower_value) in IsTaken()
738 return IsAtLeast(lower_expr, &lower_value) in IsTaken()
742 return IsAtLeast(lower_expr, &lower_value) in IsTaken()
776 bool HInductionVarAnalysis::FitsNarrowerControl(InductionInfo* lower_expr, in FitsNarrowerControl() argument
795 return IsAtLeast(lower_expr, &value) && value >= min && in FitsNarrowerControl()
796 IsAtMost(lower_expr, &value) && value <= max && in FitsNarrowerControl()