Lines Matching refs:smin_value
1104 if (reg->smin_value != reg->umin_value && in print_verifier_state()
1105 reg->smin_value != S64_MIN) in print_verifier_state()
1106 verbose_a("smin=%lld", (long long)reg->smin_value); in print_verifier_state()
1120 if (reg->s32_min_value != reg->smin_value && in print_verifier_state()
1544 reg->smin_value = (s64)imm; in ___mark_reg_known()
1684 reg->smin_value = S64_MIN; in __mark_reg_unbounded()
1697 reg->smin_value = S64_MIN; in __mark_reg64_unbounded()
1729 reg->smin_value = max_t(s64, reg->smin_value, in __update_reg64_bounds()
1787 if (reg->smin_value >= 0 || reg->smax_value < 0) { in __reg64_deduce_bounds()
1788 reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, in __reg64_deduce_bounds()
1801 reg->smin_value = reg->umin_value; in __reg64_deduce_bounds()
1808 reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, in __reg64_deduce_bounds()
1864 reg->smin_value = reg->s32_min_value; in __reg_assign_32_into_64()
1867 reg->smin_value = 0; 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()
1907 reg->s32_min_value = (s32)reg->smin_value; in __reg_combine_64_into_32()
3427 reg->smin_value == S64_MIN && reg->smax_value == S64_MAX && in __is_scalar_unbounded()
3643 min_off = ptr_reg->smin_value + off; in check_stack_write_var_off()
3922 min_off = reg->smin_value + off; in check_stack_read_var_off()
4099 if (reg->smin_value < 0 && in check_mem_region_access()
4100 (reg->smin_value == S64_MIN || in check_mem_region_access()
4101 (off + reg->smin_value != (s64)(s32)(off + reg->smin_value)) || in check_mem_region_access()
4102 reg->smin_value + off < 0)) { in check_mem_region_access()
4107 err = __check_mem_access(env, regno, reg->smin_value + off, size, in check_mem_region_access()
4328 if (reg->smin_value + off < p + btf_field_type_size(field->type) && in check_map_access()
4420 if (reg->smin_value < 0) { in check_packet_access()
4505 if (reg->smin_value < 0) { in check_sock_access()
4940 reg->smin_value = reg->umin_value; in coerce_reg_to_size()
5262 reg->smin_value <= -BPF_MAX_VAR_OFF) { in check_stack_access_within_bounds()
5267 min_off = reg->smin_value + off; in check_stack_access_within_bounds()
5712 min_off = reg->smin_value + off; in check_stack_range_initialized()
5922 if (reg->smin_value < 0) { in check_mem_size_reg()
7922 ret_reg->smin_value = -MAX_ERRNO; in do_refine_retval_range()
10115 s64 smin = reg->smin_value; in check_reg_sane_offset()
10170 ptr_reg->smin_value : in retrieve_ptr_limit()
10259 bool off_is_neg = off_reg->smin_value < 0; in sanitize_ptr_alu()
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()
10561 dst_reg->smin_value = smin_ptr; in adjust_ptr_min_max_vals()
10581 dst_reg->smin_value = S64_MIN; in adjust_ptr_min_max_vals()
10584 dst_reg->smin_value = smin_ptr + smin_val; in adjust_ptr_min_max_vals()
10623 dst_reg->smin_value = smin_ptr; in adjust_ptr_min_max_vals()
10639 dst_reg->smin_value = S64_MIN; in adjust_ptr_min_max_vals()
10642 dst_reg->smin_value = smin_ptr - smax_val; in adjust_ptr_min_max_vals()
10722 s64 smin_val = src_reg->smin_value; in scalar_min_max_add()
10727 if (signed_add_overflows(dst_reg->smin_value, smin_val) || in scalar_min_max_add()
10729 dst_reg->smin_value = S64_MIN; in scalar_min_max_add()
10732 dst_reg->smin_value += smin_val; in scalar_min_max_add()
10776 s64 smin_val = src_reg->smin_value; in scalar_min_max_sub()
10781 if (signed_sub_overflows(dst_reg->smin_value, smax_val) || in scalar_min_max_sub()
10784 dst_reg->smin_value = S64_MIN; in scalar_min_max_sub()
10787 dst_reg->smin_value -= smax_val; in scalar_min_max_sub()
10836 s64 smin_val = src_reg->smin_value; in scalar_min_max_mul()
10840 if (smin_val < 0 || dst_reg->smin_value < 0) { in scalar_min_max_mul()
10857 dst_reg->smin_value = S64_MIN; in scalar_min_max_mul()
10860 dst_reg->smin_value = dst_reg->umin_value; in scalar_min_max_mul()
10904 s64 smin_val = src_reg->smin_value; in scalar_min_max_and()
10917 if (dst_reg->smin_value < 0 || smin_val < 0) { in scalar_min_max_and()
10921 dst_reg->smin_value = S64_MIN; in scalar_min_max_and()
10927 dst_reg->smin_value = dst_reg->umin_value; in scalar_min_max_and()
10973 s64 smin_val = src_reg->smin_value; in scalar_min_max_or()
10986 if (dst_reg->smin_value < 0 || smin_val < 0) { in scalar_min_max_or()
10990 dst_reg->smin_value = S64_MIN; in scalar_min_max_or()
10996 dst_reg->smin_value = dst_reg->umin_value; in scalar_min_max_or()
11037 s64 smin_val = src_reg->smin_value; in scalar_min_max_xor()
11049 if (dst_reg->smin_value >= 0 && smin_val >= 0) { in scalar_min_max_xor()
11053 dst_reg->smin_value = dst_reg->umin_value; in scalar_min_max_xor()
11056 dst_reg->smin_value = S64_MIN; in scalar_min_max_xor()
11115 dst_reg->smin_value = (s64)dst_reg->s32_min_value << 32; in __scalar64_min_max_lsh()
11117 dst_reg->smin_value = S64_MIN; in __scalar64_min_max_lsh()
11196 dst_reg->smin_value = S64_MIN; in scalar_min_max_rsh()
11241 dst_reg->smin_value >>= umin_val; in scalar_min_max_arsh()
11280 smin_val = src_reg.smin_value; in adjust_scalar_min_max_vals()
11863 if (reg->smin_value > sval) in is_branch64_taken()
11877 else if (reg->smin_value >= sval) in is_branch64_taken()
11887 if (reg->smin_value >= sval) in is_branch64_taken()
11901 else if (reg->smin_value > sval) in is_branch64_taken()
12106 true_reg->smin_value = max(true_reg->smin_value, true_smin); in reg_set_min_max()
12143 false_reg->smin_value = max(false_reg->smin_value, false_smin); in reg_set_min_max()
12191 src_reg->smin_value = dst_reg->smin_value = max(src_reg->smin_value, in __reg_combine_min_max()
12192 dst_reg->smin_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()
13681 old->smin_value <= cur->smin_value && in range_within()