Lines Matching refs:umax_value
2077 reg->umax_value = imm; in ___mark_reg_known()
2229 reg->umax_value = U64_MAX; in __mark_reg_unbounded()
2242 reg->umax_value = U64_MAX; in __mark_reg64_unbounded()
2277 reg->umax_value = min(reg->umax_value, in __update_reg64_bounds()
2311 if ((reg->umin_value >> 32) == (reg->umax_value >> 32)) { in __reg32_deduce_bounds()
2316 reg->u32_max_value = min_t(u32, reg->u32_max_value, (u32)reg->umax_value); in __reg32_deduce_bounds()
2318 if ((s32)reg->umin_value <= (s32)reg->umax_value) { in __reg32_deduce_bounds()
2320 reg->s32_max_value = min_t(s32, reg->s32_max_value, (s32)reg->umax_value); in __reg32_deduce_bounds()
2348 if ((u32)(reg->umin_value >> 32) + 1 == (u32)(reg->umax_value >> 32) && in __reg32_deduce_bounds()
2349 (s32)reg->umin_value < 0 && (s32)reg->umax_value >= 0) { in __reg32_deduce_bounds()
2351 reg->s32_max_value = min_t(s32, reg->s32_max_value, (s32)reg->umax_value); in __reg32_deduce_bounds()
2444 if ((s64)reg->umin_value <= (s64)reg->umax_value) { in __reg64_deduce_bounds()
2446 reg->smax_value = min_t(s64, reg->smax_value, reg->umax_value); in __reg64_deduce_bounds()
2454 reg->umax_value = min_t(u64, reg->smax_value, reg->umax_value); in __reg64_deduce_bounds()
2477 new_umax = (reg->umax_value & ~0xffffffffULL) | reg->u32_max_value; in __reg_deduce_mixed_bounds()
2479 reg->umax_value = min_t(u64, reg->umax_value, new_umax); in __reg_deduce_mixed_bounds()
2490 new_umax = (reg->umax_value & ~0xffffffffULL) | (u32)reg->s32_max_value; in __reg_deduce_mixed_bounds()
2492 reg->umax_value = min_t(u64, reg->umax_value, new_umax); in __reg_deduce_mixed_bounds()
2533 reg->umax_value = reg->s32_max_value; in __reg_deduce_mixed_bounds()
2551 reg->umax_value)); in __reg_bound_offset()
2580 if (reg->umin_value > reg->umax_value || in reg_bounds_sanity_check()
2592 if (reg->umin_value != uval || reg->umax_value != uval || in reg_bounds_sanity_check()
2614 ctx, msg, reg->umin_value, reg->umax_value, in reg_bounds_sanity_check()
2633 reg->umax_value = reg->u32_max_value; in __reg_assign_32_into_64()
4964 return fls64(reg->umax_value); in get_reg_width()
5667 if (reg->umax_value >= BPF_MAX_VAR_OFF) { in check_mem_region_access()
5672 err = __check_mem_access(env, regno, reg->umax_value + off, size, in check_mem_region_access()
5986 p < reg->umax_value + off + size) { in check_map_access()
6105 off + reg->umax_value + size - 1); in check_packet_access()
6765 if ((reg->umin_value & ~mask) == (reg->umax_value & ~mask)) { in coerce_reg_to_size()
6767 reg->umax_value &= mask; in coerce_reg_to_size()
6770 reg->umax_value = mask; in coerce_reg_to_size()
6773 reg->smax_value = reg->umax_value; in coerce_reg_to_size()
6799 reg->umax_value = U64_MAX; in set_sext64_default_val()
6822 reg->umax_value = reg->umin_value = u64_cval; in coerce_reg_to_size_sx()
6854 reg->u32_max_value = reg->umax_value = s64_max; in coerce_reg_to_size_sx()
8154 meta->msize_max_value = reg->umax_value; in check_mem_size_reg()
8172 regno, reg->umin_value, reg->umax_value); in check_mem_size_reg()
8176 if (reg->umax_value >= BPF_MAX_VAR_SIZ) { in check_mem_size_reg()
8181 err = check_helper_mem_access(env, regno - 1, reg->umax_value, in check_mem_size_reg()
10946 ret_reg->umax_value = nr_cpu_ids - 1; in do_refine_retval_range()
11434 if (cur_func(env)->callback_depth < regs[BPF_REG_1].umax_value) { in check_helper_call()
13985 ptr_reg->umax_value) + ptr_reg->off; in retrieve_ptr_limit()
14292 u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value, in adjust_ptr_min_max_vals()
14293 umin_ptr = ptr_reg->umin_value, umax_ptr = ptr_reg->umax_value; in adjust_ptr_min_max_vals()
14389 dst_reg->umax_value = umax_ptr; in adjust_ptr_min_max_vals()
14410 check_add_overflow(umax_ptr, umax_val, &dst_reg->umax_value)) { in adjust_ptr_min_max_vals()
14412 dst_reg->umax_value = U64_MAX; in adjust_ptr_min_max_vals()
14445 dst_reg->umax_value = umax_ptr; in adjust_ptr_min_max_vals()
14464 dst_reg->umax_value = U64_MAX; in adjust_ptr_min_max_vals()
14468 dst_reg->umax_value = umax_ptr - umin_val; in adjust_ptr_min_max_vals()
14535 u64 *dst_umax = &dst_reg->umax_value; in scalar_min_max_add()
14543 check_add_overflow(*dst_umax, src_reg->umax_value, dst_umax)) { in scalar_min_max_add()
14580 u64 umax_val = src_reg->umax_value; in scalar_min_max_sub()
14591 dst_reg->umax_value = U64_MAX; in scalar_min_max_sub()
14595 dst_reg->umax_value -= umin_val; in scalar_min_max_sub()
14633 u64 *dst_umax = &dst_reg->umax_value; in scalar_min_max_mul()
14636 if (check_mul_overflow(*dst_umax, src_reg->umax_value, dst_umax) || in scalar_min_max_mul()
14691 u64 umax_val = src_reg->umax_value; in scalar_min_max_and()
14702 dst_reg->umax_value = min(dst_reg->umax_value, umax_val); in scalar_min_max_and()
14707 if ((s64)dst_reg->umin_value <= (s64)dst_reg->umax_value) { in scalar_min_max_and()
14709 dst_reg->smax_value = dst_reg->umax_value; in scalar_min_max_and()
14765 dst_reg->umax_value = dst_reg->var_off.value | dst_reg->var_off.mask; in scalar_min_max_or()
14770 if ((s64)dst_reg->umin_value <= (s64)dst_reg->umax_value) { in scalar_min_max_or()
14772 dst_reg->smax_value = dst_reg->umax_value; in scalar_min_max_or()
14823 dst_reg->umax_value = dst_reg->var_off.value | dst_reg->var_off.mask; in scalar_min_max_xor()
14828 if ((s64)dst_reg->umin_value <= (s64)dst_reg->umax_value) { in scalar_min_max_xor()
14830 dst_reg->smax_value = dst_reg->umax_value; in scalar_min_max_xor()
14896 if (dst_reg->umax_value > 1ULL << (63 - umax_val)) { in __scalar64_min_max_lsh()
14898 dst_reg->umax_value = U64_MAX; in __scalar64_min_max_lsh()
14901 dst_reg->umax_value <<= umax_val; in __scalar64_min_max_lsh()
14908 u64 umax_val = src_reg->umax_value; in scalar_min_max_lsh()
14955 u64 umax_val = src_reg->umax_value; in scalar_min_max_rsh()
14976 dst_reg->umax_value >>= umin_val; in scalar_min_max_rsh()
15026 dst_reg->umax_value = U64_MAX; in scalar_min_max_arsh()
15050 && src_reg->umin_value == src_reg->umax_value) in is_safe_to_compute_dst_reg_range()
15070 return (src_is_const && src_reg->umax_value < insn_bitness); in is_safe_to_compute_dst_reg_range()
15425 no_sext = src_reg->umax_value < (1ULL << (insn->off - 1)); in check_alu_op()
15462 bool no_sext = src_reg->umax_value < (1ULL << (insn->off - 1)); in check_alu_op()
15565 if (dst_reg->umax_value > MAX_PACKET_OFF || in find_good_pkt_pointers()
15566 dst_reg->umax_value + dst_reg->off > MAX_PACKET_OFF) in find_good_pkt_pointers()
15639 u64 umax1 = is_jmp32 ? (u64)reg1->u32_max_value : reg1->umax_value; in is_scalar_branch_taken()
15643 u64 umax2 = is_jmp32 ? (u64)reg2->u32_max_value : reg2->umax_value; in is_scalar_branch_taken()
15933 reg1->umax_value = min(reg1->umax_value, reg2->umax_value); in regs_refine_cond_op()
15937 reg2->umax_value = reg1->umax_value; in regs_refine_cond_op()
15976 if (reg1->umax_value == (u64)val) in regs_refine_cond_op()
15977 reg1->umax_value--; in regs_refine_cond_op()
16027 reg1->umax_value = min(reg1->umax_value, reg2->umax_value); in regs_refine_cond_op()
16036 reg1->umax_value = min(reg1->umax_value, reg2->umax_value - 1); in regs_refine_cond_op()
18136 old->umax_value >= cur->umax_value && in range_within()