Lines Matching refs:s32_min_value
913 if (reg->s32_min_value != reg->smin_value && in print_verifier_state()
914 reg->s32_min_value != S32_MIN) in print_verifier_state()
915 verbose_a("s32_min=%d", (int)(reg->s32_min_value)); in print_verifier_state()
1343 reg->s32_min_value = (s32)imm; in ___mark_reg_known()
1363 reg->s32_min_value = (s32)imm; in __mark_reg32_known()
1456 reg->s32_min_value = S32_MIN; in __mark_reg_unbounded()
1472 reg->s32_min_value = S32_MIN; in __mark_reg32_unbounded()
1483 reg->s32_min_value = max_t(s32, reg->s32_min_value, in __update_reg32_bounds()
1520 if (reg->s32_min_value >= 0 || reg->s32_max_value < 0) { in __reg32_deduce_bounds()
1521 reg->s32_min_value = reg->u32_min_value = in __reg32_deduce_bounds()
1522 max_t(u32, reg->s32_min_value, reg->u32_min_value); in __reg32_deduce_bounds()
1534 reg->s32_min_value = reg->u32_min_value; in __reg32_deduce_bounds()
1541 reg->s32_min_value = reg->u32_min_value = in __reg32_deduce_bounds()
1542 max_t(u32, reg->s32_min_value, reg->u32_min_value); in __reg32_deduce_bounds()
1629 if (__reg32_bound_s64(reg->s32_min_value) && in __reg_assign_32_into_64()
1631 reg->smin_value = reg->s32_min_value; in __reg_assign_32_into_64()
1674 reg->s32_min_value = (s32)reg->smin_value; in __reg_combine_64_into_32()
2996 reg->s32_min_value == S32_MIN && reg->s32_max_value == S32_MAX && in __is_scalar_unbounded()
7064 ret_reg->s32_min_value = -MAX_ERRNO; in do_refine_retval_range()
8449 s32 smin_val = src_reg->s32_min_value; in scalar32_min_max_add()
8454 if (signed_add32_overflows(dst_reg->s32_min_value, smin_val) || in scalar32_min_max_add()
8456 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_add()
8459 dst_reg->s32_min_value += smin_val; in scalar32_min_max_add()
8501 s32 smin_val = src_reg->s32_min_value; in scalar32_min_max_sub()
8506 if (signed_sub32_overflows(dst_reg->s32_min_value, smax_val) || in scalar32_min_max_sub()
8509 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_sub()
8512 dst_reg->s32_min_value -= smax_val; in scalar32_min_max_sub()
8557 s32 smin_val = src_reg->s32_min_value; in scalar32_min_max_mul()
8561 if (smin_val < 0 || dst_reg->s32_min_value < 0) { in scalar32_min_max_mul()
8578 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_mul()
8581 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_mul()
8624 s32 smin_val = src_reg->s32_min_value; in scalar32_min_max_and()
8637 if (dst_reg->s32_min_value < 0 || smin_val < 0) { in scalar32_min_max_and()
8641 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_and()
8647 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_and()
8693 s32 smin_val = src_reg->s32_min_value; in scalar32_min_max_or()
8706 if (dst_reg->s32_min_value < 0 || smin_val < 0) { in scalar32_min_max_or()
8710 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_or()
8716 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_or()
8762 s32 smin_val = src_reg->s32_min_value; in scalar32_min_max_xor()
8773 if (dst_reg->s32_min_value >= 0 && smin_val >= 0) { in scalar32_min_max_xor()
8777 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_xor()
8780 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_xor()
8822 dst_reg->s32_min_value = S32_MIN; in __scalar32_min_max_lsh()
8867 if (umin_val == 32 && umax_val == 32 && dst_reg->s32_min_value >= 0) in __scalar64_min_max_lsh()
8868 dst_reg->smin_value = (s64)dst_reg->s32_min_value << 32; in __scalar64_min_max_lsh()
8918 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_rsh()
8971 dst_reg->s32_min_value = (u32)(((s32)dst_reg->s32_min_value) >> umin_val); in scalar32_min_max_arsh()
9038 s32_min_val = src_reg.s32_min_value; in adjust_scalar_min_max_vals()
9543 if (reg->s32_min_value > sval) in is_branch32_taken()
9557 else if (reg->s32_min_value >= sval) in is_branch32_taken()
9567 if (reg->s32_min_value >= sval) in is_branch32_taken()
9581 else if (reg->s32_min_value > sval) in is_branch32_taken()
9853 true_reg->s32_min_value = max(true_reg->s32_min_value, true_smin); in reg_set_min_max()
9890 false_reg->s32_min_value = max(false_reg->s32_min_value, false_smin); in reg_set_min_max()
11389 old->s32_min_value <= cur->s32_min_value && in range_within()