Lines Matching refs:S64_MAX
669 reg->smax_value != S64_MAX) in print_verifier_state()
1212 reg->smax_value = S64_MAX; in __mark_reg_unbounded()
1225 reg->smax_value = S64_MAX; in __mark_reg64_unbounded()
1260 reg->var_off.value | (reg->var_off.mask & S64_MAX)); in __update_reg64_bounds()
2608 reg->smin_value == S64_MIN && reg->smax_value == S64_MAX && in __is_scalar_unbounded()
7069 dst_reg->smax_value = S64_MAX; in adjust_ptr_min_max_vals()
7127 dst_reg->smax_value = S64_MAX; in adjust_ptr_min_max_vals()
7221 dst_reg->smax_value = S64_MAX; in scalar_min_max_add()
7276 dst_reg->smax_value = S64_MAX; in scalar_min_max_sub()
7346 if (dst_reg->umax_value > S64_MAX) { in scalar_min_max_mul()
7349 dst_reg->smax_value = S64_MAX; in scalar_min_max_mul()
7413 dst_reg->smax_value = S64_MAX; in scalar_min_max_and()
7482 dst_reg->smax_value = S64_MAX; in scalar_min_max_or()
7548 dst_reg->smax_value = S64_MAX; in scalar_min_max_xor()
7603 dst_reg->smax_value = S64_MAX; in __scalar64_min_max_lsh()
7688 dst_reg->smax_value = S64_MAX; in scalar_min_max_rsh()