Lines Matching refs:S64_MAX
1411 reg->smax_value != S64_MAX) in print_verifier_state()
2030 reg->smax_value = S64_MAX; in __mark_reg_unbounded()
2043 reg->smax_value = S64_MAX; in __mark_reg64_unbounded()
2078 reg->var_off.value | (reg->var_off.mask & S64_MAX)); in __update_reg64_bounds()
4234 reg->smin_value == S64_MIN && reg->smax_value == S64_MAX && in __is_scalar_unbounded()
12141 dst_reg->smax_value = S64_MAX; in adjust_ptr_min_max_vals()
12199 dst_reg->smax_value = S64_MAX; in adjust_ptr_min_max_vals()
12289 dst_reg->smax_value = S64_MAX; in scalar_min_max_add()
12344 dst_reg->smax_value = S64_MAX; in scalar_min_max_sub()
12414 if (dst_reg->umax_value > S64_MAX) { in scalar_min_max_mul()
12417 dst_reg->smax_value = S64_MAX; in scalar_min_max_mul()
12481 dst_reg->smax_value = S64_MAX; in scalar_min_max_and()
12550 dst_reg->smax_value = S64_MAX; in scalar_min_max_or()
12616 dst_reg->smax_value = S64_MAX; in scalar_min_max_xor()
12671 dst_reg->smax_value = S64_MAX; in __scalar64_min_max_lsh()
12756 dst_reg->smax_value = S64_MAX; in scalar_min_max_rsh()