Lines Matching refs:u32_max_value
1129 if (reg->u32_max_value != reg->umax_value && in print_verifier_state()
1130 reg->u32_max_value != U32_MAX) in print_verifier_state()
1131 verbose_a("u32_max=%d", (int)(reg->u32_max_value)); in print_verifier_state()
1552 reg->u32_max_value = (u32)imm; in ___mark_reg_known()
1574 reg->u32_max_value = (u32)imm; in __mark_reg32_known()
1692 reg->u32_max_value = U32_MAX; in __mark_reg_unbounded()
1708 reg->u32_max_value = U32_MAX; in __mark_reg32_unbounded()
1722 reg->u32_max_value = min(reg->u32_max_value, in __update_reg32_bounds()
1756 reg->s32_max_value = reg->u32_max_value = in __reg32_deduce_bounds()
1757 min_t(u32, reg->s32_max_value, reg->u32_max_value); in __reg32_deduce_bounds()
1763 if ((s32)reg->u32_max_value >= 0) { in __reg32_deduce_bounds()
1768 reg->s32_max_value = reg->u32_max_value = in __reg32_deduce_bounds()
1769 min_t(u32, reg->s32_max_value, reg->u32_max_value); in __reg32_deduce_bounds()
1776 reg->s32_max_value = reg->u32_max_value; in __reg32_deduce_bounds()
1828 reg->u32_max_value)); in __reg_bound_offset()
1856 reg->umax_value = reg->u32_max_value; in __reg_assign_32_into_64()
1912 reg->u32_max_value = (u32)reg->umax_value; in __reg_combine_64_into_32()
3430 reg->u32_min_value == 0 && reg->u32_max_value == U32_MAX; in __is_scalar_unbounded()
10699 u32 umax_val = src_reg->u32_max_value; in scalar32_min_max_add()
10710 dst_reg->u32_max_value + umax_val < umax_val) { in scalar32_min_max_add()
10712 dst_reg->u32_max_value = U32_MAX; in scalar32_min_max_add()
10715 dst_reg->u32_max_value += umax_val; in scalar32_min_max_add()
10751 u32 umax_val = src_reg->u32_max_value; in scalar32_min_max_sub()
10765 dst_reg->u32_max_value = U32_MAX; in scalar32_min_max_sub()
10769 dst_reg->u32_max_value -= umin_val; in scalar32_min_max_sub()
10806 u32 umax_val = src_reg->u32_max_value; in scalar32_min_max_mul()
10816 if (umax_val > U16_MAX || dst_reg->u32_max_value > U16_MAX) { in scalar32_min_max_mul()
10822 dst_reg->u32_max_value *= umax_val; in scalar32_min_max_mul()
10823 if (dst_reg->u32_max_value > S32_MAX) { in scalar32_min_max_mul()
10829 dst_reg->s32_max_value = dst_reg->u32_max_value; in scalar32_min_max_mul()
10872 u32 umax_val = src_reg->u32_max_value; in scalar32_min_max_and()
10883 dst_reg->u32_max_value = min(dst_reg->u32_max_value, umax_val); in scalar32_min_max_and()
10895 dst_reg->s32_max_value = dst_reg->u32_max_value; in scalar32_min_max_and()
10952 dst_reg->u32_max_value = var32_off.value | var32_off.mask; in scalar32_min_max_or()
10964 dst_reg->s32_max_value = dst_reg->u32_max_value; in scalar32_min_max_or()
11018 dst_reg->u32_max_value = var32_off.value | var32_off.mask; in scalar32_min_max_xor()
11025 dst_reg->s32_max_value = dst_reg->u32_max_value; in scalar32_min_max_xor()
11072 if (umax_val > 31 || dst_reg->u32_max_value > 1ULL << (31 - umax_val)) { in __scalar32_min_max_lsh()
11074 dst_reg->u32_max_value = U32_MAX; in __scalar32_min_max_lsh()
11077 dst_reg->u32_max_value <<= umax_val; in __scalar32_min_max_lsh()
11084 u32 umax_val = src_reg->u32_max_value; in scalar32_min_max_lsh()
11148 u32 umax_val = src_reg->u32_max_value; in scalar32_min_max_rsh()
11170 dst_reg->u32_max_value >>= umin_val; in scalar32_min_max_rsh()
11227 dst_reg->u32_max_value = U32_MAX; in scalar32_min_max_arsh()
11288 u32_max_val = src_reg.u32_max_value; in adjust_scalar_min_max_vals()
11786 else if (reg->u32_max_value <= val) in is_branch32_taken()
11796 if (reg->u32_max_value < val) in is_branch32_taken()
11810 else if (reg->u32_max_value < val) in is_branch32_taken()
11820 if (reg->u32_max_value <= val) in is_branch32_taken()
12079 false_reg->u32_max_value = min(false_reg->u32_max_value, in reg_set_min_max()
12119 true_reg->u32_max_value = min(true_reg->u32_max_value, in reg_set_min_max()
13684 old->u32_max_value >= cur->u32_max_value && in range_within()