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