Lines Matching refs:umax_value
1764 reg->umax_value = imm; in ___mark_reg_known()
1908 reg->umax_value = U64_MAX; in __mark_reg_unbounded()
1921 reg->umax_value = U64_MAX; in __mark_reg64_unbounded()
1971 reg->umax_value = min(reg->umax_value, in __update_reg64_bounds()
1978 if (umin_in_tnum && tnum_next > reg->umax_value) { in __update_reg64_bounds()
1991 } else if (!umin_in_tnum && tnum_next <= reg->umax_value && in __update_reg64_bounds()
1992 tnum_step(reg->var_off, tnum_next) > reg->umax_value) { in __update_reg64_bounds()
2032 if ((reg->umin_value >> 32) == (reg->umax_value >> 32)) { in deduce_bounds_32_from_64()
2037 reg->u32_max_value = min_t(u32, reg->u32_max_value, (u32)reg->umax_value); in deduce_bounds_32_from_64()
2039 if ((s32)reg->umin_value <= (s32)reg->umax_value) { in deduce_bounds_32_from_64()
2041 reg->s32_max_value = min_t(s32, reg->s32_max_value, (s32)reg->umax_value); in deduce_bounds_32_from_64()
2069 if ((u32)(reg->umin_value >> 32) + 1 == (u32)(reg->umax_value >> 32) && in deduce_bounds_32_from_64()
2070 (s32)reg->umin_value < 0 && (s32)reg->umax_value >= 0) { in deduce_bounds_32_from_64()
2072 reg->s32_max_value = min_t(s32, reg->s32_max_value, (s32)reg->umax_value); in deduce_bounds_32_from_64()
2193 if ((s64)reg->umin_value <= (s64)reg->umax_value) { in deduce_bounds_64_from_64()
2195 reg->smax_value = min_t(s64, reg->smax_value, reg->umax_value); in deduce_bounds_64_from_64()
2203 reg->umax_value = min_t(u64, reg->smax_value, reg->umax_value); in deduce_bounds_64_from_64()
2240 if (reg->umax_value < (u64)reg->smin_value) { in deduce_bounds_64_from_64()
2242 reg->umax_value = min_t(u64, reg->umax_value, reg->smax_value); in deduce_bounds_64_from_64()
2253 reg->smax_value = (s64)reg->umax_value; in deduce_bounds_64_from_64()
2278 new_umax = (reg->umax_value & ~0xffffffffULL) | reg->u32_max_value; in deduce_bounds_64_from_32()
2280 reg->umax_value = min_t(u64, reg->umax_value, new_umax); in deduce_bounds_64_from_32()
2320 reg->umax_value = reg->s32_max_value; in deduce_bounds_64_from_32()
2339 reg->umax_value)); in __reg_bound_offset()
2370 return (reg->umin_value > reg->umax_value || reg->smin_value > reg->smax_value || in range_bounds_violation()
2383 return reg->umin_value != uval || reg->umax_value != uval || in const_tnum_range_mismatch()
2423 ctx, msg, reg->umin_value, reg->umax_value, in reg_bounds_sanity_check()
2442 reg->umax_value = reg->u32_max_value; in __reg_assign_32_into_64()
3766 return fls64(reg->umax_value); in get_reg_width()
4489 if (reg->umax_value >= BPF_MAX_VAR_OFF) { in check_mem_region_access()
4494 err = __check_mem_access(env, regno, reg->umax_value + off, size, in check_mem_region_access()
4826 p < reg->umax_value + off + size) { in check_map_access()
4929 off + reg->umax_value + size - 1); in check_packet_access()
4992 off += reg->umax_value; in check_ctx_access()
5635 if ((reg->umin_value & ~mask) == (reg->umax_value & ~mask)) { in coerce_reg_to_size()
5637 reg->umax_value &= mask; in coerce_reg_to_size()
5640 reg->umax_value = mask; in coerce_reg_to_size()
5643 reg->smax_value = reg->umax_value; in coerce_reg_to_size()
5669 reg->umax_value = U64_MAX; in set_sext64_default_val()
5692 reg->umax_value = reg->umin_value = u64_cval; in coerce_reg_to_size_sx()
5724 reg->u32_max_value = reg->umax_value = s64_max; in coerce_reg_to_size_sx()
7029 if (env->prog->aux->max_ctx_offset < reg->umax_value + access_size) in check_helper_mem_access()
7030 env->prog->aux->max_ctx_offset = reg->umax_value + access_size; in check_helper_mem_access()
7069 meta->msize_max_value = reg->umax_value; in check_mem_size_reg()
7087 regno, reg->umin_value, reg->umax_value); in check_mem_size_reg()
7091 if (reg->umax_value >= BPF_MAX_VAR_SIZ) { in check_mem_size_reg()
7096 err = check_helper_mem_access(env, regno - 1, reg->umax_value, in check_mem_size_reg()
9973 ret_reg->umax_value = nr_cpu_ids - 1; in do_refine_retval_range()
10445 if (cur_func(env)->callback_depth < regs[BPF_REG_1].umax_value) { in check_helper_call()
13451 ptr_limit = mask_to_left ? ptr_reg->smin_value : ptr_reg->umax_value; in retrieve_ptr_limit()
13755 u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value, in adjust_ptr_min_max_vals()
13756 umin_ptr = ptr_reg->umin_value, umax_ptr = ptr_reg->umax_value; in adjust_ptr_min_max_vals()
13864 check_add_overflow(umax_ptr, umax_val, &dst_reg->umax_value)) { in adjust_ptr_min_max_vals()
13866 dst_reg->umax_value = U64_MAX; in adjust_ptr_min_max_vals()
13911 dst_reg->umax_value = U64_MAX; in adjust_ptr_min_max_vals()
13915 dst_reg->umax_value = umax_ptr - umin_val; in adjust_ptr_min_max_vals()
14007 u64 *dst_umax = &dst_reg->umax_value; in scalar_min_max_add()
14009 u64 umax_val = src_reg->umax_value; in scalar_min_max_add()
14070 u64 *dst_umax = &dst_reg->umax_value; in scalar_min_max_sub()
14072 u64 umax_val = src_reg->umax_value; in scalar_min_max_sub()
14130 u64 *dst_umax = &dst_reg->umax_value; in scalar_min_max_mul()
14133 if (check_mul_overflow(*dst_umax, src_reg->umax_value, dst_umax) || in scalar_min_max_mul()
14172 u64 *dst_umax = &dst_reg->umax_value; in scalar_min_max_udiv()
14254 dst_reg->umax_value = U64_MAX; in scalar_min_max_sdiv()
14286 u64 *dst_umax = &dst_reg->umax_value; in scalar_min_max_umod()
14394 dst_reg->umax_value = U64_MAX; in scalar_min_max_smod()
14434 u64 umax_val = src_reg->umax_value; in scalar_min_max_and()
14445 dst_reg->umax_value = min(dst_reg->umax_value, umax_val); in scalar_min_max_and()
14450 if ((s64)dst_reg->umin_value <= (s64)dst_reg->umax_value) { in scalar_min_max_and()
14452 dst_reg->smax_value = dst_reg->umax_value; in scalar_min_max_and()
14508 dst_reg->umax_value = dst_reg->var_off.value | dst_reg->var_off.mask; in scalar_min_max_or()
14513 if ((s64)dst_reg->umin_value <= (s64)dst_reg->umax_value) { in scalar_min_max_or()
14515 dst_reg->smax_value = dst_reg->umax_value; in scalar_min_max_or()
14566 dst_reg->umax_value = dst_reg->var_off.value | dst_reg->var_off.mask; in scalar_min_max_xor()
14571 if ((s64)dst_reg->umin_value <= (s64)dst_reg->umax_value) { in scalar_min_max_xor()
14573 dst_reg->smax_value = dst_reg->umax_value; in scalar_min_max_xor()
14635 if (dst_reg->umax_value > 1ULL << (63 - umax_val)) { in __scalar64_min_max_lsh()
14637 dst_reg->umax_value = U64_MAX; in __scalar64_min_max_lsh()
14640 dst_reg->umax_value <<= umax_val; in __scalar64_min_max_lsh()
14647 u64 umax_val = src_reg->umax_value; in scalar_min_max_lsh()
14694 u64 umax_val = src_reg->umax_value; in scalar_min_max_rsh()
14715 dst_reg->umax_value >>= umin_val; in scalar_min_max_rsh()
14765 dst_reg->umax_value = U64_MAX; in scalar_min_max_arsh()
14838 && src_reg->umin_value == src_reg->umax_value) in is_safe_to_compute_dst_reg_range()
14868 return (src_is_const && src_reg->umax_value < insn_bitness); in is_safe_to_compute_dst_reg_range()
15172 u64 dst_umax = dst_reg->umax_value; in adjust_reg_min_max_vals()
15314 no_sext = src_reg->umax_value < (1ULL << (insn->off - 1)); in check_alu_op()
15349 bool no_sext = src_reg->umax_value < (1ULL << (insn->off - 1)); in check_alu_op()
15431 if (dst_reg->umax_value == 0 && range_right_open) in find_good_pkt_pointers()
15435 if (dst_reg->umax_value > MAX_PACKET_OFF) in find_good_pkt_pointers()
15441 new_range = dst_reg->umax_value; in find_good_pkt_pointers()
15547 u64 umax1 = is_jmp32 ? (u64)reg1->u32_max_value : reg1->umax_value; in is_scalar_branch_taken()
15551 u64 umax2 = is_jmp32 ? (u64)reg2->u32_max_value : reg2->umax_value; in is_scalar_branch_taken()
15869 reg1->umax_value = min(reg1->umax_value, reg2->umax_value); in regs_refine_cond_op()
15873 reg2->umax_value = reg1->umax_value; in regs_refine_cond_op()
15912 if (reg1->umax_value == (u64)val) in regs_refine_cond_op()
15913 reg1->umax_value--; in regs_refine_cond_op()
15967 reg1->umax_value = min(reg1->umax_value, reg2->umax_value); in regs_refine_cond_op()
15976 reg1->umax_value = min(reg1->umax_value, reg2->umax_value - 1); in regs_refine_cond_op()
17497 u64 max_index = reg->umax_value; in indirect_jump_min_max_index()
17505 verbose(env, "the sum of R%u umax_value %llu is too big\n", regno, reg->umax_value); in indirect_jump_min_max_index()