167     Value v2_max = RefineOuter(*max_val, /* is_min */ false);  in RefineOuter()  local
181     if (v1_min.instruction != min_val->instruction || v2_max.instruction != max_val->instruction) {  in RefineOuter()
183       *max_val = v2_max;  in RefineOuter()
444   Value v2_max = GetVal(info2, trip, in_body, /* is_min */ false);  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()
458       return is_min ? MulValue(v1_min, v2_min) : MulValue(v1_max, v2_max);  in GetMul()
459     } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) {  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()
467     } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) {  in GetMul()
468       return is_min ? MulValue(v1_max, v2_max) : MulValue(v1_min, v2_min);  in GetMul()
482   Value v2_max = GetVal(info2, trip, in_body, /* is_min */ false);  in GetDiv()  local
484   if (IsSameConstantValue(v2_min, v2_max)) {  in GetDiv()
490       return is_min ? DivValue(v1_min, v2_max) : DivValue(v1_max, v2_min);  in GetDiv()
491     } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) {  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()
499     } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) {  in GetDiv()
500       return is_min ? DivValue(v1_max, v2_min) : DivValue(v1_min, v2_max);  in GetDiv()