ARM条件执行

monsterscvb

条件执行

指令格式
ARM 处理器的一个非常特殊的特征是它的条件执行。我们指的不是基本的如果进位则分支，ARM 使这个逻辑阶段进一步深化为如果进位则 XXX - 这里的 XXX 是任何东西。
6 Z$ R; ?, b" t. C( z为了举例，下面是 Intel 8086 处理器分支指令的一个列表:
" t5 x+ K3 N, o+ x4 u6 }6 I! DJA Jump if Above
JAE Jump if Above or Equal
JB Jump if Below
& t9 M2 L. l6 i5 |, h) @JBE Jump if Below or Equal
JC Jump if Carry
JCXZ Jump if CX Zero (CX is a register that can be used for loop counts)
JE Jump if Equal
JG Jump if Greater than
JGE Jump if Greater than or Equal
* ~, u3 P1 ], H. d" m8 IJL Jump if Less than
* s9 t1 ?9 _! ~' dJLE Jump if Less Than or Equal
( T0 c9 Z: K% Y$ ]# g) g, ]' B% rJMP JuMP
JNA Jump if Not Above
JNAE Jump if Not Above or Equal
, g4 ~- c# G: u1 o5 ZJNB Jump if Not Below
JNBE Jump if Not Below or Equal
JNC Jump if No Carry
JNE Jump if Not Equal
JNG Jump if Not Greater than
8 o1 v0 ]4 d6 h9 q6 u# F( i" F; BJNGE Jump if Not Greater than or Equal
JNL Jump if Not Less than
JNLE Jump if Not Less than or Equal
) J4 K2 M+ ~# }9 hJNO Jump if Not OveRFlow
4 F- p! Z" w& C$ Z% ]% @JNP Jump if Not Parity
: N8 S& N4 p/ \+ s6 W- bJNS Jump if Not Sign
JNZ Jump if Not Zero
* T! d' y  ]* b: S! Y, QJO Jump if Overflow
JP Jump if Parity
: {4 e1 t/ r: F9 e5 L2 m8 ]) }JPE Jump if Parity Even
JPO Jump if Parity Odd
% [1 e* S2 R( f6 S7 GJS Jump if Sign
JZ Jump if Zero
80386 添加了:
7 J) t8 o* S" `7 u1 @JECXZ Jump if ECX Zero
" b" R8 C' O9 p+ }7 |作为对比，ARM 处理器只提供了:
B 分支
BL 带连接的分支
但 ARM 提供了条件执行，你可以不受这个表面上不灵活的方式的限制:
2 n# r/ A/ E7 k7 `BEQ Branch if EQual
BNE Branch if Not Equal
! T  D6 f1 D8 Z& z! JBVS Branch if oVerflow Set
# L% P) E/ N" q! j6 D3 a) H( nBVC Branch if oVerflow Clear
BHI Branch if HIgher
$ o. x9 B! _  t# x$ [BLS Branch if Lower or the Same
BPL Branch if PLus
BMI Branch if MInus
BCS Branch if Carry Set
BCC Branch if Carry Clear
BGE Branch if Greater than or Equal
! n# [, J: @. [* J4 C" RBGT Branch if Greater Than
BLE Branch if Less than or Equal
BLT Branch if Less Than
* F& A, q: q& w, D5 kBLEQ Branch with Link if EQual
....
BLLT Branch with Link if Less Than
2 z  B; \( F2 S/ a还有两个代码，
4 U7 z7 ?- F7 w* XAL - ALways，缺省条件所以不须指定
9 x1 [( Z2 y! y8 r  LNV - NeVer，不是非常有用。你无论如何不要使用这个代码...
; X: h& c( n' j6 z当你发现所有 Bxx 指令实际上是同一个指令的时候，紧要关头就到了。接着你会想，如果你可以在一个分支指令上加上所有这些条件，那么对一个寄存器装载指令能否加上它们? 答案是可以。
下面是可获得的条件代码的列表:
EQ : 等于
$ [4 a# e  P: G, ~' ^* w* o如果一次比较之后设置了 Z 标志。
NE : 不等于
5 @' Z* c& N! C3 e/ L3 S. r如果一次比较之后清除了 Z 标志。
( ?) C# {3 ?% _. b) l1 nVS : 溢出设置
如果在一次算术操作之后设置了 V 标志，计算的结果不适合放入一个 32bit 目标寄存器中。
( w5 ?& C3 N7 AVC : 溢出清除
如果清除了 V 标志，与 VS 相反。
HI : 高于(无符号)
0 u% G" ^; V1 N: c" h4 K# u如果一次比较之后设置了 C 标志并清除了 Z 标志。
7 T0 M& j$ ^. ?/ d$ M. v. ?7 b' B1 qLS : 低于或同于(无符号)
如果一次比较操作之后清除了 C 标志或设置了 Z 标志。
PL : 正号
+ y$ p) Y# q) b5 \: ?3 ?% J" h) j5 k如果一次算术操作之后清除了 N。出于定义‘正号’的目的，零是正数的原因是它不是负数...
  @9 {/ [& I* X! U0 D- z8 J- QMI : 负号
; u: U2 \0 L$ w5 H8 ?2 ?) e如果一次算术操作之后设置了 N 标志。
CS : 进位设置
如果一次算术操作或移位操作之后设置了 C 标志，操作的结果不能表示为 32bit。你可以把 C 标志当作结果的第 33 位。
CC : 进位清除
与 CS 相反。
GE : 大于或等于(有符号)
: Q0 v8 X. u0 y如果一次比较之后...
设置了 N 标志并设置了 V 标志
! W4 i  ]) u1 t" S或者...
清除了 N 标志并清除了 V 标志。
GT : 大于(有符号)
如果一次比较之后...
4 a. x' _3 |% X, y/ w6 N) _设置了 N 标志并设置了 V 标志
* R6 n% }6 `' V! ]6 S4 h$ a或者...
清除了 N 标志并清除了 V 标志
并且...
( j" Z3 \0 |1 X: A7 R清除了 Z 标志。
LE : 小于或等于(有符号)
如果一次比较之后...
! b8 c* K( H# K3 }9 Y$ S' c8 L设置了 N 标志并清除了 V 标志
或者...
清除了 N 标志并设置了 V 标志
' F' l% e  W" \; X3 q; h$ g并且...
3 |/ `- p* l" m3 A- R设置了 Z 标志。
LT : 小于(有符号)
如果一次比较之后...
) Q0 X5 t7 F6 @5 {+ U* M设置了 N 标志并清除了 V 标志。
或者...
清除了 N 标志并设置了 V 标志。
AL : 总是
% y! N! m7 Y8 X' [& e4 K$ l缺省条件，所以不用明显声明。
% E! ~0 J  G) G# E% A* oNV : 从不
& U( s% Z0 x2 _; n3 v不是特别有用，它表示应当永远不执行这个指令。是穷人的 NOP。
4 @3 s  ~( ]/ n" }% d包含 NV 是为了完整性(与 AL 相对)，你不应该在你的代码中使用它。
有一个在最后的条件代码 S，它以相反的方式工作。当用于一个指令的时候，导致更改状态标志。这不是自动发生的 - 除非这些指令的目的是设置状态。例如:
+ B- C. c* N" `+ y  }* P$ w& U$ RADD R0, R0, R1
ADDS R0, R0, R1
ADDEQS R0, R0, R1
# R8 `/ j- z# K$ I+ J+ p( p' L7 l第一个例子是一个基本的加法(把 R1 的值增加到 R0)，它不影响状态寄存器。
第二个例子是同一个加法，只不过它导致更改状态寄存器。
& m2 ^, f1 f% V* F! X2 b最后一个例子是同一个加法，更改状态寄存器。不同在于它是一个有条件的指令。只有前一个操作的结果是 EQ (如果设置了 Z 标志)的时候它才执行。
下面是条件执行的一个工作中的例子。你把寄存器 0 与存储在寄存器 10 中内容相比较。如果不等于 R10，则调用一个软件中断，增加它并分支回来再次做这些。否则清除 R10 并返回到调用它的那部分代码(它的地址存储在 R14)。
! Y! Y/ V6 [! q\ 条件执行的一个例子
  T, j) `8 B  y% {: s.loop ; 标记循环开始位置
CMP R0, R10 ; 把 R0 与 R10 相比较
& W" D  f2 d/ O2 h% KSWINE &40017 ; 不等于: 调用 SWI &40017
4 J' A' o8 a2 U. U# VADDNE R0, R0, #1 ; 向 R0 加 1
BNE loop ; 分支到 loop
MOV R10, #0 ; 等于 : 设置 R10 为零
LDMFD R13!, {R0-R12,PC} ; 返回到调用者
+ b  Y2 x) H$ V+ |  i- E注解:
$ |+ P* R8 o0 hSWI 编号就象我写的这样。在 RISC OS 下，它是给 Econet_DoImmediate 的编号。不要字面的接受它，这只是一个例子!
你可能以前没见过 LDMFD，它从栈中装载多个寄存器。在这个例子中，我们从一个完全正式的栈中装载 R0 至 R12 和 R14。关于寄存器装载和存储的更多信息请参阅 str.html。
9 U1 M. D: a! y. X+ v( ^4 B+ ]$ |8 u我说要装载 R14。那么为什么要把它放入 PC 中? 原因是此时 R14 存储的值包含返回地址。我们也可以采用:
LDMFD R13!, {R0-R12,R14}
MOV PC, R14
. |, T- P' H" V但是直接恢复到 PC 中可以省略这个 MOV 语句。
2 z! z' P1 M* x7 r. z( Z0 j9 G6 U最后，这些寄存器很有可能被一个 SWI 调用所占用(依赖于在调用期间执行的代码)，所以你最好把你的重要的寄存器压入栈中，以后在恢复它们。

1 r2 A4 V: r, N

nevadaooo

0 e( O- ^6 C/ F! D2 @( @" f
很详细，先收了，后面练练

Memory00

ARM条件执行云集
5 @7 O* c$ C7 X% ]6 p

modengxian111

很实用，收藏了