使用gcc的中间GIMPLE格式

Question

根据this article gcc在生成代码之前使用了几种中间格式。我读到GIMPLE格式使用三个地址代码，这似乎是最容易使用的中间语言。但是我需要更多细节，因为我需要构建一个可以获取中间代码并在生成最终代码之前插入一些代码的工具。

为此，我首先需要知道如何生成GIMPLE格式代码并将其保存在文件中。所以我正在寻找一些文件和例子。此外，如果有人使用过这些东西，我是否可以知道这项任务的复杂性，即将一些代码插入到中间代码中？

Answer 1

您可能会发现为GCC编写plugin更容易，这将允许您挂钩GIMPLE生成并在GCC中更改它，这将减少保存，编辑然后尝试从GIMPLE表单编译的停机时间。 MELT是一个这样的插件（虽然它提供的方式不仅仅是改变较低级别的表示）。在GIMPLE改变插件上还有一个很好的PDF here。

另外，你可以查看here获取有关GCC GIMPLE如何工作的信息。在倾销GIMPLE方面：

您可以请求使用标志-fdump-tree-gimple转储GIMPLE表单的类C表示。

Answer 2

您可以使用标志-fdump-tree-gimple轻松生成任何文件的GIMPLE表示。

如果你想编写一个插件，那么你可能会对GCC的传递方式感兴趣。您可以使用表单的标志查看每个传递的输出：

-fdump-<ir>-<passname>

ir可能是：

• tree：GIMPLE的过程内通过
• ipa：GIMPLE的过程间通行证
• rtl：RTL的过程内传递

使用<passname> = all查看所有转储，例如-fdump-ipa-all。

Answer 3

我试过了旗帜-fdump-tree-gimple。它仅适用于C / C ++语言，而不适用于其他语言，如Java，Ada，Fortran和Objective-C）