loops - 从 Haskell 生成矢量代码？

Question

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

例如。有这样的程序

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

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

Answer 1

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

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

然后希望 GCC 发现 GHC 通过 uvector 代码生成的紧密循环，并实现 SIMD 的潜力。