总结自CSAPP/计算机组成与设计软硬件接口
if-else
条件分支(conditional branch)指令先比较两个值,根据比较的结果决定是否从一个新地址开始执行指令序列。在if语句结尾部分称为无条件分支(unconditional branch)指令。
case-switch
将多个指令序列的分支地址编码为一张表,即跳转表(jump table)。程序只要索引该表即可跳转到恰当的指令序列。程序需要跳转时,首先将跳转表中适当的项加载到寄存器中,然后使用寄存器中的地址值进行跳转。
跳转表是一个由代码中的标签所对应的地址建立而成的数组(包含不同指令序列的表)。
无论你给的case值是多少,都必须找到最大最小值,如果ta超出该范围,则进入default,然后为该范围内的值设置表。
当case的值为最小值时,会进行偏置处理:
无论你的最小值是多少,都会通过增加偏置值(加上或减去某个数)的方式变成0,以避免出现负数索引。
当只有case 0和case 100000时,会变成if-else代码:
实际上会建立一个if-else树(二叉搜索树),复杂度就变成了 O ( l o g n ) O(logn) O(logn) 。