从Haskell生成矢量代码？

Question

是否有可能让GHC为各代SSE生成SIMD代码？

EG。得到了这样的程序

import Data.Array.Vector
main = print . sumU $ (enumFromToFracU 1 10000000 :: UArr Double)

我可以看到生成的代码（为64位x86编译）在标量模式下使用SSE指令（C和asm后端）。所以加上而不是addpd。对于我工作的程序类型，使用向量指令对性能很重要。是否有一种简单的方法让像我这样的新手让GHC使用SSE SIMDize代码？

Answer 1

是的，有可能，通过C后端，但它是反复试验。 我使用的标志：

 gcc -O2 -funbox-strict-fields -fvia-C -optc-O3 -march=native -optc-msse4

然后希望GCC通过uvector代码发现GHC产生的紧密循环，并意识到存在SIMD潜力。