> This patch would like to perform the overflow to smode check before IOR > the base2 series, and perform the clean highest bit if the const_vector > overflow to smode occurs. If no overflow, there will do nothing here.
I agree with the general idea but I'm a bit wary fiddling with the coefficients directly. I think for a fixed-size, non VLA vector it should be sufficient to check whether the last step overflows. For VLA we actually know the largest possible runtime vector length and could use it the check? But maybe it's probably easier to bail with VLA anyway. In addition: if we're already checking the step anyway we could get rid of the negative step restriction as well. -- Regards Robin
