我正在做一些项目，通过先将 C+ACSL 语言转换为另一种语言，先将其转换为 LLVM IR，然后再将其转换为另一种语言。这个我说不上来，因为和一群不想公开的人有关，所以我们就不说了，但是和C很接近。我已经完成了LLVM IR的工作，也有在 CBackend 的帮助下编写将其转换回来，但我真的不知道如何使用它，这意味着我应该如何将它运行到我的 LLVM IR 中。LLVM 中是否有用于执行此操作的命令，或者可以帮助我的东西。
更新 1 我的输入是 LLVM IR，输出将是类似 C 的代码，而不是 C，因为它将遵循与 C 不同的语法。