Next: Control Flow, Previous: Tree SSA, Up: Top
编译器的大部分工作都是基于一种中间表示,叫做寄存器传送语言(register transfer language)。在该语言中,描述了将要输出的指令,并且差不多是按照字母顺序一个一个的来描述指令的行为。
RTL的灵感来自Lisp列表。它同时具有一个内部形式,由指向结构体的结构体组成,以及一个文本形式,用在机器描述和打印的调试输出中。文本形式使用嵌套的括号,来表示内部形式中的指针。