在 C 中使用 x86 风格的跳转表

Question

我正在尝试在 C 中做一个跳转表，就像这样

    cmp     eax, dword 3                        ;max number
    ja      invalid                     ;default
    jmp     [eax*4+jumptable]           ;jump to handler
invalid:
    retn
jumptable:
    dd handle0, handle1, handle2, handle3
handle0:
    ....

，

我从这个开始，

void dohandler(int a, int b, void (*jumptable[4]) (int x))
    if (a > 3) return
    else jumptable[3 * 4](b);
}
int main() {
    void (*jumptable[4]) (int x);
    jumptable[0] = &handler1;
    ... etc

    dohandler(1,2,jumptable);
}
void handler1(int x) { ... }
.. etc

但它工作得不好..

Answer 1

jumptable 是一个指针数组。不要尝试缩放偏移量，只需索引要引用的指针即可。

void dohandler(int a, int b, void (*jumptable[4]) (int x))
    if (a >= 0 && a < 4)
        jumptable[a](b);
}

Answer 2

不确定，但我认为您这里有几个问题：

void dohandler(int a, int b, void (*jumptable[4]) (int x))
    if (a > 3) return
    else jumptable[3 * 4](b);
}

首先，您没有使用 a 来引用跳转表，我认为这对应于 eax在汇编版本中注册。其次，不要将其乘以 4。我认为这应该是指针的大小，而数组引用可以为您做到这一点。所以你最终会得到这样的结果：

void dohandler(int a, int b, void (*jumptable[4]) (int x))
    if (a > 3) return
    else jumptable[a](b);
}

Answer 3

只要标签值不是太稀疏，switch 就会像您想要的那样编​​译为跳转表。为表达式使用小尺寸类型（例如 unsigned char）或屏蔽高位可能会有所帮助，因此编译器不会添加额外的“if-in-range”条件在跳转表跳转之前，但这可能并不那么重要。

最重要的是，实验。使用 gcc -S 检查汇编输出。