最初にLLVM IRに変換してから別の言語に変換することにより、C + ACSL言語を別の言語に変換するプロジェクトに取り組んでいました。開示したくない一部の人々のグループに関連しているため、それについては言えません。それについては触れませんが、C に非常に近いものです。私は LLVM IR までの作業を完了し、 CBackend の助けを借りて、それを元に戻すように書かれていますが、私はそれを使用する方法を本当に知りません。それを行うためのLLVMのコマンド、または私を助けることができるものはありますか?
更新 1 私の入力は LLVM IR であり、出力は C とは異なる構文に従うため、C ではなく C のようなコードになります。