Конвертация с LLVM
Я работал над проектом по преобразованию языка C+ACSL в другой язык, сначала преобразовав его в LLVM IR, а затем преобразовав его в другой язык. Я не могу сказать об этом, потому что это связано с группой людей, которые не хотят раскрывать это, поэтому мы не будем говорить об этом, но это очень близко к C. Я завершил работу до LLVM IR, а также написано, чтобы преобразовать его обратно, с помощью CBackend, но я действительно не знаю, как его использовать, означает, как я должен запустить это в свой LLVM IR. Есть ли в LLVM команда для этого или что-то, что может мне помочь.
ОБНОВЛЕНИЕ 1 Мой вход - LLVM IR, и выходной сигнал будет C-подобным кодом, а не C, поскольку он будет следовать синтаксису, отличному от C.