Lines Matching refs:u32_max_value
2082 reg->u32_max_value = (u32)imm; in ___mark_reg_known()
2104 reg->u32_max_value = (u32)imm; in __mark_reg32_known()
2234 reg->u32_max_value = U32_MAX; in __mark_reg_unbounded()
2250 reg->u32_max_value = U32_MAX; in __mark_reg32_unbounded()
2264 reg->u32_max_value = min(reg->u32_max_value, in __update_reg32_bounds()
2316 reg->u32_max_value = min_t(u32, reg->u32_max_value, (u32)reg->umax_value); in __reg32_deduce_bounds()
2327 reg->u32_max_value = min_t(u32, reg->u32_max_value, (u32)reg->smax_value); in __reg32_deduce_bounds()
2361 if ((s32)reg->u32_min_value <= (s32)reg->u32_max_value) { in __reg32_deduce_bounds()
2363 reg->s32_max_value = min_t(s32, reg->s32_max_value, reg->u32_max_value); in __reg32_deduce_bounds()
2371 reg->u32_max_value = min_t(u32, reg->s32_max_value, reg->u32_max_value); in __reg32_deduce_bounds()
2477 new_umax = (reg->umax_value & ~0xffffffffULL) | reg->u32_max_value; in __reg_deduce_mixed_bounds()
2482 new_smax = (reg->smax_value & ~0xffffffffULL) | reg->u32_max_value; in __reg_deduce_mixed_bounds()
2554 reg->u32_max_value)); in __reg_bound_offset()
2582 reg->u32_min_value > reg->u32_max_value || in reg_bounds_sanity_check()
2603 if (reg->u32_min_value != uval32 || reg->u32_max_value != uval32 || in reg_bounds_sanity_check()
2616 reg->u32_min_value, reg->u32_max_value, in reg_bounds_sanity_check()
2633 reg->umax_value = reg->u32_max_value; in __reg_assign_32_into_64()
6800 reg->u32_max_value = U32_MAX; in set_sext64_default_val()
6824 reg->u32_max_value = reg->u32_min_value = u64_cval; in coerce_reg_to_size_sx()
6854 reg->u32_max_value = reg->umax_value = s64_max; in coerce_reg_to_size_sx()
6874 reg->u32_max_value = U32_MAX; in set_sext32_default_val()
6893 reg->u32_min_value = reg->u32_max_value = u32_val; in coerce_subreg_to_size_sx()
6919 reg->u32_max_value = (u32)s32_max; in coerce_subreg_to_size_sx()
10947 ret_reg->u32_max_value = nr_cpu_ids - 1; in do_refine_retval_range()
14515 u32 *dst_umax = &dst_reg->u32_max_value; in scalar32_min_max_add()
14523 check_add_overflow(*dst_umax, src_reg->u32_max_value, dst_umax)) { in scalar32_min_max_add()
14555 u32 umax_val = src_reg->u32_max_value; in scalar32_min_max_sub()
14566 dst_reg->u32_max_value = U32_MAX; in scalar32_min_max_sub()
14570 dst_reg->u32_max_value -= umin_val; in scalar32_min_max_sub()
14605 u32 *dst_umax = &dst_reg->u32_max_value; in scalar32_min_max_mul()
14608 if (check_mul_overflow(*dst_umax, src_reg->u32_max_value, dst_umax) || in scalar32_min_max_mul()
14661 u32 umax_val = src_reg->u32_max_value; in scalar32_min_max_and()
14672 dst_reg->u32_max_value = min(dst_reg->u32_max_value, umax_val); in scalar32_min_max_and()
14677 if ((s32)dst_reg->u32_min_value <= (s32)dst_reg->u32_max_value) { in scalar32_min_max_and()
14679 dst_reg->s32_max_value = dst_reg->u32_max_value; in scalar32_min_max_and()
14735 dst_reg->u32_max_value = var32_off.value | var32_off.mask; in scalar32_min_max_or()
14740 if ((s32)dst_reg->u32_min_value <= (s32)dst_reg->u32_max_value) { in scalar32_min_max_or()
14742 dst_reg->s32_max_value = dst_reg->u32_max_value; in scalar32_min_max_or()
14795 dst_reg->u32_max_value = var32_off.value | var32_off.mask; in scalar32_min_max_xor()
14800 if ((s32)dst_reg->u32_min_value <= (s32)dst_reg->u32_max_value) { in scalar32_min_max_xor()
14802 dst_reg->s32_max_value = dst_reg->u32_max_value; in scalar32_min_max_xor()
14848 if (umax_val > 31 || dst_reg->u32_max_value > 1ULL << (31 - umax_val)) { in __scalar32_min_max_lsh()
14850 dst_reg->u32_max_value = U32_MAX; in __scalar32_min_max_lsh()
14853 dst_reg->u32_max_value <<= umax_val; in __scalar32_min_max_lsh()
14860 u32 umax_val = src_reg->u32_max_value; in scalar32_min_max_lsh()
14924 u32 umax_val = src_reg->u32_max_value; in scalar32_min_max_rsh()
14946 dst_reg->u32_max_value >>= umin_val; in scalar32_min_max_rsh()
15003 dst_reg->u32_max_value = U32_MAX; in scalar32_min_max_arsh()
15045 && src_reg->u32_min_value == src_reg->u32_max_value) in is_safe_to_compute_dst_reg_range()
15639 u64 umax1 = is_jmp32 ? (u64)reg1->u32_max_value : reg1->umax_value; in is_scalar_branch_taken()
15643 u64 umax2 = is_jmp32 ? (u64)reg2->u32_max_value : reg2->umax_value; in is_scalar_branch_taken()
15664 if (reg1->u32_min_value > reg2->u32_max_value || in is_scalar_branch_taken()
15665 reg1->u32_max_value < reg2->u32_min_value) in is_scalar_branch_taken()
15688 if (reg1->u32_min_value > reg2->u32_max_value || in is_scalar_branch_taken()
15689 reg1->u32_max_value < reg2->u32_min_value) in is_scalar_branch_taken()
15920 reg1->u32_max_value = min(reg1->u32_max_value, reg2->u32_max_value); in regs_refine_cond_op()
15924 reg2->u32_max_value = reg1->u32_max_value; in regs_refine_cond_op()
15967 if (reg1->u32_max_value == (u32)val) in regs_refine_cond_op()
15968 reg1->u32_max_value--; in regs_refine_cond_op()
16024 reg1->u32_max_value = min(reg1->u32_max_value, reg2->u32_max_value); in regs_refine_cond_op()
16033 reg1->u32_max_value = min(reg1->u32_max_value, reg2->u32_max_value - 1); in regs_refine_cond_op()
18140 old->u32_max_value >= cur->u32_max_value && in range_within()