Lines Matching refs:v1_min
166 Value v1_min = RefineOuter(*min_val, /* is_min */ true);
181 if (v1_min.instruction != min_val->instruction || v2_max.instruction != max_val->instruction) {
182 *min_val = v1_min;
441 Value v1_min = GetVal(info1, trip, in_body, /* is_min */ true);
446 if (!IsConstantValue(v1_min) && !IsConstantValue(v1_max)) {
447 RefineOuter(&v1_min, &v1_max);
450 if (IsSameConstantValue(v1_min, v1_max)) {
451 return MulRangeAndConstant(v2_min, v2_max, v1_min, is_min);
453 return MulRangeAndConstant(v1_min, v1_max, v2_min, is_min);
456 if (IsConstantValue(v1_min) && v1_min.b_constant >= 0) {
458 return is_min ? MulValue(v1_min, v2_min) : MulValue(v1_max, v2_max);
460 return is_min ? MulValue(v1_max, v2_min) : MulValue(v1_min, v2_max);
466 return is_min ? MulValue(v1_min, v2_max) : MulValue(v1_max, v2_min);
468 return is_min ? MulValue(v1_max, v2_max) : MulValue(v1_min, v2_min);
479 Value v1_min = GetVal(info1, trip, in_body, /* is_min */ true);
485 return DivRangeAndConstant(v1_min, v1_max, v2_min, is_min);
488 if (IsConstantValue(v1_min) && v1_min.b_constant >= 0) {
490 return is_min ? DivValue(v1_min, v2_max) : DivValue(v1_max, v2_min);
492 return is_min ? DivValue(v1_max, v2_max) : DivValue(v1_min, v2_min);
498 return is_min ? DivValue(v1_min, v2_min) : DivValue(v1_max, v2_max);
500 return is_min ? DivValue(v1_max, v2_min) : DivValue(v1_min, v2_max);