<div dir="ltr">Hey Ning,<div style>impressive start and I look forward to seeing how this evolves! </div><div style><br></div><div style>best</div><div style>-Carter</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">
On Tue, Feb 12, 2013 at 12:37 AM, Ning Wang <span dir="ltr"><<a href="mailto:email@ningwang.org" target="_blank">email@ningwang.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000">
<div>My focus is on<br>
<br>
- Providing util to support developing LLVM->LLVM
transformation<br>
- Providing EDSL to generate LLVM code (I'm thinking of something
like alphaHeavy's LLVM combinators)<br>
<br>
I'm not aware of other effort to do native code generation from
LLVM in Haskell. <br>
<br>
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. <br>
<br>
Cheers,<br>
Ning<div><div class="h5"><br>
<br>
<br>
On 02/11/2013 03:13 AM, Alejandro Serrano Mena wrote:<br>
</div></div></div><div><div class="h5">
<blockquote type="cite">
<div dir="ltr">Hi,
<div>This seems a fantastic job!</div>
<div><br>
</div>
<div>Do you have any plan to support LLVM -> target
phase, or do you know any project doing something similar?</div>
<div><br>
</div>
<div>Thanks in advance.</div>
</div>
<div class="gmail_extra"><br>
<br>
<div class="gmail_quote">2013/2/11 Ning Wang <span dir="ltr"><<a href="mailto:email@ningwang.org" target="_blank">email@ningwang.org</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi all,<br>
<br>
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.<br>
<br>
<a href="https://github.com/mlite/HsLlvm" target="_blank">https://github.com/mlite/HsLlvm</a><br>
<br>
Hightlight of this release:<br>
- Support LLVM 3.1 syntax<br>
- LLVM normalization<br>
- Dominator, mem2reg, DCE passes<br>
<br>
<br>
Project goals:<br>
- port all LLVM optimizations<br>
- provide functionalities to generate and manipulate LLVM
code.<br>
<br>
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.<br>
<br>
Cheers,<br>
Ning<br>
<br>
<br>
<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</blockquote>
</div>
<br>
</div>
</blockquote>
<br>
</div></div></div>
<br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br></div>