GaloisInc/halvm-ghc — pull request #1 by TomMD (2014-05-30 16:20:37+00:00)
Title: Intrinsics

The first patch includes:

AES NI (useful for many things)
MMX, SSE, SSE2 (needed for NI)
PCLMUL (needed for NI)
POPCNT (just something stand-alone that is often useful)

The second patch includes:

SSE3 and SSSE3

If these are all acceptable then I'll follow up with AVX and AVX2 intrinsics. However, due to their packaging that patch will have to include SSE4.2, BMI (bit manip), BMI2, LZCNT (leading zero), FMA (fused multiply add), RDRAND, and RTM (transactional memory).

Source:
clang 3.3 headers with rather permissive license. Thank you clang!