[Haskell-cafe] [Announcement] HsLlvm v0.1: Using Hoopl to optimize LLVM Code

[Ning Wang]

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 <email at ningwang.org <mailto:email at 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 at haskell.org <mailto:Haskell-Cafe at haskell.org>
>     http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130211/0c71d9ca/attachment.htm>