学习一下ARM的BX指令

mytomorrow

bx的语法格式
! d; T$ s8 X1 z, L) ZBX{<cond>} ＜Rm＞
5 u$ \8 K( B( a$ G# y7 A6 ], r＜cond＞为指令执行的条件码。当＜cond＞忽略时指令为无条件执行。
＜Rm＞该寄存器中为跳转的目标地址。当<Rm>寄存器的bit[0]为0时，目标地址处的指令为ARM指令；
8 v7 x+ @) k% w5 c) X# u当<Rm>寄存器的bit[0]为1时，目标地址处的指令为Thumb指令。
" e) l+ V1 y/ Y- s% O+ E
看一段简单程序的片段，不用考虑省略号的内容，看框架就可以了！
; P# O+ ^2 D# e- z- @
$ S- d' D; Y5 P) m7 b    EXPORT LEDTEST
, S& ]" H3 \" H# K    AREA testasm,CODE,READONLY
" L( c3 e) ?" x1 J    CODE32
* t# ~. Q3 f$ ~, Y. uLEDTEST
    。。。。。。。。。。
    。。。。。。。。。
+ G, H6 s* {4 D6 f! Z    。。。。。。。。
    。。。。。。。。。
    。。。。。。。。。。。
ledon
& z& S5 D* e7 N# ?1 {    ...............
    ...............
6 ~# }" T% I; j( [* J; H    。。。。。。。。。。。。
    。。。。。。。。。。。
    adr r4,delay1+1
    bx r4

9 G0 e& F" J" J% q; g2 O/ Iledoff
1 P5 A2 S2 V# ^$ m& @% F- P! s    ..............
    ...............
    .............
5 ]3 h. @- }# X5 y1 C    .............
& D3 F1 \5 j( H, @  p2 w    .............
/ |8 @$ J1 U+ ]! |# l8 K+ ]0 B" D    ..............
8 k6 F: }/ O/ z
3 Z$ x3 c# F" ^& h8 B* @    AREA testasm,CODE,READONLY
. |! [0 R4 ]  N$ T    CODE16
delay1
# G! Z' e7 N; _! L6 |    ............
7 b. C$ {- r, u) @    ...........
/ e: h. e2 q8 l  R: N    .............
    ldr r1,＝ledoff
8 U- t9 A4 t+ Q: H+ h    bx   r1
  C  k1 L6 ?1 M3 B0 ?$ O    ........
$ S4 g, W/ x2 N' w7 [# b( L, m" _' e    .............
: L' P- X4 D4 K/ k5 B! Q    .............
8 ]  `& J' k* R0 |0 q2 ZEND

关于delay1＋1：
9 i; B" n3 T6 N! W% y+ o% I8 i; |8 RARM指令是字对齐（指令的地址后两位为［1:0]=0b00），Thumb是半字对齐（指令的地址后两位为［1:0]=0bx0,x为0或1）。指令的地址的最后一位必为0。
: _' x/ c3 X% U8 U2 L因此bx（不管往ARM还是往Thumb跳转）的跳转指令必须保证指令地址的最后一位为0，上例中bx指令能自
动地将目标地址值置为r4的值和0xFFFFFFFE的与后的结果，就会使指令地址的最后一位必为0了。
那么delay＋1的这个1不就被0与掉了么，就没有什么作用了？其实，在执行bx指令时，它是首先判
/ r+ D6 q; ^5 L  c9 g( f! V断指令地址的后一位为0或1（这样就知道要跳转的地方是ARM还是Thumb指令。0跳转arm，1跳转thumb。），然后再PC＝r4 AND 0xFFFFFFFE。这样，当我们需要要跳转到Thumb指令处执行时，必须将指令地址的最后以为置1。
而bx再跳转到ARM指令时就无需考虑这些了，就不用像上面的+1处理了。

关于字对齐和半字对齐

游客，如果您要查看本帖隐藏内容请回复

" W. u; F$ m- X( p4 p  m

wu68aq

学习一下ARM的BX指令。