Automatic SIMD vectorization for Haskell

Leaf Petersen, Dominic Orchard, Neal Glew
2013 Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13  
Expressing algorithms using immutable arrays greatly simplifies the challenges of automatic SIMD vectorization, since several important classes of dependency violations cannot occur. The Haskell programming language provides libraries for programming with immutable arrays, and compiler support for optimizing them to eliminate the overhead of intermediate temporary arrays. We describe an implementation of automatic SIMD vectorization in a Haskell compiler which gives substantial vector speedups
more » ... or a range of programs written in a natural programming style. We compare performance with that of programs compiled by the Glasgow Haskell Compiler.
doi:10.1145/2500365.2500605 dblp:conf/icfp/PetersenOG13 fatcat:nut5dukzijcifdci7vvqpgn7aq