172       Value v1_max = RefineOuter(*min_val, /* is_min */ false);  in RefineOuter()  local
174       if (!IsConstantValue(v1_max) ||  in RefineOuter()
176           v1_max.b_constant > v2_min.b_constant) {  in RefineOuter()
442   Value v1_max = GetVal(info1, trip, in_body, /* is_min */ false);  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()
453     return MulRangeAndConstant(v1_min, v1_max, v2_min, is_min);  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()
464   if (IsConstantValue(v1_max) && v1_max.b_constant <= 0) {  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()
480   Value v1_max = GetVal(info1, trip, in_body, /* is_min */ false);  in GetDiv()  local
485     return DivRangeAndConstant(v1_min, v1_max, v2_min, is_min);  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()
496   if (IsConstantValue(v1_max) && v1_max.b_constant <= 0) {  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()