Lines Matching refs:s32_max_value
696 if (reg->s32_max_value != reg->smax_value && in print_verifier_state()
697 reg->s32_max_value != S32_MAX) in print_verifier_state()
699 (int)(reg->s32_max_value)); in print_verifier_state()
1090 reg->s32_max_value = (s32)imm; in ___mark_reg_known()
1110 reg->s32_max_value = (s32)imm; in __mark_reg32_known()
1226 reg->s32_max_value = S32_MAX; in __mark_reg_unbounded()
1242 reg->s32_max_value = S32_MAX; in __mark_reg32_unbounded()
1255 reg->s32_max_value = min_t(s32, reg->s32_max_value, in __update_reg32_bounds()
1289 if (reg->s32_min_value >= 0 || reg->s32_max_value < 0) { in __reg32_deduce_bounds()
1292 reg->s32_max_value = reg->u32_max_value = in __reg32_deduce_bounds()
1293 min_t(u32, reg->s32_max_value, reg->u32_max_value); in __reg32_deduce_bounds()
1304 reg->s32_max_value = reg->u32_max_value = in __reg32_deduce_bounds()
1305 min_t(u32, reg->s32_max_value, reg->u32_max_value); in __reg32_deduce_bounds()
1312 reg->s32_max_value = reg->u32_max_value; in __reg32_deduce_bounds()
1384 __reg32_bound_s64(reg->s32_max_value)) { in __reg_assign_32_into_64()
1386 reg->smax_value = reg->s32_max_value; in __reg_assign_32_into_64()
1438 reg->s32_max_value = (s32)reg->smax_value; in __reg_combine_64_into_32()
2759 reg->s32_min_value == S32_MIN && reg->s32_max_value == S32_MAX && in __is_scalar_unbounded()
6220 ret_reg->s32_max_value = meta->msize_max_value; in do_refine_retval_range()
7413 s32 smax_val = src_reg->s32_max_value; in scalar32_min_max_add()
7418 signed_add32_overflows(dst_reg->s32_max_value, smax_val)) { in scalar32_min_max_add()
7420 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_add()
7423 dst_reg->s32_max_value += smax_val; in scalar32_min_max_add()
7465 s32 smax_val = src_reg->s32_max_value; in scalar32_min_max_sub()
7470 signed_sub32_overflows(dst_reg->s32_max_value, smin_val)) { in scalar32_min_max_sub()
7473 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_sub()
7476 dst_reg->s32_max_value -= smin_val; in scalar32_min_max_sub()
7542 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_mul()
7545 dst_reg->s32_max_value = dst_reg->u32_max_value; in scalar32_min_max_mul()
7605 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_and()
7611 dst_reg->s32_max_value = dst_reg->u32_max_value; in scalar32_min_max_and()
7674 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_or()
7680 dst_reg->s32_max_value = dst_reg->u32_max_value; in scalar32_min_max_or()
7741 dst_reg->s32_max_value = dst_reg->u32_max_value; in scalar32_min_max_xor()
7744 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_xor()
7786 dst_reg->s32_max_value = S32_MAX; in __scalar32_min_max_lsh()
7825 if (umin_val == 32 && umax_val == 32 && dst_reg->s32_max_value >= 0) in __scalar64_min_max_lsh()
7826 dst_reg->smax_value = (s64)dst_reg->s32_max_value << 32; in __scalar64_min_max_lsh()
7882 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_rsh()
7935 dst_reg->s32_max_value = (u32)(((s32)dst_reg->s32_max_value) >> umin_val); in scalar32_min_max_arsh()
8002 s32_max_val = src_reg.s32_max_value; in adjust_scalar_min_max_vals()
8527 else if (reg->s32_max_value <= sval) in is_branch32_taken()
8537 if (reg->s32_max_value < sval) in is_branch32_taken()
8551 else if (reg->s32_max_value < sval) in is_branch32_taken()
8561 if (reg->s32_max_value <= sval) in is_branch32_taken()
8827 false_reg->s32_max_value = min(false_reg->s32_max_value, false_smax); in reg_set_min_max()
8866 true_reg->s32_max_value = min(true_reg->s32_max_value, true_smax); in reg_set_min_max()
10299 old->s32_max_value >= cur->s32_max_value; in range_within()