Lines Matching refs:S64_MAX
379 if (reg->smax_value < S64_MAX) { in verbose_invalid_scalar()
1910 reg->smax_value = S64_MAX; in __mark_reg_unbounded()
1923 reg->smax_value = S64_MAX; in __mark_reg64_unbounded()
1958 reg->var_off.value | (reg->var_off.mask & S64_MAX)); in __update_reg64_bounds()
13379 dst_reg->smax_value = S64_MAX; in adjust_ptr_min_max_vals()
13431 dst_reg->smax_value = S64_MAX; in adjust_ptr_min_max_vals()
13512 *dst_smax = S64_MAX; in scalar_min_max_add()
13558 *dst_smax = S64_MAX; in scalar_min_max_sub()
13625 if (dst_reg->umax_value > S64_MAX) { in scalar_min_max_mul()
13628 dst_reg->smax_value = S64_MAX; in scalar_min_max_mul()
13692 dst_reg->smax_value = S64_MAX; in scalar_min_max_and()
13755 dst_reg->smax_value = S64_MAX; in scalar_min_max_or()
13813 dst_reg->smax_value = S64_MAX; in scalar_min_max_xor()
13868 dst_reg->smax_value = S64_MAX; in __scalar64_min_max_lsh()
13953 dst_reg->smax_value = S64_MAX; in scalar_min_max_rsh()