876         IsAtLeast(initial, &value) && value >= min &&  in SolveConversion()
1061           && IsAtLeast(upper_expr, &upper_value)  in IsTaken()
1065           && IsAtLeast(upper_expr, &upper_value)  in IsTaken()
1068       return IsAtLeast(lower_expr, &lower_value)  in IsTaken()
1072       return IsAtLeast(lower_expr, &lower_value)  in IsTaken()
1097           (IsAtLeast(upper_expr, &value) && value >= (min - stride_value - 1));  in IsFinite()
1099       return (IsAtLeast(upper_expr, &value) && value >= (min - stride_value));  in IsFinite()
1123   return IsAtLeast(lower_expr, &value) && value >= min &&  in FitsNarrowerControl()
1125          IsAtLeast(upper_expr, &value) && value >= min &&  in FitsNarrowerControl()
1303     if (!IsAtLeast(initial, &value) || value < 0) {  in GetShiftConstant()
1350 bool HInductionVarAnalysis::IsAtLeast(InductionInfo* info, int64_t* value) {  in IsAtLeast()  function in art::HInductionVarAnalysis