Lines Matching refs:s32_max_value
2080 reg->s32_max_value = (s32)imm; in ___mark_reg_known()
2102 reg->s32_max_value = (s32)imm; in __mark_reg32_known()
2232 reg->s32_max_value = S32_MAX; in __mark_reg_unbounded()
2248 reg->s32_max_value = S32_MAX; in __mark_reg32_unbounded()
2261 reg->s32_max_value = min_t(s32, reg->s32_max_value, in __update_reg32_bounds()
2320 reg->s32_max_value = min_t(s32, reg->s32_max_value, (s32)reg->umax_value); in __reg32_deduce_bounds()
2332 reg->s32_max_value = min_t(s32, reg->s32_max_value, (s32)reg->smax_value); in __reg32_deduce_bounds()
2351 reg->s32_max_value = min_t(s32, reg->s32_max_value, (s32)reg->umax_value); in __reg32_deduce_bounds()
2356 reg->s32_max_value = min_t(s32, reg->s32_max_value, (s32)reg->smax_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()
2369 if ((u32)reg->s32_min_value <= (u32)reg->s32_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()
2487 if ((u32)reg->s32_min_value <= (u32)reg->s32_max_value) { in __reg_deduce_mixed_bounds()
2490 new_umax = (reg->umax_value & ~0xffffffffULL) | (u32)reg->s32_max_value; in __reg_deduce_mixed_bounds()
2495 new_smax = (reg->smax_value & ~0xffffffffULL) | (u32)reg->s32_max_value; in __reg_deduce_mixed_bounds()
2531 reg->smax_value = reg->s32_max_value; in __reg_deduce_mixed_bounds()
2533 reg->umax_value = reg->s32_max_value; in __reg_deduce_mixed_bounds()
2583 reg->s32_min_value > reg->s32_max_value) { in reg_bounds_sanity_check()
2604 reg->s32_min_value != sval32 || reg->s32_max_value != sval32) { in reg_bounds_sanity_check()
2617 reg->s32_min_value, reg->s32_max_value, in reg_bounds_sanity_check()
2640 __reg32_bound_s64(reg->s32_max_value)) { in __reg_assign_32_into_64()
2642 reg->smax_value = reg->s32_max_value; in __reg_assign_32_into_64()
2698 reg->s32_max_value = min_t(s32, reg->s32_max_value, s32_max); in __mark_reg_s32_range()
6789 reg->smax_value = reg->s32_max_value = S8_MAX; in set_sext64_default_val()
6792 reg->smax_value = reg->s32_max_value = S16_MAX; in set_sext64_default_val()
6796 reg->smax_value = reg->s32_max_value = S32_MAX; in set_sext64_default_val()
6823 reg->s32_max_value = reg->s32_min_value = u64_cval; in coerce_reg_to_size_sx()
6852 reg->s32_max_value = reg->smax_value = s64_max; in coerce_reg_to_size_sx()
6867 reg->s32_max_value = S8_MAX; in set_sext32_default_val()
6871 reg->s32_max_value = S16_MAX; in set_sext32_default_val()
6892 reg->s32_min_value = reg->s32_max_value = u32_val; in coerce_subreg_to_size_sx()
6897 top_smax_value = ((u32)reg->s32_max_value >> num_bits) << num_bits; in coerce_subreg_to_size_sx()
6905 init_s32_max = (s8)reg->s32_max_value; in coerce_subreg_to_size_sx()
6909 init_s32_max = (s16)reg->s32_max_value; in coerce_subreg_to_size_sx()
6917 reg->s32_max_value = s32_max; in coerce_subreg_to_size_sx()
10827 return range.minval <= reg->s32_min_value && reg->s32_max_value <= range.maxval; in retval_range_within()
10940 ret_reg->s32_max_value = meta->msize_max_value; in do_refine_retval_range()
10949 ret_reg->s32_max_value = nr_cpu_ids - 1; in do_refine_retval_range()
14513 s32 *dst_smax = &dst_reg->s32_max_value; in scalar32_min_max_add()
14518 check_add_overflow(*dst_smax, src_reg->s32_max_value, dst_smax)) { in scalar32_min_max_add()
14553 s32 *dst_smax = &dst_reg->s32_max_value; in scalar32_min_max_sub()
14557 if (check_sub_overflow(*dst_smin, src_reg->s32_max_value, dst_smin) || in scalar32_min_max_sub()
14603 s32 *dst_smax = &dst_reg->s32_max_value; in scalar32_min_max_mul()
14615 check_mul_overflow(*dst_smin, src_reg->s32_max_value, &tmp_prod[1]) || in scalar32_min_max_mul()
14617 check_mul_overflow(*dst_smax, src_reg->s32_max_value, &tmp_prod[3])) { in scalar32_min_max_mul()
14679 dst_reg->s32_max_value = dst_reg->u32_max_value; in scalar32_min_max_and()
14682 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_and()
14742 dst_reg->s32_max_value = dst_reg->u32_max_value; in scalar32_min_max_or()
14745 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_or()
14802 dst_reg->s32_max_value = dst_reg->u32_max_value; in scalar32_min_max_xor()
14805 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_xor()
14846 dst_reg->s32_max_value = S32_MAX; in __scalar32_min_max_lsh()
14885 if (umin_val == 32 && umax_val == 32 && dst_reg->s32_max_value >= 0) in __scalar64_min_max_lsh()
14886 dst_reg->smax_value = (s64)dst_reg->s32_max_value << 32; in __scalar64_min_max_lsh()
14942 dst_reg->s32_max_value = S32_MAX; in scalar32_min_max_rsh()
14995 dst_reg->s32_max_value = (u32)(((s32)dst_reg->s32_max_value) >> umin_val); in scalar32_min_max_arsh()
15044 && src_reg->s32_min_value == src_reg->s32_max_value in is_safe_to_compute_dst_reg_range()
15641 s64 smax1 = is_jmp32 ? (s64)reg1->s32_max_value : reg1->smax_value; in is_scalar_branch_taken()
15645 s64 smax2 = is_jmp32 ? (s64)reg2->s32_max_value : reg2->smax_value; in is_scalar_branch_taken()
15667 if (reg1->s32_min_value > reg2->s32_max_value || in is_scalar_branch_taken()
15668 reg1->s32_max_value < reg2->s32_min_value) in is_scalar_branch_taken()
15691 if (reg1->s32_min_value > reg2->s32_max_value || in is_scalar_branch_taken()
15692 reg1->s32_max_value < reg2->s32_min_value) in is_scalar_branch_taken()
15922 reg1->s32_max_value = min(reg1->s32_max_value, reg2->s32_max_value); in regs_refine_cond_op()
15926 reg2->s32_max_value = reg1->s32_max_value; in regs_refine_cond_op()
15971 if (reg1->s32_max_value == (s32)val) in regs_refine_cond_op()
15972 reg1->s32_max_value--; in regs_refine_cond_op()
16042 reg1->s32_max_value = min(reg1->s32_max_value, reg2->s32_max_value); in regs_refine_cond_op()
16051 reg1->s32_max_value = min(reg1->s32_max_value, reg2->s32_max_value - 1); in regs_refine_cond_op()
18142 old->s32_max_value >= cur->s32_max_value; in range_within()