Lines Matching refs:umin_value
327 if (reg->smin_value != reg->umin_value && in print_verifier_state()
335 if (reg->umin_value != 0) in print_verifier_state()
337 (unsigned long long)reg->umin_value); in print_verifier_state()
560 reg->umin_value = imm; in __mark_reg_known()
626 reg->umin_value = max(reg->umin_value, reg->var_off.value); in __update_reg_bounds()
640 reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, in __reg_deduce_bounds()
641 reg->umin_value); in __reg_deduce_bounds()
653 reg->smin_value = reg->umin_value; in __reg_deduce_bounds()
656 } else if ((s64)reg->umin_value < 0) { in __reg_deduce_bounds()
660 reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, in __reg_deduce_bounds()
661 reg->umin_value); in __reg_deduce_bounds()
670 tnum_range(reg->umin_value, in __reg_bound_offset()
679 reg->umin_value = 0; in __mark_reg_unbounded()
1657 if ((reg->umin_value & ~mask) == (reg->umax_value & ~mask)) { in coerce_reg_to_size()
1658 reg->umin_value &= mask; in coerce_reg_to_size()
1661 reg->umin_value = 0; in coerce_reg_to_size()
1664 reg->smin_value = reg->umin_value; in coerce_reg_to_size()
2079 if (reg->umin_value == 0) { in check_func_arg()
2701 u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value, in adjust_ptr_min_max_vals()
2702 umin_ptr = ptr_reg->umin_value, umax_ptr = ptr_reg->umax_value; in adjust_ptr_min_max_vals()
2761 dst_reg->umin_value = umin_ptr; in adjust_ptr_min_max_vals()
2787 dst_reg->umin_value = 0; in adjust_ptr_min_max_vals()
2790 dst_reg->umin_value = umin_ptr + umin_val; in adjust_ptr_min_max_vals()
2822 dst_reg->umin_value = umin_ptr; in adjust_ptr_min_max_vals()
2844 dst_reg->umin_value = 0; in adjust_ptr_min_max_vals()
2848 dst_reg->umin_value = umin_ptr - umax_val; in adjust_ptr_min_max_vals()
2910 umin_val = src_reg.umin_value; in adjust_scalar_min_max_vals()
2940 if (dst_reg->umin_value + umin_val < umin_val || in adjust_scalar_min_max_vals()
2942 dst_reg->umin_value = 0; in adjust_scalar_min_max_vals()
2945 dst_reg->umin_value += umin_val; in adjust_scalar_min_max_vals()
2960 if (dst_reg->umin_value < umax_val) { in adjust_scalar_min_max_vals()
2962 dst_reg->umin_value = 0; in adjust_scalar_min_max_vals()
2966 dst_reg->umin_value -= umax_val; in adjust_scalar_min_max_vals()
2989 dst_reg->umin_value *= umin_val; in adjust_scalar_min_max_vals()
2996 dst_reg->smin_value = dst_reg->umin_value; in adjust_scalar_min_max_vals()
3010 dst_reg->umin_value = dst_reg->var_off.value; in adjust_scalar_min_max_vals()
3022 dst_reg->smin_value = dst_reg->umin_value; in adjust_scalar_min_max_vals()
3038 dst_reg->umin_value = max(dst_reg->umin_value, umin_val); in adjust_scalar_min_max_vals()
3051 dst_reg->smin_value = dst_reg->umin_value; in adjust_scalar_min_max_vals()
3072 dst_reg->umin_value = 0; in adjust_scalar_min_max_vals()
3075 dst_reg->umin_value <<= umin_val; in adjust_scalar_min_max_vals()
3107 dst_reg->umin_value >>= umax_val; in adjust_scalar_min_max_vals()
3131 dst_reg->umin_value = 0; in adjust_scalar_min_max_vals()
3501 true_reg->umin_value = max(true_reg->umin_value, val + 1); in reg_set_min_max()
3508 false_reg->umin_value = max(false_reg->umin_value, val); in reg_set_min_max()
3517 true_reg->umin_value = max(true_reg->umin_value, val); in reg_set_min_max()
3524 false_reg->umin_value = max(false_reg->umin_value, val + 1); in reg_set_min_max()
3573 false_reg->umin_value = max(false_reg->umin_value, val); in reg_set_min_max_inv()
3580 true_reg->umin_value = max(true_reg->umin_value, val + 1); in reg_set_min_max_inv()
3589 false_reg->umin_value = max(false_reg->umin_value, val + 1); in reg_set_min_max_inv()
3596 true_reg->umin_value = max(true_reg->umin_value, val); in reg_set_min_max_inv()
3624 src_reg->umin_value = dst_reg->umin_value = max(src_reg->umin_value, in __reg_combine_min_max()
3625 dst_reg->umin_value); in __reg_combine_min_max()
4329 return old->umin_value <= cur->umin_value && in range_within()