Rellic produces goto-free C output from LLVM bitcode - View it on GitHub