MLton can do it's whole program optimization then output to LLVM which I believe should then be able to do auto-vectorization.
MLton can do it's whole program optimization then output to LLVM which I believe should then be able to do auto-vectorization.