Lines Matching refs:u32_min_value
919 if (reg->u32_min_value != reg->umin_value && in print_verifier_state()
920 reg->u32_min_value != U32_MIN) in print_verifier_state()
921 verbose_a("u32_min=%d", (int)(reg->u32_min_value)); in print_verifier_state()
1341 reg->u32_min_value = (u32)imm; in ___mark_reg_known()
1361 reg->u32_min_value = (u32)imm; in __mark_reg32_known()
1454 reg->u32_min_value = 0; in __mark_reg_unbounded()
1470 reg->u32_min_value = 0; in __mark_reg32_unbounded()
1484 reg->u32_min_value = max_t(u32, reg->u32_min_value, (u32)var32_off.value); in __update_reg32_bounds()
1517 reg->s32_min_value = reg->u32_min_value = in __reg32_deduce_bounds()
1518 max_t(u32, reg->s32_min_value, reg->u32_min_value); in __reg32_deduce_bounds()
1530 reg->s32_min_value = reg->u32_min_value; in __reg32_deduce_bounds()
1533 } else if ((s32)reg->u32_min_value < 0) { in __reg32_deduce_bounds()
1537 reg->s32_min_value = reg->u32_min_value = in __reg32_deduce_bounds()
1538 max_t(u32, reg->s32_min_value, reg->u32_min_value); in __reg32_deduce_bounds()
1590 tnum_range(reg->u32_min_value, in __reg_bound_offset()
1618 reg->umin_value = reg->u32_min_value; in __reg_assign_32_into_64()
1674 reg->u32_min_value = (u32)reg->umin_value; in __reg_combine_64_into_32()
2986 reg->u32_min_value == 0 && reg->u32_max_value == U32_MAX; in __is_scalar_unbounded()
8434 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_add()
8445 if (dst_reg->u32_min_value + umin_val < umin_val || in scalar32_min_max_add()
8447 dst_reg->u32_min_value = 0; in scalar32_min_max_add()
8450 dst_reg->u32_min_value += umin_val; in scalar32_min_max_add()
8486 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_sub()
8498 if (dst_reg->u32_min_value < umax_val) { in scalar32_min_max_sub()
8500 dst_reg->u32_min_value = 0; in scalar32_min_max_sub()
8504 dst_reg->u32_min_value -= umax_val; in scalar32_min_max_sub()
8541 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_mul()
8557 dst_reg->u32_min_value *= umin_val; in scalar32_min_max_mul()
8564 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_mul()
8618 dst_reg->u32_min_value = var32_off.value; in scalar32_min_max_and()
8630 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_and()
8677 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_or()
8687 dst_reg->u32_min_value = max(dst_reg->u32_min_value, umin_val); in scalar32_min_max_or()
8699 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_or()
8753 dst_reg->u32_min_value = var32_off.value; in scalar32_min_max_xor()
8760 dst_reg->s32_min_value = dst_reg->u32_min_value; in scalar32_min_max_xor()
8809 dst_reg->u32_min_value = 0; in __scalar32_min_max_lsh()
8812 dst_reg->u32_min_value <<= umin_val; in __scalar32_min_max_lsh()
8821 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_lsh()
8885 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_rsh()
8905 dst_reg->u32_min_value >>= umax_val; in scalar32_min_max_rsh()
8949 u64 umin_val = src_reg->u32_min_value; in scalar32_min_max_arsh()
8962 dst_reg->u32_min_value = 0; in scalar32_min_max_arsh()
9023 u32_min_val = src_reg.u32_min_value; in adjust_scalar_min_max_vals()
9515 if (reg->u32_min_value > val) in is_branch32_taken()
9529 else if (reg->u32_min_value >= val) in is_branch32_taken()
9539 if (reg->u32_min_value >= val) in is_branch32_taken()
9553 else if (reg->u32_min_value > val) in is_branch32_taken()
9812 true_reg->u32_min_value = max(true_reg->u32_min_value, in reg_set_min_max()
9848 false_reg->u32_min_value = max(false_reg->u32_min_value, in reg_set_min_max()
11365 old->u32_min_value <= cur->u32_min_value && in range_within()