计算 goto 的代码生成器是什么？

Question

计算 goto 的示例：

       ...
     GO TO ( 10, 20, 30, 40 ), N
       ... 
10   CONTINUE 
       ... 
20   CONTINUE 
       ... 
40   CONTINUE 

If N equals one, then go to 10. If N equals two, then go to 20. If N equals three, then go to 30. If N equals four, then go to 40.

编译的最终state中goto的代码生成器是什么？

Answer 1

编译计算 goto 的最常见方法是 static 跳转表和间接分支指令。 例如（没有 -fPIC）：

int test(int num) {
const void * const labels[] = {&&a, &&b, &&cl};

goto *labels[num];
a: return 1;
b: return 2;
cl: return 3;

}

将被编译为：

    test(int):                               # @test(int)
        movsxd  rax, edi
        jmp     qword ptr [8*rax + .L__const.test(int).labels]
.Ltmp0:                                 # Block address taken
        mov     eax, 1
        ret
.Ltmp1:                                 # Block address taken
        mov     eax, 3
        ret
.Ltmp2:                                 # Block address taken
        mov     eax, 2
        ret
.L__const.test(int).labels:
        .quad   .Ltmp0
        .quad   .Ltmp2
        .quad   .Ltmp1