Lines Matching refs:umin_value
1104 if (reg->smin_value != reg->umin_value && in print_verifier_state()
1110 if (reg->umin_value != 0) in print_verifier_state()
1111 verbose_a("umin=%llu", (unsigned long long)reg->umin_value); in print_verifier_state()
1126 if (reg->u32_min_value != reg->umin_value && in print_verifier_state()
1546 reg->umin_value = imm; in ___mark_reg_known()
1686 reg->umin_value = 0; in __mark_reg_unbounded()
1699 reg->umin_value = 0; in __mark_reg64_unbounded()
1734 reg->umin_value = max(reg->umin_value, reg->var_off.value); in __update_reg64_bounds()
1788 reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, in __reg64_deduce_bounds()
1789 reg->umin_value); in __reg64_deduce_bounds()
1801 reg->smin_value = reg->umin_value; in __reg64_deduce_bounds()
1804 } else if ((s64)reg->umin_value < 0) { in __reg64_deduce_bounds()
1808 reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, in __reg64_deduce_bounds()
1809 reg->umin_value); in __reg64_deduce_bounds()
1824 tnum_range(reg->umin_value, in __reg_bound_offset()
1855 reg->umin_value = reg->u32_min_value; in __reg_assign_32_into_64()
1910 if (__reg64_bound_u32(reg->umin_value) && __reg64_bound_u32(reg->umax_value)) { in __reg_combine_64_into_32()
1911 reg->u32_min_value = (u32)reg->umin_value; in __reg_combine_64_into_32()
3428 reg->umin_value == 0 && reg->umax_value == U64_MAX && in __is_scalar_unbounded()
4933 if ((reg->umin_value & ~mask) == (reg->umax_value & ~mask)) { in coerce_reg_to_size()
4934 reg->umin_value &= mask; in coerce_reg_to_size()
4937 reg->umin_value = 0; in coerce_reg_to_size()
4940 reg->smin_value = reg->umin_value; in coerce_reg_to_size()
5928 if (reg->umin_value == 0) { in check_mem_size_reg()
10478 u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value, in adjust_ptr_min_max_vals()
10479 umin_ptr = ptr_reg->umin_value, umax_ptr = ptr_reg->umax_value; in adjust_ptr_min_max_vals()
10563 dst_reg->umin_value = umin_ptr; in adjust_ptr_min_max_vals()
10589 dst_reg->umin_value = 0; in adjust_ptr_min_max_vals()
10592 dst_reg->umin_value = umin_ptr + umin_val; in adjust_ptr_min_max_vals()
10625 dst_reg->umin_value = umin_ptr; in adjust_ptr_min_max_vals()
10647 dst_reg->umin_value = 0; in adjust_ptr_min_max_vals()
10651 dst_reg->umin_value = umin_ptr - umax_val; in adjust_ptr_min_max_vals()
10724 u64 umin_val = src_reg->umin_value; in scalar_min_max_add()
10735 if (dst_reg->umin_value + umin_val < umin_val || in scalar_min_max_add()
10737 dst_reg->umin_value = 0; in scalar_min_max_add()
10740 dst_reg->umin_value += umin_val; in scalar_min_max_add()
10778 u64 umin_val = src_reg->umin_value; in scalar_min_max_sub()
10790 if (dst_reg->umin_value < umax_val) { in scalar_min_max_sub()
10792 dst_reg->umin_value = 0; in scalar_min_max_sub()
10796 dst_reg->umin_value -= umax_val; in scalar_min_max_sub()
10837 u64 umin_val = src_reg->umin_value; in scalar_min_max_mul()
10853 dst_reg->umin_value *= umin_val; in scalar_min_max_mul()
10860 dst_reg->smin_value = dst_reg->umin_value; in scalar_min_max_mul()
10915 dst_reg->umin_value = dst_reg->var_off.value; in scalar_min_max_and()
10927 dst_reg->smin_value = dst_reg->umin_value; in scalar_min_max_and()
10974 u64 umin_val = src_reg->umin_value; in scalar_min_max_or()
10984 dst_reg->umin_value = max(dst_reg->umin_value, umin_val); in scalar_min_max_or()
10996 dst_reg->smin_value = dst_reg->umin_value; in scalar_min_max_or()
11046 dst_reg->umin_value = dst_reg->var_off.value; in scalar_min_max_xor()
11053 dst_reg->smin_value = dst_reg->umin_value; in scalar_min_max_xor()
11121 dst_reg->umin_value = 0; in __scalar64_min_max_lsh()
11124 dst_reg->umin_value <<= umin_val; in __scalar64_min_max_lsh()
11133 u64 umin_val = src_reg->umin_value; in scalar_min_max_lsh()
11180 u64 umin_val = src_reg->umin_value; in scalar_min_max_rsh()
11199 dst_reg->umin_value >>= umax_val; in scalar_min_max_rsh()
11236 u64 umin_val = src_reg->umin_value; in scalar_min_max_arsh()
11249 dst_reg->umin_value = 0; in scalar_min_max_arsh()
11282 umin_val = src_reg.umin_value; in adjust_scalar_min_max_vals()
11857 if (reg->umin_value > val) in is_branch64_taken()
11871 else if (reg->umin_value >= val) in is_branch64_taken()
11881 if (reg->umin_value >= val) in is_branch64_taken()
11895 else if (reg->umin_value > val) in is_branch64_taken()
12088 true_reg->umin_value = max(true_reg->umin_value, true_umin); in reg_set_min_max()
12125 false_reg->umin_value = max(false_reg->umin_value, false_umin); in reg_set_min_max()
12187 src_reg->umin_value = dst_reg->umin_value = max(src_reg->umin_value, in __reg_combine_min_max()
12188 dst_reg->umin_value); in __reg_combine_min_max()
13679 return old->umin_value <= cur->umin_value && in range_within()