Lines Matching refs:S64_MIN
1408 reg->smin_value != S64_MIN) in print_verifier_state()
2029 reg->smin_value = S64_MIN; in __mark_reg_unbounded()
2042 reg->smin_value = S64_MIN; in __mark_reg64_unbounded()
2075 reg->var_off.value | (reg->var_off.mask & S64_MIN)); in __update_reg64_bounds()
4234 reg->smin_value == S64_MIN && reg->smax_value == S64_MAX && in __is_scalar_unbounded()
4913 (reg->smin_value == S64_MIN || in check_mem_region_access()
11688 if (smin == S64_MIN) { in check_reg_sane_offset()
12140 dst_reg->smin_value = S64_MIN; in adjust_ptr_min_max_vals()
12198 dst_reg->smin_value = S64_MIN; in adjust_ptr_min_max_vals()
12288 dst_reg->smin_value = S64_MIN; in scalar_min_max_add()
12343 dst_reg->smin_value = S64_MIN; in scalar_min_max_sub()
12416 dst_reg->smin_value = S64_MIN; in scalar_min_max_mul()
12480 dst_reg->smin_value = S64_MIN; in scalar_min_max_and()
12549 dst_reg->smin_value = S64_MIN; in scalar_min_max_or()
12615 dst_reg->smin_value = S64_MIN; in scalar_min_max_xor()
12676 dst_reg->smin_value = S64_MIN; in __scalar64_min_max_lsh()
12755 dst_reg->smin_value = S64_MIN; in scalar_min_max_rsh()