Lines Matching refs:S32_MIN
2231 reg->s32_min_value = S32_MIN; in __mark_reg_unbounded()
2247 reg->s32_min_value = S32_MIN; in __mark_reg32_unbounded()
2259 var32_off.value | (var32_off.mask & S32_MIN)); in __update_reg32_bounds()
2529 if (reg->s32_min_value >= 0 && reg->smin_value >= S32_MIN && reg->smax_value <= S32_MAX) { in __reg_deduce_mixed_bounds()
6795 reg->smin_value = reg->s32_min_value = S32_MIN; in set_sext64_default_val()
14519 *dst_smin = S32_MIN; in scalar32_min_max_add()
14560 *dst_smin = S32_MIN; in scalar32_min_max_sub()
14619 *dst_smin = S32_MIN; in scalar32_min_max_mul()
14681 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_and()
14744 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_or()
14804 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_xor()
14845 dst_reg->s32_min_value = S32_MIN; in __scalar32_min_max_lsh()
14941 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_rsh()
16949 if (range.minval == S32_MIN && range.maxval == S32_MAX) in check_return_code()