GCC跳转表初始化代码生成movsxd和add?

当我在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

是吗 MOVSXD 和 ADD 最好的方法是,

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

这和使用 LEA 具有 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;
}