Lines Matching refs:S32_MAX
1438 reg->s32_max_value != S32_MAX) in print_verifier_state()
2250 reg->s32_max_value = S32_MAX; in __mark_reg_unbounded()
2266 reg->s32_max_value = S32_MAX; in __mark_reg32_unbounded()
2280 var32_off.value | (var32_off.mask & S32_MAX)); in __update_reg32_bounds()
2410 return a >= 0 && a <= S32_MAX; in __reg32_bound_s64()
2455 return a >= S32_MIN && a <= S32_MAX; in __reg64_bound_s32()
4493 reg->s32_min_value == S32_MIN && reg->s32_max_value == S32_MAX && in __is_scalar_unbounded()
6085 reg->smax_value = reg->s32_max_value = S32_MAX; in set_sext64_default_val()
12716 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_add()
12769 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_sub()
12835 if (dst_reg->u32_max_value > S32_MAX) { in scalar32_min_max_mul()
12838 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_mul()
12901 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_and()
12970 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_or()
13040 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_xor()
13082 dst_reg->s32_max_value = S32_MAX; in __scalar32_min_max_lsh()
13178 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_rsh()