IR的表示形式分类

中间表示（Intermediate Representation，IR）是编译器在将源代码转换为机器代码的过程中使用的中间形式。不同的编译器可能会使用不同的IR。
以下是几种常见的中间表示方法有下面几类：

代码级表示：

代码级表示方法将源代码转换为更接近源代码的表示形式，通常包括操作数和操作符

三地址码（Three-Address Code）

三地址码是一种简单的中间表示方法，其中每个指令最多有三个操作数。这种表示方法易于理解和实现，但可能需要更多的指令来表示复杂的操作。

a = b + c
d = a * e

静态单赋值形式（Static Single Assignment，SSA）

SSA是一种中间表示方法，其中每个变量只能被赋值一次。这种表示方法有助于简化优化，例如常量折叠和死代码消除。

t1 = b + c
a = t1
t2 = a * e
d = t2

控制流级表示

控制流级表示方法将源代码的控制流（如条件语句、循环等）转换为更接近控制流的表示形式。

控制流图（Control Flow Graph，CFG）

CFG是一种表示程序控制流的图，其中每个节点代表一个基本块，边表示基本块之间的控制流。CFG是许多编译器优化的基础，例如循环展开和指令重排序。

a = b + c
if (a > 0) {
    d = a * e
} else {
    d = a / e
}

静态单赋值控制流图（Static Single Assignment Control Flow Graph，SSA-CFG）

SSA-CFG是SSA和CFG的结合，它既保留了SSA的优化优势，又保留了CFG的控制流信息。

t1 = b + c
a = t1
if (a > 0) {
    t2 = a * e
} else {
    t2 = a / e
}
d = t2

数据流级表示

数据流级表示方法将源代码的数据流（如变量赋值、数据依赖等）转换为更接近数据流的表示形式。

抽象语法树（Abstract Syntax Tree，AST）

AST是一种表示源代码结构的树形结构，其中每个节点代表一个语法元素，例如表达式、语句或函数。AST是许多编译器的前端的一部分，用于解析和检查源代码。

a = b + c
d = a * e

数据流图（Data Flow Graph，DFG）

DFG是一种表示程序数据流的图，其中每个节点代表一个数据值，边表示数据值之间的依赖关系。DFG是许多编译器优化的基础，例如常量传播和死代码消除。

a = b + c
d = a * e

操作级表示

有向无环图（Directed Acyclic Graph，DAG）

DAG是一种表示程序操作的图，其中每个节点代表一个操作，边表示操作之间的数据依赖关系。DAG是许多编译器优化的基础，例如公共子表达式消除和强度削减。