Lines Matching refs:S64_MAX
901 reg->smax_value != S64_MAX) in print_verifier_state()
1448 reg->smax_value = S64_MAX; in __mark_reg_unbounded()
1461 reg->smax_value = S64_MAX; in __mark_reg64_unbounded()
1496 reg->var_off.value | (reg->var_off.mask & S64_MAX)); in __update_reg64_bounds()
2983 reg->smin_value == S64_MIN && reg->smax_value == S64_MAX && in __is_scalar_unbounded()
8318 dst_reg->smax_value = S64_MAX; in adjust_ptr_min_max_vals()
8376 dst_reg->smax_value = S64_MAX; in adjust_ptr_min_max_vals()
8466 dst_reg->smax_value = S64_MAX; in scalar_min_max_add()
8521 dst_reg->smax_value = S64_MAX; in scalar_min_max_sub()
8591 if (dst_reg->umax_value > S64_MAX) { in scalar_min_max_mul()
8594 dst_reg->smax_value = S64_MAX; in scalar_min_max_mul()
8658 dst_reg->smax_value = S64_MAX; in scalar_min_max_and()
8727 dst_reg->smax_value = S64_MAX; in scalar_min_max_or()
8793 dst_reg->smax_value = S64_MAX; in scalar_min_max_xor()
8848 dst_reg->smax_value = S64_MAX; in __scalar64_min_max_lsh()
8933 dst_reg->smax_value = S64_MAX; in scalar_min_max_rsh()