Lines Matching refs:v1_max
773 Value v1_max = GetVal(info1, trip, in_body, /* is_min= */ false); in GetMul() local
779 return is_min ? MulValue(v1_min, v2_min) : MulValue(v1_max, v2_max); in GetMul()
781 return is_min ? MulValue(v1_max, v2_min) : MulValue(v1_min, v2_max); in GetMul()
785 if (IsConstantValue(v1_max) && v1_max.b_constant <= 0) { in GetMul()
787 return is_min ? MulValue(v1_min, v2_max) : MulValue(v1_max, v2_min); in GetMul()
789 return is_min ? MulValue(v1_max, v2_max) : MulValue(v1_min, v2_min); in GetMul()
807 Value v1_max = GetVal(info1, trip, in_body, /* is_min= */ false); in GetDiv() local
813 return is_min ? DivValue(v1_min, v2_max) : DivValue(v1_max, v2_min); in GetDiv()
815 return is_min ? DivValue(v1_max, v2_max) : DivValue(v1_min, v2_min); in GetDiv()
819 if (IsConstantValue(v1_max) && v1_max.b_constant <= 0) { in GetDiv()
821 return is_min ? DivValue(v1_min, v2_min) : DivValue(v1_max, v2_max); in GetDiv()
823 return is_min ? DivValue(v1_max, v2_min) : DivValue(v1_min, v2_max); in GetDiv()