回补如何与标记一起使用？

Question

我在互联网上搜索过，无法找到关于回调如何工作的正确解释？

能否请您解释一下回补是如何工作的？ 它如何与标记一起使用 ？

我知道它有两种主要类型的标记：

1. 有下一个四边形
2. 有下一个列表

我找到了这段代码 ，他们在这段代码中输入一个输入文件并使用RISKI语言创建一个文件。

在他们的第一次滚动中他们有：

PROGRAM : N FUNCTION M MAIN_FUNCTION

你可以看到N和M是标记（它们是空卷）。

Answer 1

一次性代码生成在为条件生成代码时存在一个小问题。 典型的if语句：

if CONDITION then ALTERNATIVE_1 else ALTERNATIVE_2

需要编译成这样的东西：

  compute CONDITION
  JUMP_IF_TRUE label1
  JUMP_IF_FALSE label2

label1:
  code for ALTERNATIVE_1
  JUMP label3

label2:
  code for ALTERNATIVE_2
  JUMP label3

label3:
  next statement

但是当生成CONDITION的代码时，不知道label1和label2在哪里，并且当生成ALTERNATIVE_1和ALTERNATIVE_2的代码时，不知道label3在哪里。

一种方法是使用符号名称作为标签，如上面的伪代码，并在知道它们时填写实际值。 这需要在跳转语句中存储符号名称，这会使数据结构复杂化（特别是，您不能只使用二进制汇编程序代码）。 它还需要第二次传球，只是为了填补跳跃目标。

一种（可能）更简单的方法是只记住跳转语句的地址，并在知道目标地址时进行补丁。 这称为“回调”，因为您返回并修补生成的代码。

事实证明，在许多情况下，您最终会有多个分支到同一个标签。 典型案例是“短路”布尔值，如C系列的&&和|| 运营商。 例如，扩展原始示例：

if (CONDITION_1 and CONDITION_2) or CONDITION_3 then ALTERNATIVE_1 else ALTERNATIVE_2

  compute CONDITION_1
  JUMP_IF_TRUE label1
  JUMP_IF_FALSE label2

label1:
  compute CONDITION_2
  JUMP_IF_TRUE label3
  JUMP_IF_FALSE label2

label2:
  compute CONDITION_3
  JUMP_IF_TRUE label3
  JUMP_IF_FALSE label4

label3:
  code for ALTERNATIVE_1
  JUMP label5

label4:
  code for ALTERNATIVE_2
  JUMP label5

label5:
  next statement

事实证明，对于简单语言，只需要记住两个不完整的跳转语句（通常称为“true”和“false”）。 因为可能有多次跳转到同一目标，所以这些跳转实际上是不完整跳转语句的链接列表，其中目标地址用于指向列表中的下一个跳转。 因此，backpatching遍历列表，修补正确的目标并使用原始目标查找需要修补的上一个语句。

你所谓的标记 （它是yacc / bison所称的“中规则制作”的实例）并不与回调真正相关。 它们可用于多种用途。 在一次性代码生成中，通常需要在规则中间执行某些操作，而回调只是一个示例。

例如，在假设的if语句中，有必要在解析CONDITION之前初始化backpatch列表，然后在THEN和ELSE子句的开头进行backpatch。 （另一个backpatch将在整个if语句的解析结束时触发，但那个将在规则的finnal操作中。）

在规则中间执行操作的最简单方法是插入中间规则操作，这相当于使用操作插入空的“标记”生成，如您指向的示例bison文件中所示。