Lines Matching refs:smax_value
676 if (reg->smax_value != reg->umax_value && in print_verifier_state()
677 reg->smax_value != S64_MAX) in print_verifier_state()
679 (long long)reg->smax_value); in print_verifier_state()
696 if (reg->s32_max_value != reg->smax_value && in print_verifier_state()
1085 reg->smax_value = (s64)imm; in ___mark_reg_known()
1221 reg->smax_value = S64_MAX; in __mark_reg_unbounded()
1234 reg->smax_value = S64_MAX; in __mark_reg64_unbounded()
1268 reg->smax_value = min_t(s64, reg->smax_value, in __update_reg64_bounds()
1323 if (reg->smin_value >= 0 || reg->smax_value < 0) { in __reg64_deduce_bounds()
1326 reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value, in __reg64_deduce_bounds()
1338 reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value, in __reg64_deduce_bounds()
1346 reg->smax_value = reg->umax_value; in __reg64_deduce_bounds()
1386 reg->smax_value = reg->s32_max_value; in __reg_assign_32_into_64()
1389 reg->smax_value = U32_MAX; in __reg_assign_32_into_64()
1436 if (__reg64_bound_s32(reg->smin_value) && __reg64_bound_s32(reg->smax_value)) { in __reg_combine_64_into_32()
1438 reg->s32_max_value = (s32)reg->smax_value; in __reg_combine_64_into_32()
2757 reg->smin_value == S64_MIN && reg->smax_value == S64_MAX && in __is_scalar_unbounded()
2941 max_off = ptr_reg->smax_value + off + size; in check_stack_write_var_off()
3207 max_off = reg->smax_value + off; in check_stack_read_var_off()
4048 reg->smax_value = reg->umax_value; in coerce_reg_to_size()
4268 if (reg->smax_value >= BPF_MAX_VAR_OFF || in check_stack_access_within_bounds()
4276 max_off = reg->smax_value + off + access_size - 1; in check_stack_access_within_bounds()
4692 max_off = reg->smax_value + off; in check_stack_range_initialized()
6219 ret_reg->smax_value = meta->msize_max_value; in do_refine_retval_range()
6990 (off_reg->smin_value < 0) != (off_reg->smax_value < 0)) in sanitize_ptr_alu()
7187 s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value, in adjust_ptr_min_max_vals()
7188 smin_ptr = ptr_reg->smin_value, smax_ptr = ptr_reg->smax_value; in adjust_ptr_min_max_vals()
7274 dst_reg->smax_value = smax_ptr; in adjust_ptr_min_max_vals()
7294 dst_reg->smax_value = S64_MAX; in adjust_ptr_min_max_vals()
7297 dst_reg->smax_value = smax_ptr + smax_val; in adjust_ptr_min_max_vals()
7336 dst_reg->smax_value = smax_ptr; in adjust_ptr_min_max_vals()
7352 dst_reg->smax_value = S64_MAX; in adjust_ptr_min_max_vals()
7355 dst_reg->smax_value = smax_ptr - smin_val; in adjust_ptr_min_max_vals()
7439 s64 smax_val = src_reg->smax_value; in scalar_min_max_add()
7444 signed_add_overflows(dst_reg->smax_value, smax_val)) { in scalar_min_max_add()
7446 dst_reg->smax_value = S64_MAX; in scalar_min_max_add()
7449 dst_reg->smax_value += smax_val; in scalar_min_max_add()
7493 s64 smax_val = src_reg->smax_value; in scalar_min_max_sub()
7498 signed_sub_overflows(dst_reg->smax_value, smin_val)) { in scalar_min_max_sub()
7501 dst_reg->smax_value = S64_MAX; in scalar_min_max_sub()
7504 dst_reg->smax_value -= smin_val; in scalar_min_max_sub()
7574 dst_reg->smax_value = S64_MAX; in scalar_min_max_mul()
7577 dst_reg->smax_value = dst_reg->umax_value; in scalar_min_max_mul()
7638 dst_reg->smax_value = S64_MAX; in scalar_min_max_and()
7644 dst_reg->smax_value = dst_reg->umax_value; in scalar_min_max_and()
7707 dst_reg->smax_value = S64_MAX; in scalar_min_max_or()
7713 dst_reg->smax_value = dst_reg->umax_value; in scalar_min_max_or()
7770 dst_reg->smax_value = dst_reg->umax_value; in scalar_min_max_xor()
7773 dst_reg->smax_value = S64_MAX; in scalar_min_max_xor()
7826 dst_reg->smax_value = (s64)dst_reg->s32_max_value << 32; in __scalar64_min_max_lsh()
7828 dst_reg->smax_value = S64_MAX; in __scalar64_min_max_lsh()
7913 dst_reg->smax_value = S64_MAX; in scalar_min_max_rsh()
7958 dst_reg->smax_value >>= umin_val; in scalar_min_max_arsh()
7997 smax_val = src_reg.smax_value; in adjust_scalar_min_max_vals()
8600 else if (reg->smax_value <= sval) in is_branch64_taken()
8610 if (reg->smax_value < sval) in is_branch64_taken()
8624 else if (reg->smax_value < sval) in is_branch64_taken()
8634 if (reg->smax_value <= sval) in is_branch64_taken()
8833 false_reg->smax_value = min(false_reg->smax_value, false_smax); in reg_set_min_max()
8872 true_reg->smax_value = min(true_reg->smax_value, true_smax); in reg_set_min_max()
8921 src_reg->smax_value = dst_reg->smax_value = min(src_reg->smax_value, in __reg_combine_min_max()
8922 dst_reg->smax_value); in __reg_combine_min_max()
8968 if (WARN_ON_ONCE(reg->smin_value || reg->smax_value || in mark_ptr_or_null_reg()
10295 old->smax_value >= cur->smax_value && in range_within()