Как преобразовать llvm IR в c-код?

Есть ли способ преобразовать llvm IR в c-код и сохранить его семантику? Например, можно ли скомпилировать код на языке c сначала в llvm IR, а затем скомпилировать его обратно в другой кусок кода на языке c. Я не ожидаю, что эти два файла будут одинаковыми. Но они должны иметь одинаковую функциональность. Спасибо