Générer du code vectoriel à partir de Haskell?

Question

Est-il possible que GHC produise du code SIMD pour les différentes générations de SSE?

Par exemple. a obtenu un programme comme celui-ci

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

Je peux voir le code généré (compilé 64 bits x86) utilisent des instructions SSE en mode scalaire (les backends C et asm). Donc ajoute plutôt que addpd. Pour les types de programmes que je travaille sur l'utilisation d'instructions vectorielles est important pour la performance. Existe-t-il un moyen facile pour un débutant comme moi d'amener GHC à SIMDize le code en utilisant SSE?

Answer 1

Oui, c'est possible, via le backend C, mais c'est une tentative et une erreur. Les drapeaux que j'utilise:

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

Alors espérons que la boucle GCC voit serré GHC génère via le code uvector, et se rend compte qu'il est possible SIMD.