but you can write it in a way that's conducive to better codegen, at the cost of developer sanity.
Re:Java and SIMD
by vanderZwan on Wednesday June 28, 2017 @07:52AM
(#14653309)
Or you can design a language that is built all around it. Halide is pretty interesting, basically being a non-Turing complete DSL that lets you separate algorithm from scheduling:
Something like that could perhaps also be useful for auto-vectorization.
This varies very heavily depending on the programming language :)
C/C++ is not a language that easily enables one to guarantee things about aliasing or loop dependence.