是否存在基于元组的控制流语句内部表示?

这种类型的中间表示(通常使用语法编写,例如 %1 = 4+5 或 %1 = add 4, 5 )也称为三地址码。三地址代码可以表示任意控制流,而不仅仅是表达式。请注意,汇编语言和机器语言也有一个由具有固定操作数的指令组成的平面结构,因此它与三个地址码没有太大区别。显然,程序集可以包含任意的控制流。

实现这一点的方法是使用分支指令。最简单的是,您可以有两个条件:一个条件是无条件分支的目标地址,另一个条件是目标和布尔参数。所有类型的循环和条件语句都可以编译为跳转。例如,循环 while (condition) { body } ...restOfTheCode 可以编译成这样(其中 T 应将给定表达式转换为IR):

  %cond = T(condition)
checkCond:
  brif %cond, loop
  br endLoop
loop:
  T(body)
  br checkCond
endLoop:
  T(...restOfTheCode)