c - 我的 Fortran 编译器的中间代码生成 : DAG or quadruples

Question

我正在使用 Flex 和 Bison 编写一个迷你 Fortran 编译器。到目前为止我已经完成了词法和语法分析。我正在进行类型检查的语义分析，现在必须选择 IR。我的目标机器是MIPS。所以我想要基于 MIPS IAS 的最终代码生成。所以我认为好的 IR 是四倍。但我想介绍一些优化。因此，我构建了一个 DAG 结构(使用哈希表)。 IR 有 2 条路径:四元组或 DAG，然后是四元组。

如果我使用 DAG 作为我的 IR，我如何使用语句的 backpatching 方法？有了四联就很容易了。另一方面，DAG 更加抽象。我将被迫将其转换为四倍。我知道。我担心的是回溯。

Answer 1

我相信当您应该专注于高层设计时，您正在担心底层细节。此外，当前的编译器不使用四元组，而是使用SSA(静态单赋值)。对于最终的代码生成，也许可以看看 LCC 编译器，它们使用一种简单的方法通过树匹配来发出局部最优代码。

一种作弊方法是只生成一种高级语言(例如 C)，并将繁重的工作留给其编译器(并且您可以免费获得可移植性；-)。

我不知道 Usenet 组 comp.compilers 是否以某种形式存在，但它是 FAQ将是我的第一站。不过，可能已经过时了。