
My focus is on - Providing util to support developing LLVM->LLVM transformation - Providing EDSL to generate LLVM code (I'm thinking of something like alphaHeavy's LLVM combinators) I'm not aware of other effort to do native code generation from LLVM in Haskell. You can build them with HsLlvm, if there is a need to support your work, please let me know. I believe the new GHC code generator is based on Hoopl, you might get inspiration from it. Cheers, Ning On 02/11/2013 03:13 AM, Alejandro Serrano Mena wrote:
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
mailto: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 mailto:Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe