Lines Matching refs:v_max
242 Value v_max = GetVal(info, nullptr, in_body, /* is_min */ false);
245 if (IsConstantValue(v_min) && IsConstantValue(v_max) && v_min.b_constant <= v_max.b_constant) {
246 if ((request == kExact && v_min.b_constant == v_max.b_constant) || request == kAtMost) {
247 *value = v_max.b_constant;
254 } while (RefineOuter(&v_min, &v_max));
507 Value v_max,
510 return is_min == (c.b_constant >= 0) ? MulValue(v_min, c) : MulValue(v_max, c);
514 Value v_max,
517 return is_min == (c.b_constant >= 0) ? DivValue(v_min, c) : DivValue(v_max, c);