Lines Matching refs:smax_value
383 if (reg->smax_value < S64_MAX) { in verbose_invalid_scalar()
384 verbose(env, " smax=%lld", reg->smax_value); in verbose_invalid_scalar()
2075 reg->smax_value = (s64)imm; in ___mark_reg_known()
2227 reg->smax_value = S64_MAX; in __mark_reg_unbounded()
2240 reg->smax_value = S64_MAX; in __mark_reg64_unbounded()
2274 reg->smax_value = min_t(s64, reg->smax_value, in __update_reg64_bounds()
2323 if ((reg->smin_value >> 32) == (reg->smax_value >> 32)) { in __reg32_deduce_bounds()
2325 if ((u32)reg->smin_value <= (u32)reg->smax_value) { in __reg32_deduce_bounds()
2327 reg->u32_max_value = min_t(u32, reg->u32_max_value, (u32)reg->smax_value); in __reg32_deduce_bounds()
2330 if ((s32)reg->smin_value <= (s32)reg->smax_value) { in __reg32_deduce_bounds()
2332 reg->s32_max_value = min_t(s32, reg->s32_max_value, (s32)reg->smax_value); in __reg32_deduce_bounds()
2353 if ((u32)(reg->smin_value >> 32) + 1 == (u32)(reg->smax_value >> 32) && in __reg32_deduce_bounds()
2354 (s32)reg->smin_value < 0 && (s32)reg->smax_value >= 0) { in __reg32_deduce_bounds()
2356 reg->s32_max_value = min_t(s32, reg->s32_max_value, (s32)reg->smax_value); in __reg32_deduce_bounds()
2446 reg->smax_value = min_t(s64, reg->smax_value, reg->umax_value); in __reg64_deduce_bounds()
2452 if ((u64)reg->smin_value <= (u64)reg->smax_value) { in __reg64_deduce_bounds()
2454 reg->umax_value = min_t(u64, reg->smax_value, reg->umax_value); in __reg64_deduce_bounds()
2482 new_smax = (reg->smax_value & ~0xffffffffULL) | reg->u32_max_value; in __reg_deduce_mixed_bounds()
2484 reg->smax_value = min_t(s64, reg->smax_value, new_smax); in __reg_deduce_mixed_bounds()
2495 new_smax = (reg->smax_value & ~0xffffffffULL) | (u32)reg->s32_max_value; in __reg_deduce_mixed_bounds()
2497 reg->smax_value = min_t(s64, reg->smax_value, new_smax); in __reg_deduce_mixed_bounds()
2529 if (reg->s32_min_value >= 0 && reg->smin_value >= S32_MIN && reg->smax_value <= S32_MAX) { in __reg_deduce_mixed_bounds()
2531 reg->smax_value = reg->s32_max_value; in __reg_deduce_mixed_bounds()
2535 tnum_range(reg->smin_value, reg->smax_value)); in __reg_deduce_mixed_bounds()
2581 reg->smin_value > reg->smax_value || in reg_bounds_sanity_check()
2593 reg->smin_value != sval || reg->smax_value != sval) { in reg_bounds_sanity_check()
2615 reg->smin_value, reg->smax_value, in reg_bounds_sanity_check()
2642 reg->smax_value = reg->s32_max_value; in __reg_assign_32_into_64()
2645 reg->smax_value = U32_MAX; in __reg_assign_32_into_64()
2701 reg->smax_value = min_t(s64, reg->smax_value, s32_max); in __mark_reg_s32_range()
5160 max_off = ptr_reg->smax_value + off + size; in check_stack_write_var_off()
5474 max_off = reg->smax_value + off; in check_stack_read_var_off()
6773 reg->smax_value = reg->umax_value; in coerce_reg_to_size()
6789 reg->smax_value = reg->s32_max_value = S8_MAX; in set_sext64_default_val()
6792 reg->smax_value = reg->s32_max_value = S16_MAX; in set_sext64_default_val()
6796 reg->smax_value = reg->s32_max_value = S32_MAX; in set_sext64_default_val()
6821 reg->smax_value = reg->smin_value = u64_cval; in coerce_reg_to_size_sx()
6828 top_smax_value = ((u64)reg->smax_value >> num_bits) << num_bits; in coerce_reg_to_size_sx()
6836 init_s64_max = (s8)reg->smax_value; in coerce_reg_to_size_sx()
6839 init_s64_max = (s16)reg->smax_value; in coerce_reg_to_size_sx()
6842 init_s64_max = (s32)reg->smax_value; in coerce_reg_to_size_sx()
6852 reg->s32_max_value = reg->smax_value = s64_max; in coerce_reg_to_size_sx()
7354 if (reg->smax_value >= BPF_MAX_VAR_OFF || in check_stack_access_within_bounds()
7361 max_off = reg->smax_value + off + access_size; in check_stack_access_within_bounds()
7947 max_off = reg->smax_value + off; in check_stack_range_initialized()
10829 return range.minval <= reg->smin_value && reg->smax_value <= range.maxval; in retval_range_within()
10939 ret_reg->smax_value = meta->msize_max_value; in do_refine_retval_range()
10948 ret_reg->smax_value = nr_cpu_ids - 1; in do_refine_retval_range()
14093 (off_reg->smin_value < 0) != (off_reg->smax_value < 0)) in sanitize_ptr_alu()
14290 s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value, in adjust_ptr_min_max_vals()
14291 smin_ptr = ptr_reg->smin_value, smax_ptr = ptr_reg->smax_value; in adjust_ptr_min_max_vals()
14387 dst_reg->smax_value = smax_ptr; in adjust_ptr_min_max_vals()
14405 check_add_overflow(smax_ptr, smax_val, &dst_reg->smax_value)) { in adjust_ptr_min_max_vals()
14407 dst_reg->smax_value = S64_MAX; in adjust_ptr_min_max_vals()
14443 dst_reg->smax_value = smax_ptr; in adjust_ptr_min_max_vals()
14456 check_sub_overflow(smax_ptr, smin_val, &dst_reg->smax_value)) { in adjust_ptr_min_max_vals()
14459 dst_reg->smax_value = S64_MAX; in adjust_ptr_min_max_vals()
14533 s64 *dst_smax = &dst_reg->smax_value; in scalar_min_max_add()
14538 check_add_overflow(*dst_smax, src_reg->smax_value, dst_smax)) { in scalar_min_max_add()
14578 s64 *dst_smax = &dst_reg->smax_value; in scalar_min_max_sub()
14582 if (check_sub_overflow(*dst_smin, src_reg->smax_value, dst_smin) || in scalar_min_max_sub()
14631 s64 *dst_smax = &dst_reg->smax_value; in scalar_min_max_mul()
14643 check_mul_overflow(*dst_smin, src_reg->smax_value, &tmp_prod[1]) || in scalar_min_max_mul()
14645 check_mul_overflow(*dst_smax, src_reg->smax_value, &tmp_prod[3])) { in scalar_min_max_mul()
14709 dst_reg->smax_value = dst_reg->umax_value; in scalar_min_max_and()
14712 dst_reg->smax_value = S64_MAX; in scalar_min_max_and()
14772 dst_reg->smax_value = dst_reg->umax_value; in scalar_min_max_or()
14775 dst_reg->smax_value = S64_MAX; in scalar_min_max_or()
14830 dst_reg->smax_value = dst_reg->umax_value; in scalar_min_max_xor()
14833 dst_reg->smax_value = S64_MAX; in scalar_min_max_xor()
14886 dst_reg->smax_value = (s64)dst_reg->s32_max_value << 32; in __scalar64_min_max_lsh()
14888 dst_reg->smax_value = S64_MAX; in __scalar64_min_max_lsh()
14973 dst_reg->smax_value = S64_MAX; in scalar_min_max_rsh()
15018 dst_reg->smax_value >>= umin_val; in scalar_min_max_arsh()
15049 && src_reg->smin_value == src_reg->smax_value in is_safe_to_compute_dst_reg_range()
15641 s64 smax1 = is_jmp32 ? (s64)reg1->s32_max_value : reg1->smax_value; in is_scalar_branch_taken()
15645 s64 smax2 = is_jmp32 ? (s64)reg2->s32_max_value : reg2->smax_value; in is_scalar_branch_taken()
15935 reg1->smax_value = min(reg1->smax_value, reg2->smax_value); in regs_refine_cond_op()
15939 reg2->smax_value = reg1->smax_value; in regs_refine_cond_op()
15980 if (reg1->smax_value == (s64)val) in regs_refine_cond_op()
15981 reg1->smax_value--; in regs_refine_cond_op()
16045 reg1->smax_value = min(reg1->smax_value, reg2->smax_value); in regs_refine_cond_op()
16054 reg1->smax_value = min(reg1->smax_value, reg2->smax_value - 1); in regs_refine_cond_op()
16117 if (WARN_ON_ONCE(reg->smin_value || reg->smax_value || !tnum_equals_const(reg->var_off, 0))) in mark_ptr_or_null_reg()
18138 old->smax_value >= cur->smax_value && in range_within()