Lines Matching refs:S64_MAX
618 reg->smax_value != S64_MAX) in print_verifier_state()
1104 reg->smax_value = S64_MAX; in __mark_reg_unbounded()
1117 reg->smax_value = S64_MAX; in __mark_reg64_unbounded()
1152 reg->var_off.value | (reg->var_off.mask & S64_MAX)); in __update_reg64_bounds()
2237 reg->smin_value == S64_MIN && reg->smax_value == S64_MAX && in __is_scalar_unbounded()
5570 dst_reg->smax_value = S64_MAX; in adjust_ptr_min_max_vals()
5633 dst_reg->smax_value = S64_MAX; in adjust_ptr_min_max_vals()
5736 dst_reg->smax_value = S64_MAX; in scalar_min_max_add()
5791 dst_reg->smax_value = S64_MAX; in scalar_min_max_sub()
5861 if (dst_reg->umax_value > S64_MAX) { in scalar_min_max_mul()
5864 dst_reg->smax_value = S64_MAX; in scalar_min_max_mul()
5930 dst_reg->smax_value = S64_MAX; in scalar_min_max_and()
6000 dst_reg->smax_value = S64_MAX; in scalar_min_max_or()
6067 dst_reg->smax_value = S64_MAX; in scalar_min_max_xor()
6122 dst_reg->smax_value = S64_MAX; in __scalar64_min_max_lsh()
6207 dst_reg->smax_value = S64_MAX; in scalar_min_max_rsh()