Lines Matching refs:u32_min_value
1126 if (reg->u32_min_value != reg->umin_value && in print_verifier_state()
1127 reg->u32_min_value != U32_MIN) in print_verifier_state()
1128 verbose_a("u32_min=%d", (int)(reg->u32_min_value)); in print_verifier_state()
1551 reg->u32_min_value = (u32)imm; in ___mark_reg_known()
1573 reg->u32_min_value = (u32)imm; in __mark_reg32_known()
1691 reg->u32_min_value = 0; in __mark_reg_unbounded()
1707 reg->u32_min_value = 0; in __mark_reg32_unbounded()
1721 reg->u32_min_value = max_t(u32, reg->u32_min_value, (u32)var32_off.value); in __update_reg32_bounds()
1754 reg->s32_min_value = reg->u32_min_value = in __reg32_deduce_bounds()
1755 max_t(u32, reg->s32_min_value, reg->u32_min_value); in __reg32_deduce_bounds()
1767 reg->s32_min_value = reg->u32_min_value; in __reg32_deduce_bounds()
1770 } else if ((s32)reg->u32_min_value < 0) { in __reg32_deduce_bounds()
1774 reg->s32_min_value = reg->u32_min_value = in __reg32_deduce_bounds()
1775 max_t(u32, reg->s32_min_value, reg->u32_min_value); in __reg32_deduce_bounds()
1827 tnum_range(reg->u32_min_value, in __reg_bound_offset()
1855 reg->umin_value = reg->u32_min_value; in __reg_assign_32_into_64()
1911 reg->u32_min_value = (u32)reg->umin_value; in __reg_combine_64_into_32()
3430 reg->u32_min_value == 0 && reg->u32_max_value == U32_MAX; in __is_scalar_unbounded()
10698 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_add()
10709 if (dst_reg->u32_min_value + umin_val < umin_val || in scalar32_min_max_add()
10711 dst_reg->u32_min_value = 0; in scalar32_min_max_add()
10714 dst_reg->u32_min_value += umin_val; in scalar32_min_max_add()
10750 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_sub()
10762 if (dst_reg->u32_min_value < umax_val) { in scalar32_min_max_sub()
10764 dst_reg->u32_min_value = 0; in scalar32_min_max_sub()
10768 dst_reg->u32_min_value -= umax_val; in scalar32_min_max_sub()
10805 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_mul()
10821 dst_reg->u32_min_value *= umin_val; in scalar32_min_max_mul()
10828 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_mul()
10882 dst_reg->u32_min_value = var32_off.value; in scalar32_min_max_and()
10894 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_and()
10941 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_or()
10951 dst_reg->u32_min_value = max(dst_reg->u32_min_value, umin_val); in scalar32_min_max_or()
10963 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_or()
11017 dst_reg->u32_min_value = var32_off.value; in scalar32_min_max_xor()
11024 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_xor()
11073 dst_reg->u32_min_value = 0; in __scalar32_min_max_lsh()
11076 dst_reg->u32_min_value <<= umin_val; in __scalar32_min_max_lsh()
11085 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_lsh()
11149 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_rsh()
11169 dst_reg->u32_min_value >>= umax_val; in scalar32_min_max_rsh()
11213 u64 umin_val = src_reg->u32_min_value; in scalar32_min_max_arsh()
11226 dst_reg->u32_min_value = 0; in scalar32_min_max_arsh()
11287 u32_min_val = src_reg.u32_min_value; in adjust_scalar_min_max_vals()
11784 if (reg->u32_min_value > val) in is_branch32_taken()
11798 else if (reg->u32_min_value >= val) in is_branch32_taken()
11808 if (reg->u32_min_value >= val) in is_branch32_taken()
11822 else if (reg->u32_min_value > val) in is_branch32_taken()
12081 true_reg->u32_min_value = max(true_reg->u32_min_value, in reg_set_min_max()
12117 false_reg->u32_min_value = max(false_reg->u32_min_value, in reg_set_min_max()
13683 old->u32_min_value <= cur->u32_min_value && in range_within()