Lines Matching refs:lower_expr
938 InductionInfo* lower_expr = a->op_b; in VisitCondition() local
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()
964 !FitsNarrowerControl(lower_expr, upper_expr, stride_value, a->type, cmp)) { in VisitCondition()
972 VisitTripCount(loop, lower_expr, upper_expr, stride_expr, stride_value, type, cmp); in VisitCondition()
978 InductionInfo* lower_expr, in VisitTripCount() argument
1011 const bool is_taken = IsTaken(lower_expr, upper_expr, cmp); in VisitTripCount()
1026 kDiv, CreateInvariantOp(kSub, trip_count, lower_expr), stride_expr); in VisitTripCount()
1048 InductionInfo* taken_test = CreateInvariantOp(op, lower_expr, upper_expr); in VisitTripCount()
1053 bool HInductionVarAnalysis::IsTaken(InductionInfo* lower_expr, in IsTaken() argument
1060 return IsAtMost(lower_expr, &lower_value) in IsTaken()
1064 return IsAtMost(lower_expr, &lower_value) in IsTaken()
1068 return IsAtLeast(lower_expr, &lower_value) in IsTaken()
1072 return IsAtLeast(lower_expr, &lower_value) in IsTaken()
1106 bool HInductionVarAnalysis::FitsNarrowerControl(InductionInfo* lower_expr, in FitsNarrowerControl() argument
1123 return IsAtLeast(lower_expr, &value) && value >= min && in FitsNarrowerControl()
1124 IsAtMost(lower_expr, &value) && value <= max && in FitsNarrowerControl()