一.首先熟悉几个arm地址相关的概念:
首先arm地址有三个地址概念:编译地址、 期望运行物理地址、实际运行物理地址、相对地址、绝对地址、位置无关
编译地址 :编译阶段的生成地址,其是相对地址 ,有些地址还没确定,如调用其他.O文件中的函数或库函数
期望运行物理地址 :链接阶段生成的地址(期望绝对地址 ),会确定编译阶段没有确定的地址,并会根据链接器假设期望的程序烧录运行物理启始地址 ,来分配期望运行物理地址
实际运行物理地址 :当程序被烧写到系统(实际绝对地址 ),实际加载运行时,又有一个实际的程序烧录运行物理启始地址,这个时候进行相应的转换得到实际运行物理地址
位置无关 :和实际烧写运行的地址无关
二.根据以上的地址概念,来分析ldr和 adr/adrl 伪指令的区别
1. ldr
ldr r1, =_start
实际上会被编译器改成两条语句:
0x00 ldr r1,[pc, #0x0c]
//编译器知道DCD的地址,相对于ldr的地址偏移量,所以用ldr指令从此地址中取出0x64
....
0x0c DCD 0x64
/*其中0x64就是_start第一条指令的链接地址(作为标号_start本身是不占存储空间的),DCD分配了存储空间用于存放0x32,此空间成为文字池(literal pool)因为ldr命令(非伪指令)的最后一个操作数为12位,所以ldr的寻址范围为前后4KB,即文字池所处的范围,但文字池中的地址值是32位的,所以ldr伪指令的实际寻址空间是32位的,其中的0x64是期望运行物理地址,当实际代码烧写运行的位置不同时即实际运行物理地址与期望运行物理地址不同时,则代码运行错误,所以是位置相关的。*/
_start:
0x64 MOVE r0,r0
2. adr
adr r1, _start
实际上会被编译器改成一条语句:
0x00 add r1, pc, #0x64
/*被转换成加/减指令、编译器知道MOVE指令相对当前指令的偏移量(0x64),从而将MOVE的地址赋与r1
这里取地址的方式是根据当前PC的值加上偏移量获取的,不管程序烧写运行在何处,取得的地址都是合法的,所以是位置无关的。
其最后一个操作数是12位的,所以其寻址空间前后只能为4KB*/
_start:
0x64 MOVE r0,r0
3. adrl //转化成两个ADD,寻址空间是8KB
4.综述
所以综上所述,ldr和adr的区别主要就是地址的位置无关性的差别。ldr伪指令操作,一旦实际运行物理地址和期望运行物理地址存在差别,那就会造成程序运行错误。虽然adr有这么多优点,但是adr的寻址空间只有前后4kb,而且必须在同一个代码段中,ldr就没有这些要求。