Lines Matching refs:S32_MIN
1914 reg->s32_min_value = S32_MIN; in __mark_reg_unbounded()
1930 reg->s32_min_value = S32_MIN; in __mark_reg32_unbounded()
1942 var32_off.value | (var32_off.mask & S32_MIN)); in __update_reg32_bounds()
2212 if (reg->s32_min_value >= 0 && reg->smin_value >= S32_MIN && reg->smax_value <= S32_MAX) { in __reg_deduce_mixed_bounds()
6286 reg->smin_value = reg->s32_min_value = S32_MIN; in set_sext64_default_val()
13491 *dst_smin = S32_MIN; in scalar32_min_max_add()
13532 *dst_smin = S32_MIN; in scalar32_min_max_sub()
13595 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_mul()
13661 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_and()
13724 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_or()
13784 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_xor()
13825 dst_reg->s32_min_value = S32_MIN; in __scalar32_min_max_lsh()
13921 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_rsh()
15922 if (range.minval == S32_MIN && range.maxval == S32_MAX) in check_return_code()