Lines Matching refs:v1_min
794 Value v1_min = GetVal(info1, trip, in_body, /* is_min= */ true); in GetMul() local
799 if (IsConstantValue(v1_min) && v1_min.b_constant >= 0) { in GetMul()
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()
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()
828 Value v1_min = GetVal(info1, trip, in_body, /* is_min= */ true); in GetDiv() local
833 if (IsConstantValue(v1_min) && v1_min.b_constant >= 0) { in GetDiv()
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()
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()