[llvm-dev] reg. LLVM front-ends

Rasika Sapate via llvm-dev llvm-dev at lists.llvm.org
Sun Mar 5 20:24:37 PST 2017


Dear LLVM Community,
I am Rasika Sapate, masters student at Indian Institute of Technology,
Hyderabad. We are writing a translator to convert LLVM IR into goto IR. It
is intermediate representation for CBMC(Bounded Model Checker for C, C++
programs). I would like to know which front-ends are currently supported by
LLVM and their maturity levels(language features supported).

Thanks and regards,
Rasika Sapate.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170306/e5491149/attachment.html>


More information about the llvm-dev mailing list