Lines Matching refs:v_min
241 Value v_min = GetVal(info, nullptr, in_body, /* is_min */ true); in IsConstant() local
245 … if (IsConstantValue(v_min) && IsConstantValue(v_max) && v_min.b_constant <= v_max.b_constant) { in IsConstant()
246 if ((request == kExact && v_min.b_constant == v_max.b_constant) || request == kAtMost) { in IsConstant()
250 *value = v_min.b_constant; in IsConstant()
254 } while (RefineOuter(&v_min, &v_max)); in IsConstant()
258 if (v_min.a_constant == 1 && v_min.b_constant <= 0 && v_min.instruction->IsArrayLength()) { in IsConstant()
259 *value = v_min.b_constant; in IsConstant()
506 InductionVarRange::Value InductionVarRange::MulRangeAndConstant(Value v_min, in MulRangeAndConstant() argument
510 return is_min == (c.b_constant >= 0) ? MulValue(v_min, c) : MulValue(v_max, c); in MulRangeAndConstant()
513 InductionVarRange::Value InductionVarRange::DivRangeAndConstant(Value v_min, in DivRangeAndConstant() argument
517 return is_min == (c.b_constant >= 0) ? DivValue(v_min, c) : DivValue(v_max, c); in DivRangeAndConstant()