机器语言支持或不支持间接跳转时的代码生成器

Question

k = 1
if (a .eq. 10) k = 2
if (a .lt. 10) k = 3
goto (100,102,105),k

In this example of fortran, where k and a are integer variables, and 100, 102, and 105 valid code tags, the command goto will move the code stream to one of the 100, 102 and 105, depending on the value of the variable一个。 对于计算的 goto，中间代码提供了指向命令标签的指针。

我的问题是：当机器语言不支持间接跳转和分支时，作为编译的最后阶段的代码是如何生成的？当机器语言支持间接跳转和分支时，这是如何生成的？

Answer 1

有很多方法可以做到这一点，这个答案提供了一些。 它实际上归结为您选择的架构中可用的任何功能。

首先，一些清晰度。 让我们假设goto使用k来决定跳转到哪条路径，但是，如果k是其他值，它会继续进行而不跳转。

---

首先，简单的案例，没有间接分支，这是一个非常简单的架构，或者说是一个幼稚的代码生成器。 它可能最终会变成这样：

code:   load r0, [k]         ; get value of k

        cmp  r0, 1
        jeq  @100            ; address of line 100

        cmp  r0, 2
        jeq  @102

        cmp  r0, 3
        jeq  @105
nojmp:                       ; carry on

---

具有间接分支的系统可以使用表：

tbl:    word @100, @102, @105

code:   load r0, [k]         ; get value of k
        decr r0              ; table lookup probably zero-based

        cmp  r0, 0           ; only use table for valid range
        jlt  nojmp
        cmp  r0, 2
        jgt  nojmp

        jmp  [tbl, r0]       ; indirect jump
nojmp:                       ; carry on

---

然而，即使是没有间接分支的系统也可以使用带有一些技巧的表，例如从表中推送返回地址并返回：

tbl:    word @100, @102, @105

code:   load r0, [k]         ; get value of k
        decr r0              ; table lookup probably zero-based

        cmp  r0, 0
        jlt  nojmp
        cmp  r0, 2
        jgt  nojmp

        load r0, [tbl, r0]   ; indirect load
        push r0              ; emulating indirect jump
        ret
nojmp:                       ; carry on