[adamnemecek]

I know this is a terrible answer but consider checking out Julia. In Julia, vectorization is a macro, you literally do this

@simd for x in 1:9 factorial *= x end

and the @simd macro handles conversion from loop to simd.