[LLVMdev] llvm compilation of libc?

[arrowdodger]

On Thu, Jun 23, 2011 at 10:07 AM, Gregory Malecha <gmalecha at eecs.harvard.edu
> wrote:

> Hello,
>
> I'm wondering if anyone had any success (even a small amount) compiling any
> variant of libc to llvm bitcode?
>

uclibc can be compiled into .bc. Check out http://klee.llvm.org/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110623/8c031db6/attachment.html>