ARM汇编实现C语言switch语句其中对PC寄存器取值的解析

源码如下：

AREA EX4_44,CODE,READONLY
ENTRY
CODE32
START	        MOV R0,#0
CMP R0,#8
ADDLT PC,PC,R0,LSL#2
B method_d
B method_0
B method_1
B method_2
B method_3
B method_4
B method_5
B method_6
B method_7
method_0
MOV R0,#1
B end0
method_1
MOV R0,#2
B end0
method_2
MOV R0,#3
B end0
method_3
MOV R0,#4
B end0
method_4
MOV R0,#5
B end0
method_5
MOV R0,#6
B end0
method_6
MOV R0,#7
B end0
method_7
MOV R0,#8
B end0
method_d
MOV R0,#0
end0    B START
END

反汇编见下图：



以上代码执行结果为：

程序会跳转到method_0分支，会执行MOV R0,#1这条指令，然后跳转到end0分支，一个循环结束。

分析：

指令ADDLT PC,PC,R0,LSL#2的地址为0x32000008，R0=0;     PC=PC+（4*R0）;  当程序执行到ADDLT PC,PC,R0,LSL#2的时候，PC会指向下一条指令的地址即PC=0x3200000c，那么经过PC=PC+（4*R0）;计算PC仍然等于0x3200000c啊，0x3200000c这个地址对应的程序代码明明是B method_d啊，为什么没有执行这一句代码呢。我们反着来推一下，程序跳转到method_0这个分支，说明在0x32000008这个地址位置的代码ADDLT
PC,PC,R0,LSL#2执行完之后，PC是等于0x32000010的。为什么会这样呢？这里就要考虑ARM处理器的多级流水线技术，ARM7为3级流水，ARM9为5级流水。

见下图：



这个图可以很直观的感受一下多级流水的过程：PC寄存器的值是在每次取指令之后自动修改指向下一条指令，如此看来，当指令1执行的时候，指令2已经完成取指开始译码，此时PC指向指令2的下一条指令，就是指令3，此时PC=0x32000010,所以是PC=0x32000010的时候参与指令1的执行过程也就是计算过程。