Lines Matching refs:s32_max_value
1123 if (reg->s32_max_value != reg->smax_value && in print_verifier_state()
1124 reg->s32_max_value != S32_MAX) in print_verifier_state()
1125 verbose_a("s32_max=%d", (int)(reg->s32_max_value)); in print_verifier_state()
1550 reg->s32_max_value = (s32)imm; in ___mark_reg_known()
1572 reg->s32_max_value = (s32)imm; in __mark_reg32_known()
1690 reg->s32_max_value = S32_MAX; in __mark_reg_unbounded()
1706 reg->s32_max_value = S32_MAX; in __mark_reg32_unbounded()
1719 reg->s32_max_value = min_t(s32, reg->s32_max_value, in __update_reg32_bounds()
1753 if (reg->s32_min_value >= 0 || reg->s32_max_value < 0) { in __reg32_deduce_bounds()
1756 reg->s32_max_value = reg->u32_max_value = in __reg32_deduce_bounds()
1757 min_t(u32, reg->s32_max_value, reg->u32_max_value); in __reg32_deduce_bounds()
1768 reg->s32_max_value = reg->u32_max_value = in __reg32_deduce_bounds()
1769 min_t(u32, reg->s32_max_value, reg->u32_max_value); in __reg32_deduce_bounds()
1776 reg->s32_max_value = reg->u32_max_value; in __reg32_deduce_bounds()
1863 __reg32_bound_s64(reg->s32_max_value)) { in __reg_assign_32_into_64()
1865 reg->smax_value = reg->s32_max_value; in __reg_assign_32_into_64()
1908 reg->s32_max_value = (s32)reg->smax_value; in __reg_combine_64_into_32()
3429 reg->s32_min_value == S32_MIN && reg->s32_max_value == S32_MAX && in __is_scalar_unbounded()
7921 ret_reg->s32_max_value = meta->msize_max_value; in do_refine_retval_range()
10697 s32 smax_val = src_reg->s32_max_value; in scalar32_min_max_add()
10702 signed_add32_overflows(dst_reg->s32_max_value, smax_val)) { in scalar32_min_max_add()
10704 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_add()
10707 dst_reg->s32_max_value += smax_val; in scalar32_min_max_add()
10749 s32 smax_val = src_reg->s32_max_value; in scalar32_min_max_sub()
10754 signed_sub32_overflows(dst_reg->s32_max_value, smin_val)) { in scalar32_min_max_sub()
10757 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_sub()
10760 dst_reg->s32_max_value -= smin_val; in scalar32_min_max_sub()
10826 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_mul()
10829 dst_reg->s32_max_value = dst_reg->u32_max_value; in scalar32_min_max_mul()
10889 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_and()
10895 dst_reg->s32_max_value = dst_reg->u32_max_value; in scalar32_min_max_and()
10958 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_or()
10964 dst_reg->s32_max_value = dst_reg->u32_max_value; in scalar32_min_max_or()
11025 dst_reg->s32_max_value = dst_reg->u32_max_value; in scalar32_min_max_xor()
11028 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_xor()
11070 dst_reg->s32_max_value = S32_MAX; in __scalar32_min_max_lsh()
11109 if (umin_val == 32 && umax_val == 32 && dst_reg->s32_max_value >= 0) in __scalar64_min_max_lsh()
11110 dst_reg->smax_value = (s64)dst_reg->s32_max_value << 32; in __scalar64_min_max_lsh()
11166 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_rsh()
11219 dst_reg->s32_max_value = (u32)(((s32)dst_reg->s32_max_value) >> umin_val); in scalar32_min_max_arsh()
11286 s32_max_val = src_reg.s32_max_value; in adjust_scalar_min_max_vals()
11792 else if (reg->s32_max_value <= sval) in is_branch32_taken()
11802 if (reg->s32_max_value < sval) in is_branch32_taken()
11816 else if (reg->s32_max_value < sval) in is_branch32_taken()
11826 if (reg->s32_max_value <= sval) in is_branch32_taken()
12099 false_reg->s32_max_value = min(false_reg->s32_max_value, false_smax); in reg_set_min_max()
12138 true_reg->s32_max_value = min(true_reg->s32_max_value, true_smax); in reg_set_min_max()
13686 old->s32_max_value >= cur->s32_max_value; in range_within()