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:

http://halide-lang.org/

Something like that could perhaps also be useful for auto-vectorization.