Lines Matching refs:S32_MIN
1435 reg->s32_min_value != S32_MIN) in print_verifier_state()
2249 reg->s32_min_value = S32_MIN; in __mark_reg_unbounded()
2265 reg->s32_min_value = S32_MIN; in __mark_reg32_unbounded()
2277 var32_off.value | (var32_off.mask & S32_MIN)); in __update_reg32_bounds()
2455 return a >= S32_MIN && a <= S32_MAX; in __reg64_bound_s32()
4487 reg->s32_min_value == S32_MIN && reg->s32_max_value == S32_MAX && in __is_scalar_unbounded()
6079 reg->smin_value = reg->s32_min_value = S32_MIN; in set_sext64_default_val()
12687 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_add()
12740 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_sub()
12809 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_mul()
12872 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_and()
12941 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_or()
13011 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_xor()
13053 dst_reg->s32_min_value = S32_MIN; in __scalar32_min_max_lsh()
13149 dst_reg->s32_min_value = S32_MIN; in scalar32_min_max_rsh()