Hi,
This seems a fantastic job!

Do you have any plan to support LLVM -> target phase, or do you know any project doing something similar?

Thanks in advance.


2013/2/11 Ning Wang <email@ningwang.org>
Hi all,

It is my dream for years to be able to manipulate LLVM in type safe language. I has explored the possibility of reimplementing LLVM in Haskell with Hoopl and made a small step to realize this dream. I am writing to announce the release of HsLlvm v0.1, which is a pure Haskell implementation (Not LLVM C++ binding) of LLVM. It is available through the link below.

https://github.com/mlite/HsLlvm

Hightlight of this release:
- Support LLVM 3.1 syntax
- LLVM normalization
- Dominator, mem2reg, DCE passes


Project goals:
- port all LLVM optimizations
- provide functionalities to generate and manipulate LLVM code.

Since LLVM is a complex IR and there are many sophisticated optimizations, this job won't be easy.  Your contribution would be of value to eventually achieve this goal.

Cheers,
Ning




_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe