switch语句反汇编
- 编译器会根据switch的分支个数来调整生成的汇编代码。例如:在vc6.0编译器中,当分支个数小于4时,switch语句和if语句翻译成的汇编代码没有区别;当分支个数大于等于4时,switch语句的汇编代码变成了
jg [edx*4+第一个分支代码的内存地址]
,其中,edx为switch (x)语句中x与最小情况的差值。此时各分支的内存地址排列称为大表
。 - switch语句的常量表达式顺序不影响生成的汇编代码。
- switch语句的常量表达式大小不影响生成的汇编代码。
- 关键点:连续。
- 若删去连续区间中的几个节点。大表中被删去节点位置的跳转地址变为default分支的跳转地址。
小表
:当连续区间中的被删去的节点越来越多时,编译器会为default分支创建小表
,根据小表拿到edx的值,再偏移到对应分支地址。- 节点全部为跳跃不连续 == if else
- 小表最多可以有256个节点,即switch节点跳跃幅度不能超过256.(一字节FF能表示的范围)