optimization - 为什么我们使用中间语言而不是AST？

Question

中间语言和AST有什么区别？据我所知，它们都提供了流分析信息，编译器可将其用于优化目的。我知道GCC使用两个中间表示形式-AST和IL。这是什么原因呢？

Answer 1

GCC所使用的不仅仅是两个中间表示，而且远远少于应该使用的中间表示。

有一种编译器设计方法，称为“nanopass”:编译器由一系列非常简单的代码重写组成，从解析器生成的原始AST开始，最后是低级代码。每个转换都是微不足道的，相邻中间语言之间的差异很小。

这样，就很容易对每个转换进行推理，易于理解整个链并易于添加新功能。丰富的语言可能有很多语法糖，例如，可以在进行任何类型检查之前以更简单的语言结构来表示。

当然，该链中的每种语言都表示为AST，但通常只有解析器生成的第一个语言才称为“AST”，其他所有语言都称为“中间语言”。当然，不同思想流派的术语可能会有所不同。我个人更喜欢一直使用“AST”一词。