如何从 AST 转到后端代码？

Question

我正在开发一种编程语言的编译器，并且我以抽象语法树 (AST) 的形式很好地表示了源语言。我尝试通过遍历 AST 直接生成后端代码，但效果不佳。通常，考虑将类似 C 语言的 AST 映射到类似汇编语言。我现在认为我缺少从 AST 到后端代码的某个阶段。问题是从 AST 到下一个表示（例如，3-address code）是粗糙的。感觉就像我错过了中间的一步。

[source lang] -> [lex/parse]-> [AST] -> [semantic analysis] -> [?] -> [backend code]

这是我在思考时想出的：

1) 将源语言的 AST 转换为代表后端的 AST。这意味着我需要有 2 个不同的 AST。然后，从转换后的 AST 输出后端。

2) 将 AST 转换为不同类型的数据结构，并基于此其他结构生成后端代码。我不确定这个其他结构是什么。

3) 以不同的方式（不同于用于漂亮打印它的方式）遍历 AST 以生成后端代码。这就是我首先尝试这样做的方式，但似乎不对；我觉得这是一种很老套的方式。

从 AST 到后端代码有哪些选择？

请注意，我不是在问 AST 可以转换成什么样的表示形式，例如 3 地址代码。例如，我理解这样的 C 加法：

x = a + b + c

可以像这样变成 3-address：

t1 = add a, b
t2 = add t1, c
set x, t2

我要求如何提供技术/指导/经验。

举一个我正在寻找的答案类型的示例：

问题：我可以采取哪些步骤对源语言进行语义分析？

答案：将语言解析为 AST 并遍历 AST 进行语义检查。

Answer 1

人们可以用任何自己喜欢的方式来表示程序；您可以完全使用树构建编译器。陈述的目的是使收集某些事实变得容易；该表示有助于更轻松地收集/处理这些特定事实。因此，人们期望程序的表示在编译的不同阶段会发生变化，具体取决于编译器在该阶段试图实现的目标。

一种典型的方案是通过这些表示来翻译程序以生成最终代码：

 *  ASTs
 *  Triples
 *  Abstract machine instructions
 *  Concrete machine instructions

您似乎不知道这一点，这意味着您还没有完成作业。这在编译器书籍中有很好的描述。去读一读。