搜索最近的 GCC GIMPLE 语法

Question

对于我的最后一年项目，我正在学习编译器技术，目前我正在尝试使用 GCC 中间表示（raw GIMPLE）并获得使用 GCC-5.4 来自不同源文件（C、Cpp 和 Java）的控制流程图。

到目前为止，我可以使用 -fdump-tree-all-graph-raw 生成 *.004t.gimple 和 *.011t.cfg 原始文件，但后来我希望了解更多 GIMPLE 语言，所以我搜索了它的 grammar 我发现了这个：

• GIMPLE WIKI
• SIMPLE
• GENERIC and GIMPLE
• latest GIMPLE Doc（没有语法！！！）
• GCC FE
• grammar for gcc-4.3.6
• grammar for gcc-4.2.1
• GIMPLE Doc for gcc-5.4.0（也没有语法！！！）

所以语言似乎在不断变化并且有多种格式（High level GIMPLE、Low_level_GIMPLE、SSA GIMPLE、tree ) 并且语法似乎在版本之间不断变化，但我找不到最新版本的 GIMPLE 语法，特别是 GCC-5.4 中使用的语法，我无法理解不同的格式。

语法问题：

• 在哪里可以找到 GCC-5.4 和更新版本中使用的 GIMPLE 语法？
• 是怎么写的？ （在 BNF 或 EBNF 或 ...）
• GCC如何实现这个语法来生成、解析和理解 它生成 Gimple 文件，然后将它们转换为 RTL？
• 我可以写一小部分 GIMPLE 语法 在 Xtext 中来自我生成的 *.004t.gimple 文件的示例？

关于格式的问题：

• 3 种 Gimple 格式有什么区别？ （我似乎不能 在 wiki 中查找有关每个文档的详细文档）
• 在原始文件*.c.004t.gimple 和 *.c.011t.cfg ? （高或低，...）
• 哪一个更好地代表原始源的控制流 没有优化的代码？

谢谢，

Answer 1

看起来您刚刚开始学习 GIMPLE，甚至没有阅读您在上面发布的文档。我正在深入研究 GCC 一段时间，我会尝试回答您的问题。

1. 无论如何，您需要阅读gccint 文档：https://gcc.gnu.org/onlinedocs/gccint.pdf 它有助于回答一些问题并提供有关 GIMPLE 的一些信息，这是唯一至少以某种方式描述 GIMPLE 的文档。来源中的最佳描述，令人难过，但仍然如此。也请看这里，http://www.netgull.com/gcc/summit/2003/GENERIC%20and%20GIMPLE.pdf，此文档基于 gccint，包含一些摘录。

2. 没有像C语言那样清晰的“GIMPLE语法”描述，随便看看源码，可能网上有一些不好的例子。

3. 我认为它是从树邻接语法 (TAG) 生成的，基于麦吉尔大学 McCAT 编译器项目 [SIMPLE] 使用的 SIMPLE IL。

4. GCC 如何实现和理解？再次，您需要深入了解 GCC，gimple.h、basic-block.h、tree-pass.h，例如，所有这些都位于$src/gcc/。部分功能在gccint 部分GIMPLE 中进行了描述。引用 gccint 并不完全准确，它包含一些过时的函数和引用，您必须记住（例如，FOR_EACH_BB，2013 年已弃用）。

5. 关于Xtext，我没用过，不明白需要自己写一些GIMPLE，这是中间语言IL你可以创建一个插件来优化你的代码流，但是我看不到需要单独使用 GIMPLE。

关于格式。

1. 只有一种 GIMPLE 格式，但它可以有两种 AFAIK 格式。 GIMPLE HIGH 只是 GIMPLE 没有完全降低，并且包含通过 pass_lower_cf 之前的 IL。 High GIMPLE 包含一些容器语句，如词法范围（由 GIMPLE_BIND 表示）和嵌套表达式（例如，GIMPLE_TRY）。 Low GIMPLE 直接在IL 和EH 区域树（EH 表示Exception Handling）中公开了控制和异常表达式的所有隐式跳转。还有RAW 表示，据我了解，它是某种波兰符号，IMO 它比通常的表示更有用，例如，您可以使用-fdump-tree-all-all-raw 获得它。

2. *.c.004t.gimple - 这是 GIMPLE 出现的第一步，*.c.011t.cfg - 第一次尝试控制流图（cfg）。 GIMPLE lower 的内部名称是“lower”，您可以在gimple-low.c 部分中看到它们

   const pass_data pass_data_lower_cf =
   {
     GIMPLE_PASS, /* type */
     "lower", /* name */
     OPTGROUP_NONE, /* optinfo_flags */
     TV_NONE, /* tv_id */
     PROP_gimple_any, /* properties_required */
     PROP_gimple_lcf, /* properties_provided */
     0, /* properties_destroyed */
     0, /* todo_flags_start */
     0, /* todo_flags_finish */
   };
   

   你可以搜索一下，发现这个pass是*.c.007t.lower

3. 我认为答案在上面，我使用的是 RAW 表示，IMO 信息量更大。

不多，但我希望它对您的 GCC 探索有所帮助，并为我的糟糕“英语”感到抱歉。