Lines Matching refs:v1_max
795 Value v1_max = GetVal(info1, 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()
803 return is_min ? MulValue(v1_max, v2_min) : MulValue(v1_min, v2_max); in GetMul()
807 if (IsConstantValue(v1_max) && v1_max.b_constant <= 0) { in GetMul()
809 return is_min ? MulValue(v1_min, v2_max) : MulValue(v1_max, v2_min); in GetMul()
811 return is_min ? MulValue(v1_max, v2_max) : MulValue(v1_min, v2_min); in GetMul()
829 Value v1_max = GetVal(info1, 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()
837 return is_min ? DivValue(v1_max, v2_max) : DivValue(v1_min, v2_min); in GetDiv()
841 if (IsConstantValue(v1_max) && v1_max.b_constant <= 0) { in GetDiv()
843 return is_min ? DivValue(v1_min, v2_min) : DivValue(v1_max, v2_max); in GetDiv()
845 return is_min ? DivValue(v1_max, v2_min) : DivValue(v1_min, v2_max); in GetDiv()