Lines Matching refs:v2_max
797 Value v2_max = GetVal(info2, trip, in_body, /* is_min= */ false); in GetMul() local
801 return is_min ? MulValue(v1_min, v2_min) : MulValue(v1_max, v2_max); in GetMul()
802 } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) { in GetMul()
803 return is_min ? MulValue(v1_max, v2_min) : MulValue(v1_min, v2_max); in GetMul()
809 return is_min ? MulValue(v1_min, v2_max) : MulValue(v1_max, v2_min); in GetMul()
810 } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) { in GetMul()
811 return is_min ? MulValue(v1_max, v2_max) : MulValue(v1_min, v2_min); in GetMul()
831 Value v2_max = GetVal(info2, trip, in_body, /* is_min= */ false); in GetDiv() local
835 return is_min ? DivValue(v1_min, v2_max) : DivValue(v1_max, v2_min); in GetDiv()
836 } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) { in GetDiv()
837 return is_min ? DivValue(v1_max, v2_max) : DivValue(v1_min, v2_min); in GetDiv()
843 return is_min ? DivValue(v1_min, v2_min) : DivValue(v1_max, v2_max); in GetDiv()
844 } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) { in GetDiv()
845 return is_min ? DivValue(v1_max, v2_min) : DivValue(v1_min, v2_max); in GetDiv()