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

[Alejandro Serrano Mena]

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>

> 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 <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
> http://www.haskell.org/**mailman/listinfo/haskell-cafe<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/a5283de5/attachment.htm>