ARM 指令集

kenson

/ i5 V! ?" t' ?3 o" T
算术和逻辑指令
ADC : 带进位的加法
7 |% e9 A5 `# {; H/ V$ W( M(Addition with Carry)
  t7 s! ^: ^; {4 u" Z* f6 n9 }
  V  K, h% T. T" M3 `  y1 VADC{条件}{S}  <dest>, <op 1>, <op 2>

                dest = op_1 + op_2 + carry
4 g7 h0 I4 g/ x& w7 ]ADC 将把两个操作数加起来，并把结果放置到目的寄存器中。它使用一个进位标志位，这样就可以做比 32 位大的加法。下列例子将加两个 128 位的数。
0 W- ^( L- ~. M& b) p7 L; O) B128 位结果: 寄存器 0、1、2、和 3
) c, \* y0 M0 n' W3 i第一个 128 位数: 寄存器 4、5、6、和 7
7 \9 t% i! U* y# U' r' i第二个 128 位数: 寄存器 8、9、10、和 11。

  ADDS    R0, R4, R8              ; 加低端的字
  ADCS    R1, R5, R9              ; 加下一个字，带进位
  ADCS    R2, R6, R10             ; 加第三个字，带进位
) v2 V& j% d) X- r  ADCS    R3, R7, R11             ; 加高端的字，带进位
- T0 ~& F4 M( `如果如果要做这样的加法，不要忘记设置 S 后缀来更改进位标志。
5 y: U; M( R' _: F: `( a) c- }8 u
) {- K7 x. N, e7 }) _: P
1 U' V3 t* j  {6 {" H. K
ADD : 加法
' B' q+ U% J* u9 l- O! N0 k6 P. E(Addition)

ADD{条件}{S}  <dest>, <op 1>, <op 2>

& |* j0 ~3 [2 ^# V" t' ?9 R                dest = op_1 + op_2
ADD 将把两个操作数加起来，把结果放置到目的寄存器中。操作数 1 是一个寄存器，操作数 2 可以是一个寄存器，被移位的寄存器，或一个立即值:

  ADD     R0, R1, R2              ; R0 = R1 + R2
8 Q7 K7 ?" ^$ k( @1 l  ADD     R0, R1, #256            ; R0 = R1 + 256
  ADD     R0, R2, R3,LSL#1        ; R0 = R2 + (R3 << 1)
& w$ l7 n% V! R加法可以在有符号和无符号数上进行。
- H" W. ~" W, B4 ~
　

AND : 逻辑与
$ K8 b% r) j4 p" X; j$ C, }(logical AND)
" \7 b2 ]+ S. E, I
AND{条件}{S}  <dest>, <op 1>, <op 2>
. s+ _$ b" k  K. C; M) D; _9 [
                dest = op_1 AND op_2
) L$ y' y: @4 ^& fAND 将在两个操作数上进行逻辑与，把结果放置到目的寄存器中；对屏蔽你要在上面工作的位很有用。 操作数 1 是一个寄存器，操作数 2 可以是一个寄存器，被移位的寄存器，或一个立即值:

, F7 [7 T0 [" ]3 K9 T- A& jAND     R0, R0, #3              ; R0 = 保持 R0 的位 ０ 和 1，丢弃其余的位。
AND 的真值表(二者都是 1 则结果为 1):
$ L/ p9 y, H9 v  u# I0 p6 P8 E
Op_1   Op_2   结果

  0      0      0
* X2 I+ `7 E# G; A& t5 S: e3 Z  0      1      0
  1      0      0
/ X5 ~+ p7 o' s* N6 T6 b' f. f  1      1      1
　
BIC : 位清除
  a% L' S5 @0 h$ `2 X, X# H- Q(Bit Clear)

BIC{条件}{S}  <dest>, <op 1>, <op 2>

% b. t7 W" u5 q$ x* n! w                dest = op_1 AND (!op_2)
7 |! K3 Q9 z2 p! P  u4 q: ZBIC 是在一个字中清除位的一种方法，与 OR 位设置是相反的操作。操作数 2 是一个 32 位位掩码(mask)。如果如果在掩码中设置了某一位，则清除这一位。未设置的掩码位指示此位保持不变。

! X/ S9 X# H4 p2 R$ f0 mBIC     R0, R0, #%1011          ; 清除 R0 中的位 0、1、和 3。保持其余的不变。
6 |+ T$ ]/ B0 w# U8 V; Z& R3 zBIC 真值表 :
3 }& E+ b7 I+ O2 `
) Y3 T& {7 m, D. b1 s# YOp_1   Op_2   结果

# N7 F$ K0 b' A! x. z/ E+ p. E  0      0      0
- ~2 y$ b8 K9 Z2 s  0      1      0
  1      0      1
; j1 e- V0 U* b! p1 R: x  v  1      1      0
7 f/ B# Y+ b  U$ z; Y3 z译注：逻辑表达式为 Op_1 AND NOT Op_2
% U& Y: C0 w: m- b2 V　
. b; y; V, L3 C9 ^
EOR : 逻辑异或
. [. W* D4 I9 L8 |- f9 [(logical Exclusive OR)

EOR{条件}{S}  <dest>, <op 1>, <op 2>

                dest = op_1 EOR op_2
EOR 将在两个操作数上进行逻辑异或，把结果放置到目的寄存器中；对反转特定的位有用。操作数 1 是一个寄存器，操作数 2 可以是一个寄存器，被移位的寄存器，或一个立即值:

EOR     R0, R0, #3              ; 反转 R0 中的位 0 和 1
. J7 |5 D: i4 n0 Q% j# JEOR 真值表(二者不同则结果为 1):
/ }/ t" u2 }& y& l) P. O2 p
! W, P! l& `1 Z0 J$ mOp_1   Op_2   结果

