关于ADR指令的理解

mytomorrow

之前在阅读ARM的汇编代码时，碰到了adr指令，查arm的指令手册，只说该指令是采用相对地址的，但这个相对地址应该怎么理解，却没有具体说明。之后在网上以adr指令为关键字进行搜索，也没有找到进一步的知识。结果，今天在搜索android资料的时候，意外的发现了adr指令与ldr指令的不同，一下子解决了心中的问题。以adr指令与ldr指令对比作为关键字，甚至可以搜到好几篇文章，实在是...... 竟然困扰了自己那么长时间。
/ J% A6 J$ ~5 i
将两篇转来，作为备忘吧。
一、adr和ldr的区别
+ l7 m  [0 `  C: K
% U$ e) E, C, r9 ~) K' u' t同学们在学习ARM指令时，多数都会对adr和ldr这两个命令产生疑惑，那他们究竟有什么区别呢？

) J2 W1 |! F6 G0 u8 H; l其实这两个都是伪指令：adr是小范围的地址读取伪指令，ldr是大范围的读取地址伪指令。可实际上adr是将基于PC相对偏移的地址值或基于寄存器相对地址值读取的为指令，而ldr用于加载32为立即数或一个地址到指定的寄存器中。到这儿就会看到其中的区别了。如果在程序中想加载某个函数或者某个在联接时候指定的地址时请使用adr，例如在lds中需要重新定位的地址。当加载32为的立即数或外部地址时请用ldr。

2 D8 r2 l* l6 |% s0 M我给大家先举个例子：
! W. \5 x# ]% i- G9 O+ b" i' w
AREA test,CODE,READONLY
8 w2 z. p: s0 t7 Q7 U$ U+ JENTRY

( T/ _2 R( D0 g  e1 s1 Wldr r0,_start
adr r0,_start
& c! C+ ]* [! ]+ n- Dldr r0,=_start
8 E7 Q: t/ `+ m* J3 o4 t% F6 Knop

4 d6 P* \' s9 g% j_start
nop
  I; H: {* Q1 g, T( }7 S* `END

# X0 {  L4 a7 R+ a" D. ?% T" M这段代码并无实际意义，只是为了方便说明。我们反汇编一下看看：

4: ldr r0,_start
0x00000000 E59F0008 LDR R0,[PC,#0x0008]
5 R2 C/ O) a9 f3 N, }: P5: adr r0,_start
0x00000004 E28F0004 ADD R0,PC,#0x00000004
5 }9 C, ]& c6 Q6: ldr r0,=_start
- t0 P" Z, B0 o8 }" K0x00000008 E59F0004 LDR R0,[PC,#0x0004]
5 u( k' Y6 P; k: ?6 t- @" |6 d& k7: nop
8:
, h2 M. c6 L* N! w2 w- q  }( f9:
) J, e8 j9 z$ w4 y1 c10: _start
6 C" @# r, |. y+ h  f0x0000000C E1A00000 NOP
11: nop

ldr r0, _start

9 I0 H. U; R3 D6 O  j从内存地址 _start 的地方把值读入。执行这个后，r0 = 0xe1a00000

) E/ Y3 @% g: j. D/ z" w* ]adr r0, _start

取得 _start 的地址到 r0，但是请看反编译的结果，它是与位置无关的。其实取得的时相对的位置。例如这段代码在 0x00000000 运行，那么 adr r0, _start 得到 r0 = 0x00000010；
1 N) v6 J3 D% ?9 ]) ]
! ]: u$ e- a3 J. Fldr r0, =_start
; q. X% m* @) J1 [& @
8 O" _: G. k7 m这个取得标号 _start 的绝对地址。这个绝对地址是在 link 的时候确定的。看上去这只是一个指令，但是它要占用 2 个 32bit 的空间，一条是指令，另一条是 _start 的数据（因为在编译的时候不能确定 _start 的值，而且也不能用 mov 指令来给 r0 赋一个 32bit 的常量，所以需要多出一个空间存放 _start 的真正数据，在这里就是 0x0000000c）。
. A+ ~/ t; Q/ t
因此可以看出，这个是绝对的寻址，不管这段代码在什么地方运行，它的结果都是 r0 = 0x0000000c。
8 E/ G6 O* e7 ?( K
$ v1 I: m. u( P* z二、ldr和adr在使用标号表达式作为操作数的区别
. _* ^, _' K& S! N# d
ARM汇编有ldr指令以及ldr、adr伪指令，他门都可以将标号表达式作为操作数，下面通过分析一段代码以及对应的反汇编结果来说明它们的区别。
. E: I0 O0 X  E' `% L
+ A6 d0 B# N8 l% ^2 Y3 Pldr r0, _start
5 d0 M  D+ p) q! w% A* hadr r0, _start
ldr r0, =_start
- r* a( F" x2 ?_start:
b _start
编译的时候设置 RO 为 0x30000000（好像有问题），下面是反汇编的结果：
% h9 v2 \3 X& i
0x00000000: e59f0004 ldr r0, [pc, #4] ; 0xc
. h& G4 R- q2 i7 i& e2 ^0x00000004: e28f0000 add r0, pc, #0 ; 0x0
& z3 h- B/ O; H( u% v5 A3 R$ s0x00000008: e59f0000 ldr r0, [pc, #0] ; 0x10
2 c4 E& l5 t: u7 }% g' M. v0x0000000c: eafffffe b 0xc
0x00000010: 3000000c andcc r0, r0, ip ;注这条指令是不在上面指令中的任何一条

1．ldr r0, _start ：读取指定地址中的值
2 t" w/ E) _9 ]6 X% u( Aldr在此是一条指令，把内存地址 _start 位置中的值读入r0。（_start为指针之意，读取指针的值）
在这里_start是一个标号（是一个相对程序的表达式），汇编程序计算相对于 PC 的偏移量，并生成相对于 PC的前索引指令：ldr r0, [pc, #4]。执行指令后，r0 = 0xeafffffe。
8 h# S: p6 @1 ]3 M) i可以在和_start标号的相对位置不变的情况下移动（ 也就是说整段代码从flash中拷贝到ram中依然可以正常运行）。
9 K; H* C% q7 D! V1 J
# v) q1 T+ c7 T3 z; M2．adr r0, _start ：将指定地址赋到r0中
ADR是小范围的地址读取伪指令.ADR 指令将基于PC 相对偏移的地址值读取到寄存器中.在汇编编译源程序时,ADR 伪指令被编译器替换成一条合适的指令.通常,编译器用一条
ADD 指令或SUB 指令来实现该ADR 伪指令的功能,若不能用一条指令实现,则产生错误,
编译失败.
3 u) e9 _, q- |) y1 m! Ar0的值为（（标号_start 的地址与此指令的距离差）+（此指令的地址））。在此例中被汇编成：add r0, pc, #0。该代码可以在和标号相对位置不变的情况下移动（也就是说整段代码从flash中拷贝到ram中依然可以正常运行）；
/ @1 m1 v- q+ Z; S4 k5 M假如这段代码在 0x30000000 运行，那么 adr r0, _start 得到 r0 = 0x3000000c；如果在地址 0 运行，就是 0x0000000c 了。
6 U' E( [* i# O0 z通过这一点可以判断程序在什么地方运行。U-boot中那段relocate代码就是通过adr实现判断当前程序是在RAM中还是flash中。

; B8 G6 y) n: l5 m9 I0 N3．ldr r0, =_start ：将指定标号的值赋给r0
ldr在此是一条伪指令，_start（即：label-expr）是一个相对程序的或外部的表达式。汇编程序将相对程序的标号表达式 label-expr 的值放在一个文字池中，并生成一个相对程序的 LDR 指令来从文字池中装载该值，在此例中生成的指令为：ldr r0, [pc, #0]，对应文字池中的地址以及值为：0x00000010: 3000000c。如果 label-expr 是一个外部表达式，或者未包含于当前段内，则汇编程序在目标文件中放置一个链接程序重定位命令。链接程序在链接时生成地址。
9 s& H- m. |8 V6 c2 K: J4 A' H1 \* q因此取得的是标号 _start 的绝对地址，这个绝对地址（运行地址）是在连接的时候确定的。它要占用 2 个 32bit 的空间，一条是指令，另一条是文字池中存放_start 的绝对地址。因此可以看出，不管这段代码将来在什么地方运行，它的结果都是 r0 = 0x3000000c。由于ldr r0, =_start取得的是_start的绝对地址，这句代码可以在_start标号的绝对位置不变的情况下移动；如果使用寄存器pc在程序中可以实现绝对转移。（1.绝对地址；2.标号对应的值）

举例：

GPFCON EQU 0x56000050

ldr r0,=GPFCON

GPFCON ：标号
3 R, b7 ], I& i: S; c
0x56000050 ：标号的值
6 I( w! b/ w3 t/ d! p. r5 V
ldr的确是个复杂的指令,现总结一下:
首先要判断我们用的是ldr arm指令还是伪指令。 当我们用的是arm指令时，它的作用不是向寄存器里加载立即数，而是将某个地址里的内容加载到寄存器。而伪指令ldr的作用就是向寄存器里加载立即数。
/ y, `4 D6 C, {$ B( }( G# W4 O/ _* |（1） ldr伪指令
ldr伪指令的格式是 ldr Rn, =expr
- G+ C: B, K4 T# i2 \; J$ \其中，expr是要加载到Rn中的内容，一般可以是立即数或者label。
如果expr可以用8bit数据向右移偶数位得到，那么这条伪指令就被编译器翻译成mov指令。具体的移位情况可以去查阅资料。反之如果立即数很大，超过了12bit的表示范畴，那么就不能用一条mov指令了，毕竟arm指令最大只有32bit的空间可用（RISC的arm所有的指令长度是一致的，效率较高，当然我们并不关心16bit的thumb指令）。如果不能用一条32bit的指令乘下来，那么就只能另辟蹊径了，新开一段缓冲，将立即数expr放到里面，然后将其地址（暂时标记为addr）拿来使用：
7 _5 N! j& T+ |8 r4 V) `* |ldr Rn, addr
8 T% N6 \- j- ~xxx (xxx就是expr)
1 [/ h5 S0 U: ^: Z3 i) Jxxx
& A0 M9 N* w: C3 x) N4 }8 [
$ ^6 ?1 \0 y/ F* t% i3 K3 J由于编译器一般来说新安排的存储这个立即数expr的缓冲的位置是在相应代码的附近（这个应该可以控制，好像是使用.ltorg伪指令）。我们从addr地址加载数据到Rn不就可以了。
9 z) ^/ E; `; Z  h
7 C. m  _$ M1 r（2）ldr arm 指令
1 b0 b7 ~2 T# D# {/ g- O, b$ \就是将一个地址的内容加载到寄存器。不能用mov，因为arm里的mov只是在寄存器之间传输数据，不支持在寄出器和memory之间传递数据。因此就出现了ldr/str指令。如ldr Rn, addr，注意这里的addr的值也是有限制的。这个label应该距离当前指令的距离不超过4k。因为我们知道label在具体使用的时候应该是被翻译成了相对偏移，如果这个label长度不超过12bit，那么就不应超过4k,我们可以这样做：
! G( Q- ?9 U: Q: K, X' Qldr pc, _start_armboot
_start_armboot: .word arm_startboot
2 E6 B1 `3 M3 V& f这样label _start_armboot就在指令下方，因此肯定是合法的。

+ l; e, e6 x: o
/ y' D0 V; k& l: E

NNNei256

ADR指令的理解