Efficient Selection of Vector Instructions Using Dynamic Programming
Vectorization for SIMD architectures with alignment constraints