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

[Carter Schonwald]

Hey Ning,
impressive start and I look forward to seeing how this evolves!

best
-Carter


On Tue, Feb 12, 2013 at 12:37 AM, Ning Wang <email at ningwang.org> wrote:

>  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>
>
>> 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
>> http://www.haskell.org/mailman/listinfo/haskell-cafe
>>
>
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> 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/20130212/5ed26ac7/attachment.htm>