Lines Matching refs:s32_min_value
1120 if (reg->s32_min_value != reg->smin_value && in print_verifier_state()
1121 reg->s32_min_value != S32_MIN) in print_verifier_state()
1122 verbose_a("s32_min=%d", (int)(reg->s32_min_value)); in print_verifier_state()
1549 reg->s32_min_value = (s32)imm; in ___mark_reg_known()
1571 reg->s32_min_value = (s32)imm; in __mark_reg32_known()
1689 reg->s32_min_value = S32_MIN; in __mark_reg_unbounded()
1705 reg->s32_min_value = S32_MIN; in __mark_reg32_unbounded()
1716 reg->s32_min_value = max_t(s32, reg->s32_min_value, in __update_reg32_bounds()
1753 if (reg->s32_min_value >= 0 || reg->s32_max_value < 0) { in __reg32_deduce_bounds()
1754 reg->s32_min_value = reg->u32_min_value = in __reg32_deduce_bounds()
1755 max_t(u32, reg->s32_min_value, reg->u32_min_value); in __reg32_deduce_bounds()
1767 reg->s32_min_value = reg->u32_min_value; in __reg32_deduce_bounds()
1774 reg->s32_min_value = reg->u32_min_value = in __reg32_deduce_bounds()
1775 max_t(u32, reg->s32_min_value, reg->u32_min_value); in __reg32_deduce_bounds()
1862 if (__reg32_bound_s64(reg->s32_min_value) && in __reg_assign_32_into_64()
1864 reg->smin_value = reg->s32_min_value; in __reg_assign_32_into_64()
1907 reg->s32_min_value = (s32)reg->smin_value; in __reg_combine_64_into_32()
3429 reg->s32_min_value == S32_MIN && reg->s32_max_value == S32_MAX && in __is_scalar_unbounded()
7923 ret_reg->s32_min_value = -MAX_ERRNO; in do_refine_retval_range()
10696 s32 smin_val = src_reg->s32_min_value; in scalar32_min_max_add()
10701 if (signed_add32_overflows(dst_reg->s32_min_value, smin_val) || in scalar32_min_max_add()
10703 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_add()
10706 dst_reg->s32_min_value += smin_val; in scalar32_min_max_add()
10748 s32 smin_val = src_reg->s32_min_value; in scalar32_min_max_sub()
10753 if (signed_sub32_overflows(dst_reg->s32_min_value, smax_val) || in scalar32_min_max_sub()
10756 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_sub()
10759 dst_reg->s32_min_value -= smax_val; in scalar32_min_max_sub()
10804 s32 smin_val = src_reg->s32_min_value; in scalar32_min_max_mul()
10808 if (smin_val < 0 || dst_reg->s32_min_value < 0) { in scalar32_min_max_mul()
10825 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_mul()
10828 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_mul()
10871 s32 smin_val = src_reg->s32_min_value; in scalar32_min_max_and()
10884 if (dst_reg->s32_min_value < 0 || smin_val < 0) { in scalar32_min_max_and()
10888 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_and()
10894 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_and()
10940 s32 smin_val = src_reg->s32_min_value; in scalar32_min_max_or()
10953 if (dst_reg->s32_min_value < 0 || smin_val < 0) { in scalar32_min_max_or()
10957 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_or()
10963 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_or()
11009 s32 smin_val = src_reg->s32_min_value; in scalar32_min_max_xor()
11020 if (dst_reg->s32_min_value >= 0 && smin_val >= 0) { in scalar32_min_max_xor()
11024 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_xor()
11027 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_xor()
11069 dst_reg->s32_min_value = S32_MIN; in __scalar32_min_max_lsh()
11114 if (umin_val == 32 && umax_val == 32 && dst_reg->s32_min_value >= 0) in __scalar64_min_max_lsh()
11115 dst_reg->smin_value = (s64)dst_reg->s32_min_value << 32; in __scalar64_min_max_lsh()
11165 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_rsh()
11218 dst_reg->s32_min_value = (u32)(((s32)dst_reg->s32_min_value) >> umin_val); in scalar32_min_max_arsh()
11285 s32_min_val = src_reg.s32_min_value; in adjust_scalar_min_max_vals()
11790 if (reg->s32_min_value > sval) in is_branch32_taken()
11804 else if (reg->s32_min_value >= sval) in is_branch32_taken()
11814 if (reg->s32_min_value >= sval) in is_branch32_taken()
11828 else if (reg->s32_min_value > sval) in is_branch32_taken()
12100 true_reg->s32_min_value = max(true_reg->s32_min_value, true_smin); in reg_set_min_max()
12137 false_reg->s32_min_value = max(false_reg->s32_min_value, false_smin); in reg_set_min_max()
13685 old->s32_min_value <= cur->s32_min_value && in range_within()