Lines Matching refs:smax_value
1107 if (reg->smax_value != reg->umax_value && in print_verifier_state()
1108 reg->smax_value != S64_MAX) in print_verifier_state()
1109 verbose_a("smax=%lld", (long long)reg->smax_value); in print_verifier_state()
1123 if (reg->s32_max_value != reg->smax_value && in print_verifier_state()
1545 reg->smax_value = (s64)imm; in ___mark_reg_known()
1685 reg->smax_value = S64_MAX; in __mark_reg_unbounded()
1698 reg->smax_value = S64_MAX; in __mark_reg64_unbounded()
1732 reg->smax_value = min_t(s64, reg->smax_value, in __update_reg64_bounds()
1787 if (reg->smin_value >= 0 || reg->smax_value < 0) { in __reg64_deduce_bounds()
1790 reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value, in __reg64_deduce_bounds()
1802 reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value, in __reg64_deduce_bounds()
1810 reg->smax_value = reg->umax_value; in __reg64_deduce_bounds()
1865 reg->smax_value = reg->s32_max_value; in __reg_assign_32_into_64()
1868 reg->smax_value = U32_MAX; in __reg_assign_32_into_64()
1906 if (__reg64_bound_s32(reg->smin_value) && __reg64_bound_s32(reg->smax_value)) { in __reg_combine_64_into_32()
1908 reg->s32_max_value = (s32)reg->smax_value; in __reg_combine_64_into_32()
3427 reg->smin_value == S64_MIN && reg->smax_value == S64_MAX && in __is_scalar_unbounded()
3644 max_off = ptr_reg->smax_value + off + size; in check_stack_write_var_off()
3923 max_off = reg->smax_value + off; in check_stack_read_var_off()
4941 reg->smax_value = reg->umax_value; in coerce_reg_to_size()
5261 if (reg->smax_value >= BPF_MAX_VAR_OFF || in check_stack_access_within_bounds()
5269 max_off = reg->smax_value + off + access_size - 1; in check_stack_access_within_bounds()
5713 max_off = reg->smax_value + off; in check_stack_range_initialized()
7920 ret_reg->smax_value = meta->msize_max_value; in do_refine_retval_range()
10279 (off_reg->smin_value < 0) != (off_reg->smax_value < 0)) in sanitize_ptr_alu()
10476 s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value, in adjust_ptr_min_max_vals()
10477 smin_ptr = ptr_reg->smin_value, smax_ptr = ptr_reg->smax_value; in adjust_ptr_min_max_vals()
10562 dst_reg->smax_value = smax_ptr; in adjust_ptr_min_max_vals()
10582 dst_reg->smax_value = S64_MAX; in adjust_ptr_min_max_vals()
10585 dst_reg->smax_value = smax_ptr + smax_val; in adjust_ptr_min_max_vals()
10624 dst_reg->smax_value = smax_ptr; in adjust_ptr_min_max_vals()
10640 dst_reg->smax_value = S64_MAX; in adjust_ptr_min_max_vals()
10643 dst_reg->smax_value = smax_ptr - smin_val; in adjust_ptr_min_max_vals()
10723 s64 smax_val = src_reg->smax_value; in scalar_min_max_add()
10728 signed_add_overflows(dst_reg->smax_value, smax_val)) { in scalar_min_max_add()
10730 dst_reg->smax_value = S64_MAX; in scalar_min_max_add()
10733 dst_reg->smax_value += smax_val; in scalar_min_max_add()
10777 s64 smax_val = src_reg->smax_value; in scalar_min_max_sub()
10782 signed_sub_overflows(dst_reg->smax_value, smin_val)) { in scalar_min_max_sub()
10785 dst_reg->smax_value = S64_MAX; in scalar_min_max_sub()
10788 dst_reg->smax_value -= smin_val; in scalar_min_max_sub()
10858 dst_reg->smax_value = S64_MAX; in scalar_min_max_mul()
10861 dst_reg->smax_value = dst_reg->umax_value; in scalar_min_max_mul()
10922 dst_reg->smax_value = S64_MAX; in scalar_min_max_and()
10928 dst_reg->smax_value = dst_reg->umax_value; in scalar_min_max_and()
10991 dst_reg->smax_value = S64_MAX; in scalar_min_max_or()
10997 dst_reg->smax_value = dst_reg->umax_value; in scalar_min_max_or()
11054 dst_reg->smax_value = dst_reg->umax_value; in scalar_min_max_xor()
11057 dst_reg->smax_value = S64_MAX; in scalar_min_max_xor()
11110 dst_reg->smax_value = (s64)dst_reg->s32_max_value << 32; in __scalar64_min_max_lsh()
11112 dst_reg->smax_value = S64_MAX; in __scalar64_min_max_lsh()
11197 dst_reg->smax_value = S64_MAX; in scalar_min_max_rsh()
11242 dst_reg->smax_value >>= umin_val; in scalar_min_max_arsh()
11281 smax_val = src_reg.smax_value; in adjust_scalar_min_max_vals()
11865 else if (reg->smax_value <= sval) in is_branch64_taken()
11875 if (reg->smax_value < sval) in is_branch64_taken()
11889 else if (reg->smax_value < sval) in is_branch64_taken()
11899 if (reg->smax_value <= sval) in is_branch64_taken()
12105 false_reg->smax_value = min(false_reg->smax_value, false_smax); in reg_set_min_max()
12144 true_reg->smax_value = min(true_reg->smax_value, true_smax); in reg_set_min_max()
12193 src_reg->smax_value = dst_reg->smax_value = min(src_reg->smax_value, in __reg_combine_min_max()
12194 dst_reg->smax_value); in __reg_combine_min_max()
12232 if (WARN_ON_ONCE(reg->smin_value || reg->smax_value || !tnum_equals_const(reg->var_off, 0))) in mark_ptr_or_null_reg()
13682 old->smax_value >= cur->smax_value && in range_within()