Add support for LLVM type-based alias analysis and loop vectorization.