On Sat, Jul 13, 2013 at 11:57 AM, Jonathan S. Shapiro <[email protected]>wrote:

> The other option is to re-consider LLVM. There are now several examples of
> GC'd languages that are successfully targeting LLVM, and the LLVM
> infrastructure is pretty robust at this point. There are bindings for LLVM
> from both C# and Java. For purposes of building the initial compiler, there
> are LLVM bindings available from both Java and C#.
>


This is probably my preference, from the having looked at llvm libraries
from a portability to capability systems point of view (though there is
that c++ hurdle), and IR munching tools like Klee
http://llvm.org/pubs/2008-12-OSDI-KLEE.html

While Klee probably may munch a compiler sized program in a timely fashion,
it would seem useful for standard library and other code fed through the
compiler.   I haven't really looked at it from the IR perspective though
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to