Lines Matching refs:u32_min_value
2081 reg->u32_min_value = (u32)imm; in ___mark_reg_known()
2103 reg->u32_min_value = (u32)imm; in __mark_reg32_known()
2233 reg->u32_min_value = 0; in __mark_reg_unbounded()
2249 reg->u32_min_value = 0; in __mark_reg32_unbounded()
2263 reg->u32_min_value = max_t(u32, reg->u32_min_value, (u32)var32_off.value); in __update_reg32_bounds()
2315 reg->u32_min_value = max_t(u32, reg->u32_min_value, (u32)reg->umin_value); in __reg32_deduce_bounds()
2326 reg->u32_min_value = max_t(u32, reg->u32_min_value, (u32)reg->smin_value); in __reg32_deduce_bounds()
2361 if ((s32)reg->u32_min_value <= (s32)reg->u32_max_value) { in __reg32_deduce_bounds()
2362 reg->s32_min_value = max_t(s32, reg->s32_min_value, reg->u32_min_value); in __reg32_deduce_bounds()
2370 reg->u32_min_value = max_t(u32, reg->s32_min_value, reg->u32_min_value); in __reg32_deduce_bounds()
2476 new_umin = (reg->umin_value & ~0xffffffffULL) | reg->u32_min_value; in __reg_deduce_mixed_bounds()
2481 new_smin = (reg->smin_value & ~0xffffffffULL) | reg->u32_min_value; in __reg_deduce_mixed_bounds()
2553 tnum_range(reg->u32_min_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()
2632 reg->umin_value = reg->u32_min_value; in __reg_assign_32_into_64()
6798 reg->umin_value = reg->u32_min_value = 0; in set_sext64_default_val()
6824 reg->u32_max_value = reg->u32_min_value = u64_cval; in coerce_reg_to_size_sx()
6853 reg->u32_min_value = reg->umin_value = s64_min; in coerce_reg_to_size_sx()
6873 reg->u32_min_value = 0; in set_sext32_default_val()
6893 reg->u32_min_value = reg->u32_max_value = u32_val; in coerce_subreg_to_size_sx()
6918 reg->u32_min_value = (u32)s32_min; in coerce_subreg_to_size_sx()
10951 ret_reg->u32_min_value = 0; in do_refine_retval_range()
14514 u32 *dst_umin = &dst_reg->u32_min_value; in scalar32_min_max_add()
14522 if (check_add_overflow(*dst_umin, src_reg->u32_min_value, dst_umin) || in scalar32_min_max_add()
14554 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_sub()
14563 if (dst_reg->u32_min_value < umax_val) { in scalar32_min_max_sub()
14565 dst_reg->u32_min_value = 0; in scalar32_min_max_sub()
14569 dst_reg->u32_min_value -= umax_val; in scalar32_min_max_sub()
14604 u32 *dst_umin = &dst_reg->u32_min_value; in scalar32_min_max_mul()
14609 check_mul_overflow(*dst_umin, src_reg->u32_min_value, dst_umin)) { in scalar32_min_max_mul()
14671 dst_reg->u32_min_value = var32_off.value; in scalar32_min_max_and()
14677 if ((s32)dst_reg->u32_min_value <= (s32)dst_reg->u32_max_value) { in scalar32_min_max_and()
14678 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_and()
14724 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_or()
14734 dst_reg->u32_min_value = max(dst_reg->u32_min_value, umin_val); in scalar32_min_max_or()
14740 if ((s32)dst_reg->u32_min_value <= (s32)dst_reg->u32_max_value) { in scalar32_min_max_or()
14741 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_or()
14794 dst_reg->u32_min_value = var32_off.value; in scalar32_min_max_xor()
14800 if ((s32)dst_reg->u32_min_value <= (s32)dst_reg->u32_max_value) { in scalar32_min_max_xor()
14801 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_xor()
14849 dst_reg->u32_min_value = 0; in __scalar32_min_max_lsh()
14852 dst_reg->u32_min_value <<= umin_val; in __scalar32_min_max_lsh()
14861 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_lsh()
14925 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_rsh()
14945 dst_reg->u32_min_value >>= umax_val; in scalar32_min_max_rsh()
14989 u64 umin_val = src_reg->u32_min_value; in scalar32_min_max_arsh()
15002 dst_reg->u32_min_value = 0; in scalar32_min_max_arsh()
15045 && src_reg->u32_min_value == src_reg->u32_max_value) in is_safe_to_compute_dst_reg_range()
15638 u64 umin1 = is_jmp32 ? (u64)reg1->u32_min_value : reg1->umin_value; in is_scalar_branch_taken()
15642 u64 umin2 = is_jmp32 ? (u64)reg2->u32_min_value : reg2->umin_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()
15919 reg1->u32_min_value = max(reg1->u32_min_value, reg2->u32_min_value); in regs_refine_cond_op()
15923 reg2->u32_min_value = reg1->u32_min_value; in regs_refine_cond_op()
15965 if (reg1->u32_min_value == (u32)val) in regs_refine_cond_op()
15966 reg1->u32_min_value++; in regs_refine_cond_op()
16025 reg2->u32_min_value = max(reg1->u32_min_value, reg2->u32_min_value); in regs_refine_cond_op()
16034 reg2->u32_min_value = max(reg1->u32_min_value + 1, reg2->u32_min_value); in regs_refine_cond_op()
18139 old->u32_min_value <= cur->u32_min_value && in range_within()