6 D. ]" |7 h9 f- d; ^( l! n  0      0      0
$ F& {( E0 d( l% `# ]# B# l6 S  0      1      1
: g) \& s) ]/ C! P: `" _  1      0      1
  1      1      0
　
% i. L8 j; W" MMOV : 传送
6 E1 q% q4 {+ F2 `7 b0 O(Move)
! m- N0 z+ R9 }( z
MOV{条件}{S}  <dest>, <op 1>
, T  x2 @. i$ B& T2 m6 Y: Z
                dest = op_1
& g$ ~* y0 b) E* Z, wMOV 从另一个寄存器、被移位的寄存器、或一个立即值装载一个值到目的寄存器。你可以指定相同的寄存器来实现 NOP 指令的效果，你还可以专门移位一个寄存器:
8 d* G3 G( S$ u, ~" z, t! R
+ P+ `% B5 S, RMOV     R0, R0                  ; R0 = R0... NOP 指令
4 c! u7 r! o3 P" d: H% N
  MOV     R0, R0, LSL#3           ; R0 = R0 * 8
" o- @- t2 q) m; S- N如果 R15 是目的寄存器，将修改程序计数器或标志。这用于返回到调用代码，方法是把连接寄存器的内容传送到 R15:
# l; E6 ~$ Z4 w+ t& s* O. g
  MOV     PC, R14                 ; 退出到调用者
' Y) P7 n: a3 ]4 s2 s3 |5 b& P
  MOVS    PC, R14                 ; 退出到调用者并恢复标志位
9 `# I" ]! i. _$ g& U3 r                                    (不遵从 32-bit 体系)
' K: a9 s. T* |, Z! y　
# h) G' h9 Y# Z- C) p4 \2 NMVN : 传送取反的值
(MoveNegative)
: @$ T9 v- g7 }+ ~( Z
! w7 X7 f1 E  ?: x; HMVN{条件}{S}  <dest>, <op 1>
; p2 @- M0 J/ H. [# p0 j) ~
2 {! k7 [: u3 q1 W! e% M, ]                dest = !op_1
MVN 从另一个寄存器、被移位的寄存器、或一个立即值装载一个值到目的寄存器。不同之处是在传送之前位被反转了，所以把一个被取反的值传送到一个寄存器中。这是逻辑非操作而不是算术操作，这个取反的值加 1 才是它的取负的值:
7 o' K$ A2 K0 j+ g/ V
  m0 w/ m3 Y9 Z) B" T  L" _0 f  MVN     R0, #4                  ; R0 = -5

+ R: h# u4 H4 O4 e+ x9 F% b  MVN     R0, #0                  ; R0 = -1
　
! h4 ^% r3 p) q9 d. e& iORR : 逻辑或
: K; \, h' e. t5 u(logical OR)
! U6 f0 B3 `1 P2 J+ W
ORR{条件}{S}  <dest>, <op 1>, <op 2>
+ u. o4 [$ _9 U8 L8 H3 J
                dest = op_1 OR op_2
2 I/ o3 k1 B% F% [' p0 `9 \OR 将在两个操作数上进行逻辑或，把结果放置到目的寄存器中；对设置特定的位有用。操作数 1 是一个寄存器，操作数 2 可以是一个寄存器，被移位的寄存器，或一个立即值:
) E/ r* K% y- m, k6 M
ORR     R0, R0, #3              ; 设置 R0 中位 0 和 1
OR 真值表(二者中存在 1 则结果为 1):

Op_1   Op_2   结果

  0      0      0
  0      1      1
% Q; I9 ]3 d* I1 D. c/ F4 M# L4 P& q  1      0      1
: Y- j9 O, q6 x8 x3 m2 v/ P# f0 y4 ]  1      1      1
　
: `' c6 g" Z( D4 q  ~  q% O1 C9 b8 kRSB : 反向减法
/ z. C* ?1 a5 Z5 v2 Z(Reverse Subtraction)
* @. t* O3 h3 T3 M1 |: N
- h1 P" z4 P; I0 ]8 j$ E1 [* c( _RSB{条件}{S}  <dest>, <op 1>, <op 2>
5 r; |, ]/ P0 U: ^' L! ~- q) Z
                dest = op_2 - op_1
SUB 用操作数 two 减去操作数 one，把结果放置到目的寄存器中。操作数 1 是一个寄存器，操作数 2 可以是一个寄存器，被移位的寄存器，或一个立即值:

" s& _6 A7 H3 Y0 ]: Q2 m+ w) k6 ?9 b  RSB     R0, R1, R2              ; R0 = R2 - R1
  RSB     R0, R1, #256            ; R0 = 256 - R1
  RSB     R0, R2, R3,LSL#1        ; R0 = (R3 << 1) - R2
反向减法可以在有符号或无符号数上进行。

　

RSC : 带借位的反向减法
(Reverse Subtraction with Carry)
6 p, t3 N* _% h( \
5 Q9 d& X5 I0 pRSC{条件}{S}  <dest>, <op 1>, <op 2>

. z1 P4 @5 _4 _" _7 z( l                dest = op_2 - op_1 - !carry
- Y/ W9 v- u& g# l3 J  R  |同于 SBC，但倒换了两个操作数的前后位置。

6 o3 Y7 @5 Z6 M$ l6 h　
4 r% T' [( K: g, Q, o, s' T
# a  E' E5 Y7 z$ a  XSBC : 带借位的减法
(Subtraction with Carry)
. f( D. [2 v8 b' ?' h
SBC{条件}{S}  <dest>, <op 1>, <op 2>
/ E9 Z! s. X1 @# c
                dest = op_1 - op_2 - !carry
SBC 做两个操作数的减法，把结果放置到目的寄存器中。它使用进位标志来表示借位，这样就可以做大于 32 位的减法。SUB 和 SBC 生成进位标志的方式不同于常规，如果需要借位则清除进位标志。所以，指令要对进位标志进行一个非操作 - 在指令执行期间自动的反转此位。
$ o5 K1 p! `& u5 h! @. m8 S
+ t% O) ?' C! ]+ [6 w　

+ }) s: V, t6 E4 Y( T0 xSUB : 减法
, r) C0 m/ E6 N(Subtraction)

SUB{条件}{S}  <dest>, <op 1>, <op 2>
6 [5 j- Q. H4 k! k0 V8 [. {! n; L/ n3 S
                dest = op_1 - op_2
SUB 用操作数 one 减去操作数 two，把结果放置到目的寄存器中。操作数 1 是一个寄存器，操作数 2 可以是一个寄存器，被移位的寄存器，或一个立即值:
1 C% [8 _$ S  a% r, T3 u+ h
  SUB     R0, R1, R2              ; R0 = R1 - R2
- `0 e) P8 }" A6 X1 E  SUB     R0, R1, #256            ; R0 = R1 - 256
  SUB     R0, R2, R3,LSL#1        ; R0 = R2 - (R3 << 1)
$ X6 h- p  b7 j1 W$ ?. X! u( c$ U1 R减法可以在有符号和无符号数上进行。

, S; K3 x, Q' I8 v% E- T$ H移位指令
       ARM 处理器组建了可以与数据处理指令(ADC、ADD、AND、BIC、CMN、CMP、EOR、MOV、MVN、ORR、RSB、SBC、SUB、TEQ、TST)一起使用的桶式移位器(barrel shifter)。你还可以使用桶式移位器影响在 LDR/STR 操作中的变址值。

: w" G% i6 m+ t4 Z7 e译注：移位操作在 ARM 指令集中不作为单独的指令使用，它是指令格式中是一个字段，在汇编语言中表示为指令中的选项。如果数据处理指令的第二个操作数或者单一数据传送指令中的变址是寄存器，则可以对它进行各种移位操作。如果数据处理指令的第二个操作数是立即值，在指令中用 8 位立即值和 4 位循环移位来表示它，所以对大于 255 的立即值，汇编器尝试通过在指令中设置循环移位数量来表示它，如果不能表示则生成一个错误。在逻辑类指令中，逻辑运算指令由指令中 S 位的设置或清除来确定是否影响进位标志，而比较指令的 S 位总是设置的。在单一数据传送指令中指定移位的数量只能用立即值而不能用寄存器。

- R' R  o1 D* U% t下面是给不同的移位类型的六个助记符:
2 a7 U+ S3 U8 K6 `7 p4 D2 R/ o
! u7 U3 o% X+ {6 @: o9 g  LSL  逻辑左移
  ASL  算术左移
1 }' i: g- s% ~0 A& |. n  LSR  逻辑右移
  ASR  算术右移
( i" d% x$ {6 \& ]5 X& j  ROR  循环右移
% m  X. i* v" M! t6 F  RRX  带扩展的循环右移
ASL 和 LSL 是等同的，可以自由互换。
8 @1 m7 ]6 |7 I8 s9 f  Y$ _1 ^$ e
7 `" ]0 Q# ~7 S5 ]" z你可以用一个立即值(从 0 到 31)指定移位数量，或用包含在 0 和 31 之间的一个值的寄存器指定移位数量。

逻辑或算术左移
2 n( z, e9 U% D, O7 x(Logical or Arithmetic Shift Left)

  Rx, LSL #n    or
  Rx, ASL #n    or
  Rx, LSL Rn    or
! Y* d) }% a2 \# W( C& Y  Rx, ASL Rn
( k* I" S9 y5 m2 c* d+ T8 m接受 Rx 的内容并按用‘n’或在寄存器 Rn 中指定的数量向高有效位方向移位。最低有效位用零来填充。除了概念上的第 33 位(就是被移出的最小的那位)之外丢弃移出最左端的高位，如果逻辑类指令中 S 位被设置了，则此位将成为从桶式移位器退出时进位标志的值。

考虑下列:

7 i- k+ y# u/ e  MOV    R1, #12
: R, s% k; z. E* I1 M  MOV    R0, R1, LSL#2
8 r% U% B; z/ J$ C在退出时，R0 是 48。 这些指令形成的总和是 R0 = #12, LSL#2 等同于 BASIC 的 R0 = 12 << 2

逻辑右移
$ i2 W; G. U1 d1 n(Logical Shift Right)

/ T: {) `" b7 X6 B  Rx, LSR #n    or
  Rx, LSR Rn
它在概念上与左移相对。把所有位向更低有效位方向移动。如果逻辑类指令中 S 位被设置了，则把最后被移出最右端的那位放置到进位标志中。它同于 BASIC 的 register = value >>> shift。
! w5 f$ f* F3 H" Q
算术右移
! B% e& N5 y- Y4 N7 s3 `(Arithmetic Shift Right)
/ y; v; S; p" C* L& }
( v+ N" }" _" X+ _& m  Rx, ASR #n    or
) S- S4 }- m# K0 V; Z  Rx, ASR Rn
/ _* I$ f) z# P类似于 LSR，但使用要被移位的寄存器(Rx)的第 31 位的值来填充高位，用来保护补码表示中的符号。如果逻辑类指令中 S 位被设置了，则把最后被移出最右端的那位放置到进位标志中。它同于 BASIC 的 register = value >> shift。
; x  r+ [3 }& O3 K, x+ n
循环右移
! t" U: C8 q( B0 g; N. F(Rotate Right)

  Rx, ROR #n    or
/ D$ I4 p+ S4 I/ V1 }* Z  Rx, ROR Rn
循环右移类似于逻辑右移，但是把从右侧移出去的位放置到左侧，如果逻辑类指令中 S 位被设置了，则同时放置到进位标志中，这就是位的‘循环’。一个移位量为 32 的操作将导致输出与输入完全一致，因为所有位都被移位了 32 个位置，又回到了开始时的位置!

! n. r0 V3 t: I+ S& W/ T带扩展的循环右移
(Rotate Right with extend)

Rx, RRX
$ R/ ]3 b: Q/ d4 j这是一个 ROR#0 操作，它向右移动一个位置 - 不同之处是，它使用处理器的进位标志来提供一个要被移位的 33 位的数量。
, F0 H. o& Y* ^
, K8 g; y' s) W! D  V- V- {乘法指令
指令格式
3 B# ~! M& e: K. B4 E* e6 r
5 J4 d! r* |( k- u4 C2 M这两个指令与普通算术指令在对操作数的限制上有所不同:
- o& ^- j) x# x# W7 v* Z' P
给出的所有操作数、和目的寄存器必须为简单的寄存器。
7 x4 i$ O! g: |  D# G) e你不能对操作数 2 使用立即值或被移位的寄存器。
目的寄存器和操作数 1 必须是不同的寄存器。
. R5 n2 P' U0 \' Q6 x# W最后，你不能指定 R15 为目的寄存器。
5 t* a0 T; p6 m3 n2 d$ dMLA : 带累加的乘法
(Multiplication with Accumulate)
$ w" t$ {: g1 O9 O
MLA{条件}{S}  <dest>, <op 1>, <op 2>, <op 3>
- T; y8 I( i( A7 K  z% b
5 x$ f8 |+ f0 N                dest = (op_1 * op_2) + op_3
0 B/ G$ \% J; Z  aMLA 的行为同于 MUL，但它把操作数 3 的值加到结果上。这在求总和时有用。
3 P1 X7 @+ X3 d! V
　
! O3 K$ o1 Y" i0 c: z6 i, [
MUL : 乘法
(Multiplication)
: X2 ?5 D* d; `* ^# Q0 B+ m7 d" k  d
MUL{条件}{S}  <dest>, <op 1>, <op 2>
. o+ M- ?$ s: T6 F+ h) _
                dest = op_1 * op_2
% H, C" \: }- ^7 MMUL 提供 32 位整数乘法。如果操作数是有符号的，可以假定结果也是有符号的。

" v& [: b$ K5 t' T6 m% [比较指令
3 \$ ~% p$ m9 Y, N' E指令格式
( L7 I. S- i% K1 X3 x2 c: t  I
, M& `. `* n5 Y# ^! h2 f译注：CMP 和 CMP 是算术指令，TEQ 和 TST 是逻辑指令。把它们归入一类的原因是它们的 S 位总是设置的，就是说，它们总是影响标志位。

CMN : 比较取负的值
(Compare Negative)
0 \: @8 N& |' H6 y0 Y
CMN{条件}{P}  <op 1>, <op 2>
" |; a$ I) w: n* \, S, v( f3 w/ H
& \" b! [- N( F% W2 d' Q5 Q% j                status = op_1 - (- op_2)
" q* A5 O; n: eCMN 同于 CMP，但它允许你与小负值(操作数 2 的取负的值)进行比较，比如难于用其他方法实现的用于结束列表的 -1。这样与 -1 比较将使用:
. }: r+ |2 q+ Z. Z
CMN     R0, #1                  ; 把 R0 与 -1 进行比较
详情参照 CMP 指令。

. B, R! ?4 Q& [, o  \　

( a* Z* n2 v9 y& ]0 WCMP : 比较
  `, j( ~( L7 P8 y3 X3 y(Compare)

CMP{条件}{P}  <op 1>, <op 2>
+ o! |$ H$ w+ q
, M7 d8 ^  a% i                status = op_1 - op_2
1 m* L: \/ B6 ^/ X$ v* ECMP 允许把一个寄存器的内容如另一个寄存器的内容或立即值进行比较，更改状态标志来允许进行条件执行。它进行一次减法，但不存储结果，而是正确的更改标志。标志表示的是操作数 1 比操作数 2 如何(大小等)。如果操作数 1 大于操作操作数 2，则此后的有 GT 后缀的指令将可以执行。
. ]3 E7 S7 r2 i( C明显的，你不需要显式的指定 S 后缀来更改状态标志... 如果你指定了它则被忽略。
" O3 K% z6 s, ]; i. ^4 U
　

5 Q0 ~1 o4 @7 JTEQ : 测试等价
* Z' X4 k; ?/ T+ u0 ^8 u9 B(Test Equivalence)

' m& a; R! i3 W! w# uTEQ{条件}{P}  <op 1>, <op 2>

                Status = op_1 EOR op_2
TEQ 类似于 TST。区别是这里的概念上的计算是 EOR 而不是 AND。这提供了一种查看两个操作数是否相同而又不影响进位标志(不象 CMP那样)的方法。加上 P 后缀的 TEQ 还可用于改变 R15 中的标志(在 26-bit 模式中)。详情请参照 psr.html，在 32-bit 模式下如何做请参见这里。

　

1 m, O2 s5 S9 e; B# O$ i3 BTST : 测试位
# X1 x! ^" M8 m. h7 Q(Test bits)
2 h' j) ?# O4 h, C0 _+ T; U
! u! t  e! Q6 TTST{条件}{P}  <op 1>, <op 2>
! ?* j* Y, o1 o9 s6 ?; \: A  \5 P
- _0 F* l0 g% `- y0 @3 j) I0 V: O0 i/ ^                Status = op_1 AND op_2
* e% h' T4 l" A. A9 gTST 类似于 CMP，不产生放置到目的寄存器中的结果。而是在给出的两个操作数上进行操作并把结果反映到状态标志上。使用 TST 来检查是否设置了特定的位。操作数 1 是要测试的数据字而操作数 2 是一个位掩码。经过测试后，如果匹配则设置 Zero 标志，否则清除它。象 CMP 那样，你不需要指定 S 后缀。

7 t: t# t5 p- l: s: r% l% vTST     R0, #%1                 ; 测试在 R0 中是否设置了位 0。

+ R7 U8 o3 U1 C: H9 v* \1 o# A分支指令
/ v  d9 P8 p, D. \B : 分支
(Branch)
B{条件}  <地址>
" y. N$ K; O) s: L0 RB 是最简单的分支。一旦遇到一个 B 指令，ARM 处理器将立即跳转到给定的地址，从那里继续执行。
, b/ v( E5 Z2 Z! A* G- m注意存储在分支指令中的实际的值是相对当前的 R15 的值的一个偏移量；而不是一个绝对地址。
9 T2 w* p* I( s7 G/ e4 Q它的值由汇编器来计算，它是 24 位有符号数，左移两位后有符号扩展为 32 位，表示的有效偏移为 26 位(+/- 32 M)。
在其他处理器上，你可能经常见到这样的指令:
OPT 1
  LDA &70
; i  ]$ ?0 Z- _/ ^  CMP #0
6 a: ^+ n( Y; V& D! p  BEQ Zero
; ~) |6 M8 G5 j2 f  STA &72
8 w3 G0 E& x* l .Zero RTS
1 N5 L( g9 C/ ]# b(取自 Acorn Electron User Guide issue 1 page 213)
: o6 u* ?3 R; Y在 ARM 处理器上，它们将变成下面这些东西:
; o5 Q* ]; v/ s9 uOPT     1
- z3 E! p% T9 |* [0 @  ADR     R1, #&70
  LDR     R0, [R1]
  CMP     #0
  BEQ     Zero
1 o# c5 p* Y" e: z0 g9 e& @: B  STR     R0, [R1, #2]
.Zero
  MOV     PC, R14
这不是一个很好的例子，但你可以构想如何更好的去条件执行而不是分支。另一方面，如果你有大段的代码或者你的代码使用状态标志，那么你可以使用条件执行来实现各类分支: 这样一个单一的简单条件执行指令可以替代在其他处理器中存在的所有这些分支和跳转指令。
% |& {! @; W9 }9 N; QOPT     1
  ADR     R1, #&70
  LDR     R0, [R1]
7 |- B, H& ]* `3 a0 J! h1 |" B  CMP     R0, #0
  STRNE   R0, [R1, #2]
  MOV     PC, R14
BL : 带连接的分支

(Branch with Link)
5 Y- \7 ~! K! k; y: _  G
) s5 {7 C3 c8 Z/ D4 |# m- zBL{条件}  <地址>
* Y9 k2 ^1 w3 M! q" K# Q  ?
4 V5 `" `. L* z" g# d2 K+ ?BL 是另一个分支指令。就在分支之前，在寄存器 14 中装载上 R15 的内容。你可以重新装载 R14 到 R15 中来返回到在这个分支之后的那个指令，
5 F/ \1 a4 s/ }
它是子例程的一个基本但强力的实现。它的作用在屏幕装载器 2 (例子 4)中得以很好的展现...

- \; h. n0 }8 z8 G* Y.load_new_format
      BL     switch_screen_mode
2 o3 B4 j; s) v3 P5 A9 V9 j7 A/ @( Z      BL     get_screen_info
      BL     load_palette
6 h. p6 R8 u' W  S
/ b6 D7 l" A# i" f    .new_loop
4 |' S" r6 d0 S  y( w! O% l. H$ U1 G      MOV    R1, R5
0 x! R. t/ j8 s+ y: d  b      BL     read_byte
      CMP    R0, #255
) Z4 Z3 I- E1 G; w      BLEQ   read_loop
( }6 O9 H) o9 K1 }  z9 \      STRB   R0, [R2, #1]!

; d3 G% @8 o; y2 j  y% i- s) }6 N...在这里我们见到在装载器循环之前调用了三个子例程。接着，一旦满足了条件执行就在循环中调用了 read_byte 子例程。
2 r! H( q% ^5 y# b: M& o" A
9 S- A" t, Z- {3 p条件执行

0 k' p. T) c- a- Q% d3 s　

# S/ G7 X* f+ F* C& C4 Q
ARM 处理器的一个非常特殊的特征是它的条件执行。我们指的不是基本的如果进位则分支，ARM 使这个逻辑阶段进一步深化为如果进位则 XXX- 这里的 XXX 是任何东西。
9 u8 K( r& m0 a0 n/ S为了举例，下面是 Intel 8086 处理器分支指令的一个列表:
  I. A2 q' ^3 j3 h$ ?JA    Jump if Above
  JAE   Jump if Above or Equal
7 `; x+ K6 R5 P' ^9 w  JB    Jump if Below
  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)
8 v2 v% `% x/ W  JE    Jump if Equal
  JG    Jump if Greater than
# H$ K0 X8 P8 q. p  g( C  JGE   Jump if Greater than or Equal
  JL    Jump if Less than
) g6 c) g. z. q$ {9 y0 i  JLE   Jump if Less Than or Equal
1 U! l9 O& ~, Z/ k: r3 F  JMP   JuMP
  JNA   Jump if Not Above
) V5 a6 c" M: K& T' b, L( m  JNAE  Jump if Not Above or Equal
  JNB   Jump if Not Below
