最近学了点关于ARM的汇编中分支结构的小技巧,拿出来跟大家分享一下。如果您几百年前就看过了或早就精通了,不要笑话俺,俺是初学者如果大家也像偶一样是新手不妨看一下,应该没有坏处.<br />计算r1和r2的绝对值<br />对应的C伪指令为:<br />if ( r1>r2 )<br />r0 = r1 r2;<br />else<br />r0 = r1-r2;<br />对应的ARM汇编为:<br />cmp r1, r2<br />subgt r0, r1, r2<br />sublt r0, r2, r1<br />以上条件判断只适合简单的分支结构,复杂的分之结构如何实现呢???比如如下控制逻辑:<br />if ( r1>r2 )<br />{<br />r0 = r1 - r2;<br />if ( r0>r3 )<br />r0 = 1;<br />else<br />r0 = 0;<br />}<br />else<br />{<br />r0 = r2 - r1;<br />if ( r0>r3 )<br />r0 = 1;<br />else<br />r0 = 0;<br />}<br />如果还按照上面的思路则很难写出汇编语句,因为ARM只有一个CPSR寄存器,只能存储一次比较结果。<br />对此问题,有如下四种解决思路:<br />( 其中条件 LE 为无符号小于等于<br />GT 为带符号大于<br />EQ 为等于)<br />1.使用跳转语句<br />BEGIF CMP R1, R2<br />BLE ELSE /********* 跳到第二分支 ************/<br />SUB R0, R1, R2<br />CMPGT R0, R3<br />MOVGT R0, #1<br />MOVLE R0, #0<br />B ENDIF<br />ELSE<br />SUB R1, R2, R1<br />CMPGT R0, R3<br />MOVGT R0, #1<br />MOVLE R0, #0<br />ENDIF<br />说明:跳转语句会影响流水线的执行,所以对速度有严格要求的场合要慎用<br />2.通过MSR和MRS两条指令使用通用寄存器或堆栈直接对CPSR进行操作。<br />CMP R1, R2<br />MRSLE R5, CPSR /**** 保存CPSR,进入第一个if ***/<br />SUBGT R0, R1, R2<br />CMPGT R0, R3<br />MOVGT R0, #1<br />MOVLE R0, #0<br />ELSE<br />MSR CPSR, R5<br />SUBLE R0, R2, R1<br />CMP R0, R3<br />MOVGT R0, #1<br />MOVLE R0, #0<br />说明:在很多if嵌套的情况下,可以使用堆栈保存CPSR的值,但应注意对内存的操作速度要慢于寄存器的速度<br />3.通过临时变量记录比较的结果<br />CMP R1, R2<br />MOVLE R5, #1 /*用R5记录状态,用1表示R1 < R2 */<br />SUBGT R0, R1, R2<br />CMPGT R0, R3<br />MOVGT R0, #1<br />MOVLE R0, #0<br />ELSE<br />CMP R5, #1<br />SUBEQ R0, R1, R2<br />CMPEQ R0, R3<br />MOVGT R0, #1<br />MOVLE R0, #0<br />4.跳转表。 |
|