ARM中分支结构的小技巧

scholarship

计算r1和r2的绝对值
对应的C伪指令为：
if ( r1>r2 )
r0 = r1+r2;
else
r0 = r1-r2;

对应的ARM汇编为:
cmp r1, r2
subgt r0, r1, r2
sublt r0, r2, r1

以上条件判断只适合简单的分支结构，复杂的分之结构如何实现呢？？？比如如下控制逻辑：
if ( r1>r2 )
{
r0 = r1 - r2;
if ( r0>r3 )
r0 = 1;
else
r0 = 0;
}
else
{
r0 = r2 - r1;

if ( r0>r3 )
r0 = 1;
else
r0 = 0;
}

如果还按照上面的思路则很难写出汇编语句，因为ARM只有一个CPSR寄存器，只能存储一次比较结果。
对此问题，有如下四种解决思路：
（ 其中条件 LE 为无符号小于等于
GT 为带符号大于
EQ 为等于）

1.使用跳转语句
BEGIF CMP R1， R2
BLE ELSE /********* 跳到第二分支 ************/
SUB R0， R1， R2
CMPGT R0， R3
MOVGT R0， #1
MOVLE R0， #0
B ENDIF
ELSE
SUB R1， R2， R1
CMPGT R0， R3
MOVGT R0， #1
MOVLE R0， #0
ENDIF
说明：跳转语句会影响流水线的执行，所以对速度有严格要求的场合要慎用

2.通过MSR和MRS两条指令使用通用寄存器或堆栈直接对CPSR进行***作。
CMP R1， R2
MRSLE R5， CPSR /**** 保存CPSR，进入第一个if ***/
SUBGT R0， R1， R2
CMPGT R0， R3
MOVGT R0， #1
MOVLE R0， #0
ELSE
MSR CPSR， R5
SUBLE R0， R2， R1
CMP R0， R3
MOVGT R0， #1
MOVLE R0， #0
说明：在很多if嵌套的情况下，可以使用堆栈保存CPSR的值，但应注意对内存的***作速度要慢于寄存器的速度

3.通过临时变量记录比较的结果
CMP R1， R2
MOVLE R5， #1 /*用R5记录状态，用1表示R1 < R2 */
SUBGT R0， R1， R2
CMPGT R0， R3
MOVGT R0， #1
MOVLE R0， #0
ELSE
CMP R5， #1
SUBEQ R0， R1， R2
CMPEQ R0， R3
MOVGT R0， #1
MOVLE R0， #0

mxgsp

强烈感谢楼主