: p6 t2 z, u. Y- K6 d  JNBE  Jump if Not Below or Equal
  JNC   Jump if No Carry
6 L! i. n! y$ t- T- S  JNE   Jump if Not Equal
3 T1 m, l  Q. N; }7 i* G9 ?  JNG   Jump if Not Greater than
  JNGE  Jump if Not Greater than or Equal
6 Z- x' X' S" ~2 S1 d6 P! a0 |  JNL   Jump if Not Less than
8 Z1 L' o7 w+ c# Q+ u* g4 F9 Q' D  JNLE  Jump if Not Less than or Equal
  JNO   Jump if Not Overflow
3 J4 a6 ~! t( P' V$ g' ?" M8 M) Q  JNP   Jump if Not Parity
  JNS   Jump if Not Sign
6 `; F1 e  I2 I  JNZ   Jump if Not Zero
) a" x' U& f( M1 q2 l1 O8 H/ i8 L  JO    Jump if Overflow
  b% f5 \+ Q" }1 j- ?* D  JP    Jump if Parity
  JPE   Jump if Parity Even
! U4 |3 w9 \* g4 T, b  JPO   Jump if Parity Odd
: m0 m; O. u2 t+ _  JS    Jump if Sign
5 E) z+ Q: |" |4 q# Y* D( e0 N  JZ    Jump if Zero
; m9 V+ Z8 l2 T" q( L- k& F! Y$ `: @
80386 添加了:
  JECXZ Jump if ECX Zero

作为对比，ARM 处理器只提供了:
B     分支
  BL    带连接的分支

9 s; ?' o9 O2 }但 ARM 提供了条件执行，你可以不受这个表面上不灵活的方式的限制:
) d: S# L9 X5 N4 ^# s: yBEQ   Branch if EQual
8 k6 h5 O) Z: X4 H: w/ L/ b  BNE   Branch if Not Equal
6 F" c* _) |& ]! ]2 f+ f% [- E% @) V  BVS   Branch if oVerflow Set
+ Y/ M+ y9 y. o# ?  BVC   Branch if oVerflow Clear
+ ]/ _* x. }& W1 ^  BHI   Branch if HIgher
  BLS   Branch if Lower or the Same
