解析switch语句中的RIP相对LEA指令：编译器如何生成跳转地址？

1. 编译器在switch语句开头的操作（以x86_64架构为例） #

编译器会通过以下步骤计算出%rax中的目标跳转地址：

• 将switch的判断表达式值加载到通用寄存器（比如%eax或%rdi），随后执行边界检查，确保该值落在case的有效取值范围内，防止越界访问跳转表。
• 计算跳转表索引：如果case值是连续的，会把判断值减去最小的case值，得到索引值；如果case不连续，可能会采用哈希映射或范围判断的方式生成有效索引。之后将索引乘以指针大小（x86_64下为8字节），得到偏移量。
• 加载跳转表的基地址到寄存器，将基地址与上述偏移量相加，结果存入%rax。跳转表是编译器在数据段生成的数组，每个元素对应一个case的入口地址。
• 执行notrack jmpq *%rax完成跳转，其中notrack是编译器添加的优化标记，用于告知CPU无需对该跳转进行分支预测跟踪，提升执行效率。

2. 常量0xe07和0xdfb的性质 #

这两个十六进制值大概率是填充值，具体场景分为两种：

• 如果它们出现在跳转表的未使用条目中：当switch的case值不连续时，编译器会用这些值填充跳转表中无对应case的位置，通常这些值会指向默认分支的入口地址，或者是触发非法访问的陷阱地址，避免程序执行到无效分支。
• 如果它们出现在代码/数据段的对齐区域：为了满足CPU的内存对齐要求（比如16字节对齐），编译器会插入这类无意义的常量填充字节，确保代码或数据块的起始地址符合对齐规则。

内容的提问来源于stack exchange，提问作者Lydon Ch