Lines Matching refs:S64_MAX
397 if (reg->smax_value < S64_MAX) { in verbose_invalid_scalar()
2334 reg->smax_value = S64_MAX; in __mark_reg_unbounded()
2347 reg->smax_value = S64_MAX; in __mark_reg64_unbounded()
2397 reg->var_off.value | (reg->var_off.mask & S64_MAX)); in __update_reg64_bounds()
14996 dst_reg->smax_value = S64_MAX; in adjust_ptr_min_max_vals()
15048 dst_reg->smax_value = S64_MAX; in adjust_ptr_min_max_vals()
15151 *dst_smax = S64_MAX; in scalar_min_max_add()
15215 *dst_smax = S64_MAX; in scalar_min_max_sub()
15281 *dst_smax = S64_MAX; in scalar_min_max_mul()
15316 dst_reg->smax_value = S64_MAX; in scalar_min_max_udiv()
15377 *dst_smax = S64_MAX; in scalar_min_max_sdiv()
15438 dst_reg->smax_value = S64_MAX; in scalar_min_max_umod()
15591 dst_reg->smax_value = S64_MAX; in scalar_min_max_and()
15654 dst_reg->smax_value = S64_MAX; in scalar_min_max_or()
15712 dst_reg->smax_value = S64_MAX; in scalar_min_max_xor()
15766 dst_reg->smax_value = S64_MAX; in __scalar64_min_max_lsh()
15848 dst_reg->smax_value = S64_MAX; in scalar_min_max_rsh()