LLVM、CLang和LLC优化通过

Question

我正在为LLVM实现一个新的后端，从CBackend目标开始。最终目标是使用"llc“来生成输入C代码的源代码转换。然而，我想要做一些优化，这些优化在这种情况下似乎没有得到很好的支持。LLVM目标代码的级别非常低，我必须对其进行检查，以重新发现实际发生的情况。这在AST级别上要简单得多。但是，AST级别似乎是一个Clang内部构造，没有简单的方法可以插入其中。

我是否必须自己检查LLVM目标代码并对更高级别的流程进行逆向工程？(每个后端都必须这样做吗？这看起来很浪费！)

Answer 1

一般来说，你不能对所有的东西都进行反向工程。因此，您只有两种可能性：

1. 在clang AST级别上执行所有操作。
2. 发出附加信息(例如，通过元数据)，这可能有助于您恢复输入源的某些方面。

但实际上，您不应该在LLVM IR级别上进行任何源到源转换，这对于给定的目标来说是错误的工具。你当然可以插入到AST级别。例如，clang源代码包含一个重写器，可以将ObjC代码转换为纯C语言。