关于ARM子程序跳转和中断跳转的流水线问题

因为ARM指令是三级流水线就是说取指，译指，执行时同时执行的 ，这样说吧，现在PC指向的是正在取指的地址，那么cpu正在译指的指令地址是PC-4（假设在ARM状态下，一个指令占4个字节），cpu正在执行的指令地址是PC-8.也就是说PC所指向的地址和现在所执行的指令地址相差8,尽管以后版本的指令流水线扩展为5级和8级，但是这一特性一直被兼容处理，也即pc(excute)=pc(fetch) - 8，其中：pc(excute)是当前正在执行的指令，就是之前取该指令时候的PC的值；pc(execute)：当前指令执行的，计算中如果用到pc，是指此时pc的值。当突然发生中断的时候，保存的是PC的地址。
（1）对于子程序的调用

如下面是一段S3C2440 ARM汇编代码：

地址	指令
0x30000008	BL zFun
0x3000000C	MOV r0,#04
0x30000010	MOV r1,#08
0x30000014	MOV r0,#02

AREA Reset,CODE,READONLY
    ENTRY
    Start
         MOV r0,#08
         MOV r1,#08
         BL zFun
         MOV r0,#04
         MOV r1,#08
    zFun
         MOV r0,#02
         END

当0x30000008处的BL指令执行时，会把PC(=0x30000010)保存到LR寄存器里面，也就是LR=0x30000010。接下来处理器会立即对LR进行一个自动的更新动作：LR=LR-0x4，这样，LR里面的地址为0x30000010 – 0x4 =0x3000000C，它是指令”MOV r0,#04”的地址，所以当从子程序zFun返回时，LR里面正好是正确的返回地址。既是下一条要执行的指令的地址。
（2）中断异常处理函数调用

异常就是正在执行的指令，由于各种软件或硬件故障被打断，比如，在读数据或指令时，访问存储器失败、产生了一个外部硬件中断等。当这些情况发生时，在ARM系统里，由异常和中断处理程序做出相应的处理，当处理完成后，要返回到被中止的指令，使被中止的指令能够继续正常执行下去。因此，确定异常和中断处理程序的返回地址是一个非常重要的问题。

1、中断处理

当外部中断IRQ和FIQ(Fast Interrpt Request,快速中断请求)发生时，ARM核完成一部分工作。当然，这些工作是任何异常发生时都必须要做的，所以ARM处理器就会自动带我们完成。 其它重要的工作，必须由程序员来完成。ARM处理器处理的事包括从用户模式切换到IRQ模式、状态寄存器值的变化及跳转。比如说，处理器自动跳转到从0x0地址开始的异常中断向量表的0x18处，在向量表的0x18处，最简单的指令为”B HandlerIRQ”。

那程序员所要关心的就是实现具体的异常处理程序(HandlerIRQ)。当用ARM汇编语言实现HandlerIRQ函数的时候，如何确定HandlerIRQ函数正确地返回地址，使被中止的指令能够继续正常执行下去。

比较常用的中断处理程序结构如下：

HandlerIRQ ；中断响应，从向量表直接跳来

SUB r14,r14,#4 ；计算返回地址

STMFD r13,{r0-r3,r14} ；保护现场，一般只需要保护{r0-r3,lr}

BL irqHandler ；跳到具体的异常处理函数

LDMFD r13,{r0-r3,pc}^ ；恢复现场

通过”SUB R14,R14,#4”计算中断函数的返回地址。为什么计算返回地址的时候要减去4呢？

地址	指令
0x30000000	BL zFun
0x30000004	MOV r0,#0
0x30000008	MOV r1,#1
0x3000000C	MOV r2,#2

我们看上个表，比如在执行地址为0x30000004的move指令时，突然来了一个IRQ中断，这个中断打断了move指令的执行，这个时候就要去跳转到异常处理函数，之后还要返回0x30000004地址重新执行move指令。当中断发生时，LR里面保存了用户模式下PC的值，那么当执行地址为0x30000004的move指令时，PC的值应该是0x3000000C，前面介绍过，当发生跳转时，处理器会对LR进行一个自动的更新动作：LR=LR-0x4，这样LR里面的地址是0x3000000C-0x04=0x30000008。但是0x30000008并不是我们要的地址，因为中断发生在地址为0x30000004的move指令执行的时候，所以中断处理完后应该返回这个地址。 这就是在计算返回地址的时候LR减去4的原因。对于FIQ中断和预取指中止异常，计算返回地址方法和IRQ相同。