" G! s* ?5 F! v/ r. Z  A8 k& E0 ^  E  BPL   Branch if PLus
  K, O9 b" |3 L- {* B  BMI   Branch if MInus
, ?- W. F" h& e; c+ P2 \; [  BCS   Branch if Carry Set
  BCC   Branch if Carry Clear
2 X$ Q; q. b8 E7 Q9 w  BGE   Branch if Greater than or Equal
  BGT   Branch if Greater Than
  BLE   Branch if Less than or Equal
3 ~4 Q; ?6 D: {0 d* N) R  BLT   Branch if Less Than

0 j4 ~7 C7 d% E4 u6 x  BLEQ  Branch with Link if EQual
  ....
; Z6 A( `. J! z! k  BLLT  Branch with Link if Less Than

还有两个代码，
# P6 M+ G8 Y: B$ E  U5 ^AL - ALways，缺省条件所以不须指定

   
NV - NeVer，不是非常有用。你无论如何不要使用这个代码...
! [* V8 Q: m( e2 S7 T
0 g% l4 z5 `0 T! a. ]( i3 c
当你发现所有 Bxx 指令实际上是同一个指令的时候，紧要关头就到了。
接着你会想，如果你可以在一个分支指令上加上所有这些条件，那么对一个寄存器装载指令能否加上它们? 答案是可以。
下面是可获得的条件代码的列表:
. E0 [# C* V# n2 T& |EQ : 等于
, k) Y" D! S0 x2 J% V如果一次比较之后设置了 Z 标志。
; `3 v) t" |$ }# J　
( Z: w/ B) M9 [; a0 ]NE : 不等于
如果一次比较之后清除了 Z 标志。
　
2 @+ H' g: Q0 G8 `' L) D) T; {VS : 溢出设置
5 [1 g( o& k1 k6 B) u如果在一次算术操作之后设置了 V 标志，计算的结果不适合放入一个 32bit 目标寄存器中。
- E) j7 B# k  W- x, P& F4 f　
VC : 溢出清除
# j, d! E- e( [) b( B% C3 S如果清除了 V 标志，与 VS 相反。
　
HI : 高于(无符号)
/ j2 x3 }7 x8 U6 t; g+ a如果一次比较之后设置了 C 标志并清除了 Z 标志。
7 f# |& x' s5 ]; u. x6 R　
LS : 低于或同于(无符号)
如果一次比较操作之后清除了 C 标志或设置了 Z 标志。
+ X4 q6 D/ b* U: C# `$ A　
PL : 正号
如果一次算术操作之后清除了 N。出于定义‘正号’的目的，零是正数的原因是它不是负数...
8 D, `  s' i& t' M! W8 i　
# c3 N; R7 B/ k- a, xMI : 负号
如果一次算术操作之后设置了 N 标志。
9 D0 s5 {  H, x- O: K, P7 \/ h( `　
CS : 进位设置
0 z8 o) D2 a: ~8 Q- C1 h3 f& w如果一次算术操作或移位操作之后设置了 C 标志，操作的结果不能表示为 32bit。你可以把 C 标志当作结果的第 33 位。
　
CC : 进位清除
与 CS 相反。
　
9 B! w* e: T, q$ L9 Q% A- E4 PGE : 大于或等于(有符号)
4 ?+ y+ P  a4 I* V7 F如果一次比较之后...
设置了 N 标志并设置了 V 标志
或者...
$ W& I% T% ~6 k: l8 t清除了 N 标志并清除了 V 标志。
5 ^7 \) D! S8 [1 h　
0 Q8 ~4 ~+ s1 q4 f3 X) n9 ^- }! A# qGT : 大于(有符号)
如果一次比较之后...
2 E, K% `- I' S) L* L# Q设置了 N 标志并设置了 V 标志
或者...
清除了 N 标志并清除了 V 标志
并且...
6 |' o9 O4 L! A. |/ `$ A清除了 Z 标志。
　
LE : 小于或等于(有符号)
; S" Y2 m" u" V+ e如果一次比较之后...
2 }  n1 \( X# }  j4 y- ?设置了 N 标志并清除了 V 标志
或者...
清除了 N 标志并设置了 V 标志
并且...
设置了 Z 标志。
　
1 f" v$ L- g  b6 z. I% zLT : 小于(有符号)
如果一次比较之后...
# d" F% S8 `' X* J2 G( a设置了 N 标志并清除了 V 标志。
- w3 R! i- l, N4 Z- C+ A6 }0 ?  u或者...
清除了 N 标志并设置了 V 标志。
) N/ {: E9 t$ g3 G( n　
" g, k. \# y* l4 |# SAL : 总是
缺省条件，所以不用明显声明。
6 _* L4 B1 f- ?　
$ c7 B* S! _6 qNV : 从不
不是特别有用，它表示应当永远不执行这个指令。是穷人的 NOP。
* N  {8 p' `- E4 z包含 NV 是为了完整性(与 AL 相对)，你不应该在你的代码中使用它。
有一个在最后的条件代码 S，它以相反的方式工作。当用于一个指令的时候，导致更改状态标志。这不是自动发生的 - 除非这些指令的目的是设置状态。例如:
  ADD     R0, R0, R1

! l4 G# l' x$ t  ADDS    R0, R0, R1
, ~# Y5 m0 w( y( Z' G6 `( q3 s% i0 Y
* {6 U/ X% h# E( e  ADDEQS  R0, R0, R1
+ p  d" J! s  |9 ^! |+ m2 d
第一个例子是一个基本的加法(把 R1 的值增加到 R0)，它不影响状态寄存器。
0 |0 _% Y. d* N, c0 t第二个例子是同一个加法，只不过它导致更改状态寄存器。

9 I: M  W9 \+ q. d9 J最后一个例子是同一个加法，更改状态寄存器。不同在于它是一个有条件的指令。只有前一个操作的结果是 EQ (如果设置了 Z 标志)的时候它才执行。
" p. ]9 Q. a( X' _2 D9 A8 u' |
+ N# ]( [6 e2 ^- _5 T  B下面是条件执行的一个工作中的例子。你把寄存器 0 与存储在寄存器 10 中内容相比较。
) @. Y% b& ]! z9 T1 G* r
如果不等于 R10，则调用一个软件中断，增加它并分支回来再次做这些。否则清除 R10 并返回到调用它的那部分代码(它的地址存储在 R14)。

\ 条件执行的一个例子
; w" _5 g# V7 Y: T# p1 N- W* [
6 R# E+ `( B& I) b4 T  .loop                           ; 标记循环开始位置
9 f5 _1 o6 d2 \/ N+ K( d7 h  CMP     R0, R10                 ; 把 R0 与 R10 相比较
! G% a' |9 f% h/ F  SWINE   &40017                  ; 不等于: 调用 SWI &40017
; P* l1 s& O# s  ADDNE   R0, R0, #1              ;         向 R0 加 1
  BNE     loop                    ;         分支到 'loop'
  MOV     R10, #0                 ; 等于  : 设置 R10 为零
+ y5 u' f' Z2 V1 P  LDMFD   R13!, {R0-R12,PC}       ;         返回到调用者

注解:
SWI 编号就象我写的这样。在 RISC OS 下，它是给 Econet_DoImmediate 的编号。不要字面的接受它，这只是一个例子!

4 @) K7 F$ J0 E   
你可能以前没见过 LDMFD，它从栈中装载多个寄存器。在这个例子中，我们从一个完全正式的栈中装载 R0 至 R12 和 R14。关于寄存器装载和存储的更多信息请参阅 str.html。
" F& o- J4 c5 O3 c- U( D
   
* D; \% t: m# Y% W8 S% Y我说要装载 R14。那么为什么要把它放入 PC 中? 原因是此时 R14 存储的值包含返回地址。我们也可以采用:
2 D7 v6 m( \) \2 q1 WLDMFD      R13!, {R0-R12,R14}
# R: }; J) G- u5 n6 d4 T, Q' N+ h
    MOV        PC, R14
' F8 e( N  P" p2 U6 ~" ?3 W9 e, i" x' K但是直接恢复到 PC 中可以省略这个 MOV 语句。

* ?  `/ ?4 z4 g( z& K5 C   
最后，这些寄存器很有可能被一个 SWI 调用所占用(依赖于在调用期间执行的代码)，所以你最好把你的重要的寄存器压入栈中，以后在恢复它们。


            
SWI 指令

                     
SWI : 软件中断
3 b$ V' B; @+ c  u) Y1 D) b' {
7 _9 J$ T; H1 [, O2 z8 P- |7 |(Software Interrupt)
. M" _' {. Z" {( u. `( e8 I
1 J3 N! d- r; p& x* X1 hSWI{条件}  <24 位编号>

指令格式
这是一个简单的设施，但可能是最常用的。多数操作系统设施是用 SWI 提供的。没有 SWI 的 RISC OS 是不可想象的。

3 |! x0 c8 d( W/ nNava Whiteford 解释了 SWI 是如何工作的(最初在 Frobnicate issue 12?)...
+ u+ h0 a  w5 S0 D
　

SWI 是什么?

6 A, k$ b3 n- i+ N! i$ w' u' Q* mSWI 表示 Software Interrupt。在 RISC OS  中使用 SWI 来访问操作系统例程或第三方生产的模块。许多应用使用模块来给其他应用提供低层外部访问。
SWI 的例子有:

" N$ n4 U+ _3 v0 L! o  G. J
. s: C/ \7 z$ ~文件器 SWI，它辅助读写磁盘、设置属性等。
: P3 ?! L0 e, z$ `" M  P) b
   
打印机驱动器 SWI，用来辅助使用打印并行端口。

# h3 V. _6 c( j9 T- O   
FreeNet/Acorn TCP/IP 协议栈 SWI，用 TCP/IP 协议在 Internet 上发送和接收数据。
9 ~+ q5 }7 M; p, y+ b1 ^, W- x
在以这种方式使用的时候，SWI 允许操作系统拥有一个模块结构，这意味着用来建立完整的操作系统的所需的代码可以被分割成许多小的部分(模块)和一个模块处理程序(handler)。

: O% @; s* A8 b4 T
$ J2 n! u/ h, B, S! u当 SWI 处理程序得到对特定的例程编号的一个请求的时候，它找到这个例程的位置并执行它，并传递(有关的)任何数据。
, U# Z+ w, h/ y& B
/ S$ {$ ?8 c# T6 G0 Z* Z3 v
它是如何工作的?

首先查看一下如何使用它。一个 SWI 指令(汇编语言)看起来如下:
9 m0 l! _/ ?6 p7 W. W& l& [SWI &02

+ A$ I( l- I* I# Z4 z2 p6 F5 d或
SWI "OS_Write0"
9 z3 `! A- U( E  ^
这些指令实际上是相同的，将被汇编成相同的指令。唯一的不同是第二个指令使用一个字符串来表示 SWI 编号 &02。
/ I! f1 Y- x( w  I8 B" Y- P( _; E在使用采用了字符串编号的程序的时候，在执行之前首先查找这个字符串。
在这里我们不想处理字符串，因为它不能给出它要进行什么的一个真实表示。它们通常用于增进一个程序的清晰程度，但不是实际执行的指令。

! j3 ^; R$ I, z. |, v1 L让我们再次看一下第一个指令:
- Y" r$ W* V4 }4 n% A
) A0 z' M& L, D" h' NSWI &02
! o# e. _% r# n' K
这是什么意思? 字面的意思是进入 SWI 处理程序并传递值 &02。在 RISC OS 中这意味着执行编号是 &02 的例程。
它是如何这么作的? 它如何传递 SWI 编号和进入 SWI 处理程序?

/ [1 g6 n5 V: V7 q6 u
如果你查看内存的开始 32 字节(位于 0-&1C)并反汇编它们(查开实际的 ARM 指令)你将见到如下:

& n- h! R! w& u( V$ A; h# u, c
$ S* H: r( o: o　


地址       内容               反汇编
/ f% L, o) x5 ^0 S00000000 : 0..? : E5000030 : STR     R0,[R0,#-48]
00000004 : .ó?? : E59FF31C : LDR     PC,&00000328
00000008 : .ó?? : E59FF31C : LDR     PC,&0000032C
+ Q! k; V5 C+ F- d6 Y0 S' S0000000C : .ó?? : E59FF31C : LDR     PC,&00000330
0 N& M4 q& [9 K00000010 : .ó?? : E59FF31C : LDR     PC,&00000334
) K5 r1 G" i$ F- ^( I9 \" T00000014 : .ó?? : E59FF31C : LDR     PC,&00000338
00000018 : .ó?? : E59FF31C : LDR     PC,&0000033C
0000001C :  2?? : E3A0A632 : MOV     R10,#&3200000
/ |/ I4 u! Z! m
# `; q  p( V6 t% }让我们仔细看一下。
除了第一个和最后一个指令之外(它们是特殊情况)你见到的都是把一个新值装载到 PC (程序计数器)的指令，它们告诉计算机到哪里去执行下一个指令。

7 g) `, w& n. b/ v& h2 Y
还展示了这个值是从内存中的一个地址接受来的。(你可以在 !Zap 主菜单上使用“Read Memory”选项去自己查看一下。)

  |! Y& C% J$ p$ ?8 X
这看起来好象与 SWI 没多少关系，下面做进一步的说明。
* ^, Q  u) i5 ?8 F7 G

6 G5 c/ G1 x) T# \8 H0 u; h一个 SWI 所做的一切就是把模式改变成超级用户并设置 PC 来执行在地址 &08 处的下一个指令!
6 R. k' B5 H6 }; f4 [, Y9 T

把处理器转换到超级用户模式会切换掉两个寄存器 r13 和 r14 并用 r13_svc 和 r14_svc 替换它们。
, E0 H  R, O. }0 G0 W4 }
% ^! S, \, M9 }! O% ]5 ]* @
. f2 ]  J% n# H6 b: {在进入超级用户模式的时候，还把 r14_svc 设置为在这个 SWI 指令之后的地址。
4 \- T9 H# t+ s; o3 h
$ L' R$ O' W8 k) N5 M
这个实际上就象一个连接到地址 &08 的分支指令(BL &08)，但带有用于一些数据(SWI 编号)的空间。


: L! a- D3 b% E: {% n; Z象我说过的那样，地址 &08 包含跳转到另一个地址的一个指令，就是实际的 SWI 程序的地址!
9 m+ @) _( i0 b0 a9 t
9 P6 B8 D8 E, E' B: T' q* Z" ^) T1 ]
此时你可能会想“稍等一会! 还有 SWI 编号呢?”。实际上处理器忽略这个值本身。SWI 处理程序使用传递来的 r14_svc 的值来获取它。

  I/ R5 U: ~4 Y( {- ?3 a, Y
, x' K8 I, [$ c4 V下面是完成它的步骤(在存储寄存器 r0-r12 之后):

# I% [7 i0 M" u7 Q2 Z$ a
" {8 N+ C; q! v+ }/ a它从 r14 中减去 4 来获得 SWI 指令的地址。

( T" w1 r3 I7 R9 ?4 v3 B; e   
, |; b, K" Q, y0 P2 V把这个指令装载到一个寄存器。
+ r) R) x8 P; K( H9 k% k
   
. _$ N5 A5 ?! _  X: D清除这个指令的高端 8 位，去掉了 OpCode 而只剩下的 SWI 编号。

) l% \" q1 C; [# a" i/ ^) s* J" R   
8 ~6 I: g! T/ w6 I使用这个值来找到要被执行的代码的例程的地址(使用查找表等)。
) T4 h' @% o: @- c# n  }4 r5 `
) O' O- I  d! Y; M   
恢复寄存器 r0-r12。
0 r! R* h* f, C
' L( F# ]+ y% \% v# ]" G   
+ N) p* E2 U" e" D使处理器离开超级用户模式。

   
1 c3 w8 ]3 \# k3 f& o% J跳转到这个例程的地址。
) w% ~* e" j8 N& l6 W0 V4 I* \: e

容易吧! ;)
下面是一个例子，来自 ARM610 datasheet:
4 v( W# Z- y0 \; w- O9 x
  e$ r3 D0 L* e2 T4 o
/ P; ?9 _3 I& B" ^" A' c0x08 B Supervisor

2 R/ `9 h5 w8 k) R! _% j+ f0 g: XEntryTable
6 o; u& V. I) ^" C" ?+ o) s DCD ZeroRtn
8 C1 U2 F, i! M7 ` DCD ReadCRtn
DCD WriteIRtn
& k. x+ C" Z" S0 B. a0 J3 Q5 q
. Q/ n# g4 ?3 n; i4 a; m' i ...

9 @4 H( t7 D' ?6 o# X4 ?3 a+ I/ h4 X2 qZero   EQU 0
ReadC  EQU 256
7 C7 |% i/ L7 o9 C" C2 j) j% i" S# MWriteI EQU 512
# J$ b0 o+ E+ O3 D8 M, z3 Y
- r+ }) g! F. k% ^  D; SWI 包含需要的例程在位 8-23 中和数据(如果有的话)在位 0-7 中。
; 假定 R13_svc 指向了一个合适的栈

STMFD R13, {r0-r2 , R14}
3 Y. l; D. e1 I/ a  i( Z( m ; 保存工作寄存器和返回地址。
- U9 P  o3 l) E5 V- @& SLDR R0,[R14,#-4]
; 得到 SWI 指令。
+ a" ?1 ?6 D- aBIC R0,R0, #0xFF000000
1 J6 [1 ~4 N( r2 n* m( P5 T ; 清除高端的 8 位。
  ~& o" ~: m6 U" y% }; P4 yMOV R1, R0, LSR #8
4 {4 f1 L. }% X, _: E ; 得到例程偏移量。
. ~% x  e7 U$ [  A% V; Z2 [1 tADR R2, EntryTable
; 得到入口表(EntryTable)的开始地址。
LDR R15,[R2,R1,LSL #2]
; 分支到正确的例程
: a: l9 R( B; A& ~$ ^" ~
8 j7 n! {8 H; F* e3 o$ l8 tWriteIRtn
9 v/ \$ V; z. l0 x ; 写 R0 中的位 0 - 7 中的字符。

.............
- R1 @# s0 Z5 O5 k$ { LDMFD R13, {r0-r2 , R15}^
8 o9 d  y" U  _5 Y/ ]+ I9 W  } ; 恢复工作空间，并返回、恢复处理器模式和标志。
2 ]0 ?2 T0 c' ]$ L+ Y9 o! O3 [
$ s& j+ P& L4 w; k0 h: u6 t这就是 SWI 指令的基本处理步骤。

kenson

ARM指令集不必要会编但一定要懂，如果你要学UBOOT的话那一定要看了。

kenson

其实ARM指令集不是好难，基本上都是这些变化。

hotdll

楼上大神，看这些指令，感觉都是汇编指令？

kenson

hotdll 发表于 2016-12-5 08:49
) q7 `9 ^+ U8 y# e9 k# J楼上大神，看这些指令，感觉都是汇编指令？

就是汇编啊
3 X2 Z! c5 s) g2 M/ n+ ^