173       Value v2_min = RefineOuter(*max_val, /* is_min */ true);  in RefineOuter()  local
175           !IsConstantValue(v2_min) ||  in RefineOuter()
176           v1_max.b_constant > v2_min.b_constant) {  in RefineOuter()
443   Value v2_min = GetVal(info2, trip, in_body, /* is_min */ true);  in GetMul()  local
451     return MulRangeAndConstant(v2_min, v2_max, v1_min, is_min);  in GetMul()
452   } else if (IsSameConstantValue(v2_min, v2_max)) {  in GetMul()
453     return MulRangeAndConstant(v1_min, v1_max, v2_min, is_min);  in GetMul()
457     if (IsConstantValue(v2_min) && v2_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()
465     if (IsConstantValue(v2_min) && v2_min.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()
481   Value v2_min = GetVal(info2, trip, in_body, /* is_min */ true);  in GetDiv()  local
484   if (IsSameConstantValue(v2_min, v2_max)) {  in GetDiv()
485     return DivRangeAndConstant(v1_min, v1_max, v2_min, is_min);  in GetDiv()
489     if (IsConstantValue(v2_min) && v2_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()
497     if (IsConstantValue(v2_min) && v2_min.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()