It's called Distill; it lowers your code to LLVM IR. http://www.cs.yale.edu/homes/abhishek/jvesely-cgo22.pdf