GCC跳转表初始化代码生成movsxd并添加？

当我在 GCC 中编译带有优化的 switch 语句时，它会设置一个像这样的跳转表，

(fcn) sym.foo 148
  sym.foo (unsigned int arg1);
; arg unsigned int arg1 @ rdi
0x000006e0      83ff06         cmp edi, 6                              ; arg1
0x000006e3      0f87a7000000   ja case.default.0x790
0x000006e9      488d156c0100.  lea rdx, [0x0000085c]
0x000006f0      89ff           mov edi, edi
0x000006f2      4883ec08       sub rsp, 8
0x000006f6      486304ba       movsxd rax, dword [rdx + rdi*4]
0x000006fa      4801d0         add rax, rdx                            ; '('
;-- switch.0x000006fd:
0x000006fd      ffe0           jmp rax                                 ; switch table (7 cases) at 0x85c

Is the MOVSXD https://c9x.me/x86/html/file_module_x86_id_206.html and ADD https://c9x.me/x86/html/file_module_x86_id_5.html最好的方法是，

movsxd rax, dword [rdx + rdi*4]
add rax, rdx

这不是和使用一样吗LEA https://c9x.me/x86/html/file_module_x86_id_153.html with displacement

lea rax, [rdx + rdi*4 + rdx]

我觉得我可能不明白这里发生了什么。RDX似乎是跳转表的开始。RDI是 switch 语句的传入参数。我们为什么要添加RDX不过两次？

这是我正在编译的 switch 语句-O3,

int foo (int x) {
  switch(x) {
    //case 0: puts("\nzero"); break;
    case 1: puts("\none"); break;
    case 2: puts("\ntwo"); break;
    case 3: puts("\nthree"); break;
    case 4: puts("\nfour"); break;
    case 5: puts("\nfive"); break;
    case 6: puts("\nsix"); break;
  }
  return 0;
}

海湾合作委员会正在使用relative其跳转表中的位移（相对于表的基址），而不是绝对地址。因此跳转表本身是与位置无关的，并且在重新定位时不需要修复，例如作为加载 PIE 可执行文件或 PIC 共享库的一部分。

如果你编译-fno-pie -no-pie，gcc 可能会选择使用跳转目标表jmp [table + rdi*8]

像 x86-64 Linux 这样的目标确实支持运行时数据修复，因此可以使用简单的跳转表。但有些目标根本不支持修复，这就是 gcc 的原因-fPIC / -fpie完全避免它。这种潜在的优化是海湾合作委员会错误 84011 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84011。有关更多信息，请参阅那里的讨论。

不幸的是，gcc 使用跳转表，而不是意识到每种情况之间的唯一区别是数据，而不是代码。所以实际上它只需要查找字符串指针的表。 （如果愿意的话，可以通过相对位移来完成。）

这是一个单独的错过优化，我将其报告为错误 85585 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85585。 （这提醒我，我应该完成并发布那篇写了一半的后续文章。）