[bitc-dev] C--- and LLVM
smagi at higherlogics.com
Wed Mar 10 20:03:32 PST 2010
Haskell is migrating away from their C-- backend, and they also have a
new LLVM backend which is generating quite a bit of buzz. With
Haskell, OCaml, and ATS bindings, LLVM is the backend of choice.
I'm not too concerned about the unsafe language behind LLVM, as there
wasn't much choice at the time for domains LLVM is used. If it truly
becomes a concern, some intrepid PhD candidate will devise an LLVM
pass or two that verifies some properties of the generated code ala
TALx86 or PCC.
On 2010-03-10, at 22:03, "Jonathan S. Shapiro" <shap at eros-os.org> wrote:
> Just went back to see what the state of C-- is these days.
> Regrettably it seems like something we shouldn't use, for two reasons:
> 1. The discussion list is nearly idle.
> 2. The only current implemenation relies on ML, which seems like a
> bad dependency for us.
> LLVM, by contrast, is alive, well, and implemented in an unsafe
> language. Oh well.
> bitc-dev mailing list
> bitc-dev at coyotos.org
More information about the bitc-dev