Lines Matching refs:s32_min_value
1762 reg->s32_min_value = (s32)imm; in ___mark_reg_known()
1784 reg->s32_min_value = (s32)imm; in __mark_reg32_known()
1914 reg->s32_min_value = S32_MIN; in __mark_reg_unbounded()
1930 reg->s32_min_value = S32_MIN; in __mark_reg32_unbounded()
1941 reg->s32_min_value = max_t(s32, reg->s32_min_value, in __update_reg32_bounds()
2002 reg->s32_min_value = max_t(s32, reg->s32_min_value, (s32)reg->umin_value); in __reg32_deduce_bounds()
2014 reg->s32_min_value = max_t(s32, reg->s32_min_value, (s32)reg->smin_value); in __reg32_deduce_bounds()
2033 reg->s32_min_value = max_t(s32, reg->s32_min_value, (s32)reg->umin_value); in __reg32_deduce_bounds()
2038 reg->s32_min_value = max_t(s32, reg->s32_min_value, (s32)reg->smin_value); in __reg32_deduce_bounds()
2045 reg->s32_min_value = max_t(s32, reg->s32_min_value, reg->u32_min_value); in __reg32_deduce_bounds()
2052 if ((u32)reg->s32_min_value <= (u32)reg->s32_max_value) { in __reg32_deduce_bounds()
2053 reg->u32_min_value = max_t(u32, reg->s32_min_value, reg->u32_min_value); in __reg32_deduce_bounds()
2170 if ((u32)reg->s32_min_value <= (u32)reg->s32_max_value) { in __reg_deduce_mixed_bounds()
2172 new_umin = (reg->umin_value & ~0xffffffffULL) | (u32)reg->s32_min_value; in __reg_deduce_mixed_bounds()
2177 new_smin = (reg->smin_value & ~0xffffffffULL) | (u32)reg->s32_min_value; in __reg_deduce_mixed_bounds()
2212 if (reg->s32_min_value >= 0 && reg->smin_value >= S32_MIN && reg->smax_value <= S32_MAX) { in __reg_deduce_mixed_bounds()
2213 reg->smin_value = reg->s32_min_value; in __reg_deduce_mixed_bounds()
2215 reg->umin_value = reg->s32_min_value; in __reg_deduce_mixed_bounds()
2266 reg->s32_min_value > reg->s32_max_value) { in reg_bounds_sanity_check()
2287 reg->s32_min_value != sval32 || reg->s32_max_value != sval32) { in reg_bounds_sanity_check()
2300 reg->s32_min_value, reg->s32_max_value, in reg_bounds_sanity_check()
2322 if (__reg32_bound_s64(reg->s32_min_value) && in __reg_assign_32_into_64()
2324 reg->smin_value = reg->s32_min_value; in __reg_assign_32_into_64()
2380 reg->s32_min_value = max_t(s32, reg->s32_min_value, s32_min); in __mark_reg_s32_range()
6279 reg->smin_value = reg->s32_min_value = S8_MIN; in set_sext64_default_val()
6282 reg->smin_value = reg->s32_min_value = S16_MIN; in set_sext64_default_val()
6286 reg->smin_value = reg->s32_min_value = S32_MIN; in set_sext64_default_val()
6314 reg->s32_max_value = reg->s32_min_value = u64_cval; in coerce_reg_to_size_sx()
6342 reg->s32_min_value = reg->smin_value = s64_min; in coerce_reg_to_size_sx()
6357 reg->s32_min_value = S8_MIN; in set_sext32_default_val()
6361 reg->s32_min_value = S16_MIN; in set_sext32_default_val()
6383 reg->s32_min_value = reg->s32_max_value = u32_val; in coerce_subreg_to_size_sx()
6389 top_smin_value = ((u32)reg->s32_min_value >> num_bits) << num_bits; in coerce_subreg_to_size_sx()
6397 init_s32_min = (s8)reg->s32_min_value; in coerce_subreg_to_size_sx()
6401 init_s32_min = (s16)reg->s32_min_value; in coerce_subreg_to_size_sx()
6407 reg->s32_min_value = s32_min; in coerce_subreg_to_size_sx()
10070 return range.minval <= reg->s32_min_value && reg->s32_max_value <= range.maxval; in retval_range_within()
10197 ret_reg->s32_min_value = -MAX_ERRNO; in do_refine_retval_range()
10208 ret_reg->s32_min_value = 0; in do_refine_retval_range()
13484 s32 *dst_smin = &dst_reg->s32_min_value; in scalar32_min_max_add()
13489 if (check_add_overflow(*dst_smin, src_reg->s32_min_value, dst_smin) || in scalar32_min_max_add()
13524 s32 *dst_smin = &dst_reg->s32_min_value; in scalar32_min_max_sub()
13530 check_sub_overflow(*dst_smax, src_reg->s32_min_value, dst_smax)) { in scalar32_min_max_sub()
13574 s32 smin_val = src_reg->s32_min_value; in scalar32_min_max_mul()
13578 if (smin_val < 0 || dst_reg->s32_min_value < 0) { in scalar32_min_max_mul()
13595 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_mul()
13598 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_mul()
13658 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_and()
13661 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_and()
13721 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_or()
13724 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_or()
13781 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_xor()
13784 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_xor()
13825 dst_reg->s32_min_value = S32_MIN; in __scalar32_min_max_lsh()
13870 if (umin_val == 32 && umax_val == 32 && dst_reg->s32_min_value >= 0) in __scalar64_min_max_lsh()
13871 dst_reg->smin_value = (s64)dst_reg->s32_min_value << 32; in __scalar64_min_max_lsh()
13921 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_rsh()
13974 dst_reg->s32_min_value = (u32)(((s32)dst_reg->s32_min_value) >> umin_val); in scalar32_min_max_arsh()
14024 && src_reg->s32_min_value == src_reg->s32_max_value in is_safe_to_compute_dst_reg_range()
14620 s64 smin1 = is_jmp32 ? (s64)reg1->s32_min_value : reg1->smin_value; in is_scalar_branch_taken()
14624 s64 smin2 = is_jmp32 ? (s64)reg2->s32_min_value : reg2->smin_value; in is_scalar_branch_taken()
14647 if (reg1->s32_min_value > reg2->s32_max_value || in is_scalar_branch_taken()
14648 reg1->s32_max_value < reg2->s32_min_value) in is_scalar_branch_taken()
14671 if (reg1->s32_min_value > reg2->s32_max_value || in is_scalar_branch_taken()
14672 reg1->s32_max_value < reg2->s32_min_value) in is_scalar_branch_taken()
14901 reg1->s32_min_value = max(reg1->s32_min_value, reg2->s32_min_value); in regs_refine_cond_op()
14905 reg2->s32_min_value = reg1->s32_min_value; in regs_refine_cond_op()
14949 if (reg1->s32_min_value == (s32)val) in regs_refine_cond_op()
14950 reg1->s32_min_value++; in regs_refine_cond_op()
15023 reg2->s32_min_value = max(reg1->s32_min_value, reg2->s32_min_value); in regs_refine_cond_op()
15032 reg2->s32_min_value = max(reg1->s32_min_value + 1, reg2->s32_min_value); in regs_refine_cond_op()
17054 old->s32_min_value <= cur->s32_min_value && in range_within()