Lines Matching refs:u32_min_value
1440 if (reg->u32_min_value != reg->umin_value && in print_verifier_state()
1441 reg->u32_min_value != U32_MIN) in print_verifier_state()
1442 verbose_a("u32_min=%d", (int)(reg->u32_min_value)); in print_verifier_state()
2105 reg->u32_min_value = (u32)imm; in ___mark_reg_known()
2127 reg->u32_min_value = (u32)imm; in __mark_reg32_known()
2251 reg->u32_min_value = 0; in __mark_reg_unbounded()
2267 reg->u32_min_value = 0; in __mark_reg32_unbounded()
2281 reg->u32_min_value = max_t(u32, reg->u32_min_value, (u32)var32_off.value); in __update_reg32_bounds()
2314 reg->s32_min_value = reg->u32_min_value = in __reg32_deduce_bounds()
2315 max_t(u32, reg->s32_min_value, reg->u32_min_value); in __reg32_deduce_bounds()
2327 reg->s32_min_value = reg->u32_min_value; in __reg32_deduce_bounds()
2330 } else if ((s32)reg->u32_min_value < 0) { in __reg32_deduce_bounds()
2334 reg->s32_min_value = reg->u32_min_value = in __reg32_deduce_bounds()
2335 max_t(u32, reg->s32_min_value, reg->u32_min_value); in __reg32_deduce_bounds()
2387 tnum_range(reg->u32_min_value, in __reg_bound_offset()
2415 reg->umin_value = reg->u32_min_value; in __reg_assign_32_into_64()
2471 reg->u32_min_value = (u32)reg->umin_value; in __reg_combine_64_into_32()
4520 reg->u32_min_value == 0 && reg->u32_max_value == U32_MAX; in __is_scalar_unbounded()
6114 reg->umin_value = reg->u32_min_value = 0; in set_sext64_default_val()
6140 reg->u32_max_value = reg->u32_min_value = u64_cval; in coerce_reg_to_size_sx()
6169 reg->u32_min_value = reg->umin_value = s64_min; in coerce_reg_to_size_sx()
6189 reg->u32_min_value = 0; in set_sext32_default_val()
6209 reg->u32_min_value = reg->u32_max_value = u32_val; in coerce_subreg_to_size_sx()
6234 reg->u32_min_value = (u32)s32_min; in coerce_subreg_to_size_sx()
9762 ret_reg->u32_min_value = 0; in do_refine_retval_range()
12727 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_add()
12738 if (dst_reg->u32_min_value + umin_val < umin_val || in scalar32_min_max_add()
12740 dst_reg->u32_min_value = 0; in scalar32_min_max_add()
12743 dst_reg->u32_min_value += umin_val; in scalar32_min_max_add()
12779 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_sub()
12791 if (dst_reg->u32_min_value < umax_val) { in scalar32_min_max_sub()
12793 dst_reg->u32_min_value = 0; in scalar32_min_max_sub()
12797 dst_reg->u32_min_value -= umax_val; in scalar32_min_max_sub()
12834 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_mul()
12850 dst_reg->u32_min_value *= umin_val; in scalar32_min_max_mul()
12857 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_mul()
12911 dst_reg->u32_min_value = var32_off.value; in scalar32_min_max_and()
12923 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_and()
12970 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_or()
12980 dst_reg->u32_min_value = max(dst_reg->u32_min_value, umin_val); in scalar32_min_max_or()
12992 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_or()
13046 dst_reg->u32_min_value = var32_off.value; in scalar32_min_max_xor()
13053 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_xor()
13102 dst_reg->u32_min_value = 0; in __scalar32_min_max_lsh()
13105 dst_reg->u32_min_value <<= umin_val; in __scalar32_min_max_lsh()
13114 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_lsh()
13178 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_rsh()
13198 dst_reg->u32_min_value >>= umax_val; in scalar32_min_max_rsh()
13242 u64 umin_val = src_reg->u32_min_value; in scalar32_min_max_arsh()
13255 dst_reg->u32_min_value = 0; in scalar32_min_max_arsh()
13316 u32_min_val = src_reg.u32_min_value; in adjust_scalar_min_max_vals()
13862 else if (val < reg->u32_min_value || val > reg->u32_max_value) in is_branch32_taken()
13868 else if (val < reg->u32_min_value || val > reg->u32_max_value) in is_branch32_taken()
13878 if (reg->u32_min_value > val) in is_branch32_taken()
13892 else if (reg->u32_min_value >= val) in is_branch32_taken()
13902 if (reg->u32_min_value >= val) in is_branch32_taken()
13916 else if (reg->u32_min_value > val) in is_branch32_taken()
14179 true_reg->u32_min_value = max(true_reg->u32_min_value, in reg_set_min_max()
14215 false_reg->u32_min_value = max(false_reg->u32_min_value, in reg_set_min_max()
15883 old->u32_min_value <= cur->u32_min_value && in range_within()