Lines Matching refs:umin_value
672 if (reg->smin_value != reg->umin_value && in print_verifier_state()
680 if (reg->umin_value != 0) in print_verifier_state()
682 (unsigned long long)reg->umin_value); in print_verifier_state()
700 if (reg->u32_min_value != reg->umin_value && in print_verifier_state()
1086 reg->umin_value = imm; in ___mark_reg_known()
1222 reg->umin_value = 0; in __mark_reg_unbounded()
1235 reg->umin_value = 0; in __mark_reg64_unbounded()
1270 reg->umin_value = max(reg->umin_value, reg->var_off.value); in __update_reg64_bounds()
1324 reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, in __reg64_deduce_bounds()
1325 reg->umin_value); in __reg64_deduce_bounds()
1337 reg->smin_value = reg->umin_value; in __reg64_deduce_bounds()
1340 } else if ((s64)reg->umin_value < 0) { in __reg64_deduce_bounds()
1344 reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, in __reg64_deduce_bounds()
1345 reg->umin_value); in __reg64_deduce_bounds()
1360 tnum_range(reg->umin_value, in __reg_bound_offset()
1376 reg->umin_value = reg->u32_min_value; in __reg_assign_32_into_64()
1440 if (__reg64_bound_u32(reg->umin_value) && __reg64_bound_u32(reg->umax_value)) { in __reg_combine_64_into_32()
1441 reg->u32_min_value = (u32)reg->umin_value; in __reg_combine_64_into_32()
2758 reg->umin_value == 0 && reg->umax_value == U64_MAX && in __is_scalar_unbounded()
4040 if ((reg->umin_value & ~mask) == (reg->umax_value & ~mask)) { in coerce_reg_to_size()
4041 reg->umin_value &= mask; in coerce_reg_to_size()
4044 reg->umin_value = 0; in coerce_reg_to_size()
4047 reg->smin_value = reg->umin_value; in coerce_reg_to_size()
5375 if (reg->umin_value == 0) { in check_func_arg()
7189 u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value, in adjust_ptr_min_max_vals()
7190 umin_ptr = ptr_reg->umin_value, umax_ptr = ptr_reg->umax_value; in adjust_ptr_min_max_vals()
7275 dst_reg->umin_value = umin_ptr; in adjust_ptr_min_max_vals()
7301 dst_reg->umin_value = 0; in adjust_ptr_min_max_vals()
7304 dst_reg->umin_value = umin_ptr + umin_val; in adjust_ptr_min_max_vals()
7337 dst_reg->umin_value = umin_ptr; in adjust_ptr_min_max_vals()
7359 dst_reg->umin_value = 0; in adjust_ptr_min_max_vals()
7363 dst_reg->umin_value = umin_ptr - umax_val; in adjust_ptr_min_max_vals()
7440 u64 umin_val = src_reg->umin_value; in scalar_min_max_add()
7451 if (dst_reg->umin_value + umin_val < umin_val || in scalar_min_max_add()
7453 dst_reg->umin_value = 0; in scalar_min_max_add()
7456 dst_reg->umin_value += umin_val; in scalar_min_max_add()
7494 u64 umin_val = src_reg->umin_value; in scalar_min_max_sub()
7506 if (dst_reg->umin_value < umax_val) { in scalar_min_max_sub()
7508 dst_reg->umin_value = 0; in scalar_min_max_sub()
7512 dst_reg->umin_value -= umax_val; in scalar_min_max_sub()
7553 u64 umin_val = src_reg->umin_value; in scalar_min_max_mul()
7569 dst_reg->umin_value *= umin_val; in scalar_min_max_mul()
7576 dst_reg->smin_value = dst_reg->umin_value; in scalar_min_max_mul()
7631 dst_reg->umin_value = dst_reg->var_off.value; in scalar_min_max_and()
7643 dst_reg->smin_value = dst_reg->umin_value; in scalar_min_max_and()
7690 u64 umin_val = src_reg->umin_value; in scalar_min_max_or()
7700 dst_reg->umin_value = max(dst_reg->umin_value, umin_val); in scalar_min_max_or()
7712 dst_reg->smin_value = dst_reg->umin_value; in scalar_min_max_or()
7762 dst_reg->umin_value = dst_reg->var_off.value; in scalar_min_max_xor()
7769 dst_reg->smin_value = dst_reg->umin_value; in scalar_min_max_xor()
7837 dst_reg->umin_value = 0; in __scalar64_min_max_lsh()
7840 dst_reg->umin_value <<= umin_val; in __scalar64_min_max_lsh()
7849 u64 umin_val = src_reg->umin_value; in scalar_min_max_lsh()
7896 u64 umin_val = src_reg->umin_value; in scalar_min_max_rsh()
7915 dst_reg->umin_value >>= umax_val; in scalar_min_max_rsh()
7952 u64 umin_val = src_reg->umin_value; in scalar_min_max_arsh()
7965 dst_reg->umin_value = 0; in scalar_min_max_arsh()
7998 umin_val = src_reg.umin_value; in adjust_scalar_min_max_vals()
8592 if (reg->umin_value > val) in is_branch64_taken()
8606 else if (reg->umin_value >= val) in is_branch64_taken()
8616 if (reg->umin_value >= val) in is_branch64_taken()
8630 else if (reg->umin_value > val) in is_branch64_taken()
8816 true_reg->umin_value = max(true_reg->umin_value, true_umin); in reg_set_min_max()
8853 false_reg->umin_value = max(false_reg->umin_value, false_umin); in reg_set_min_max()
8915 src_reg->umin_value = dst_reg->umin_value = max(src_reg->umin_value, in __reg_combine_min_max()
8916 dst_reg->umin_value); in __reg_combine_min_max()
10292 return old->umin_value <= cur->umin_value && in range_within()