ldr指令和adr、ldr偽指令的區(qū)別:
ldr指令屬于load-store指令,用于讀取標號地址中的值;
adr、ldr偽指令用于獲取標號的地址。
adr和ldr偽指令的區(qū)別:
adr是獲取相對PC的地址,與程序當前運行的位置相關(guān),是小范圍的地址讀取偽指令;
ldr是獲取絕對地址,絕對地址是在link的時候確定的,它與程序當前運行位置無關(guān),是大范圍讀取地址偽指令。
來看一個例子!
匯編文件:
ldr?r0,_start adr?r0,_start ldr?r0,=_start _start: b _start
反匯編:
led_elf:?????file?format?elf32-littlearm Disassembly?of?section?.text: 00000000?: ???0: e59f0004? ldr r0,?[pc,?#4] ;?c4: e28f0000? add r0,?pc,?#0 ;?0x0 ???8: e59f0000? ldr r0,?[pc,?#0] ;?10? ???c: eafffffe? b c10: 0000000c? andeq r0,?r0,?ip
1.ldr r0,_start
?0: e59f0004 ldrr0, [pc, #4]; c
這是一條指令,從內(nèi)存地址_start的位置裝載該地址存放的數(shù)據(jù)。
在這里_start是一個標號(是一個相對程序的表達式),匯編程序計算相對于PC的偏移量,并生成相對于PC的前索引的指令:
ldr r0,[pc,#4]。指令執(zhí)行后,r0=0xeafffffe(計算方法:r0 = [pc(0x00000000+8)+4]= [0x0000000c] = 0xeafffffe)。
ldr r0,_start是根據(jù)_start對當前PC的相對位置讀取其所在地址的值,因此可以在和_start標號的相對位置不變的情況下獲取數(shù)據(jù)值。
2.adr r0,_start
?4: e28f0000 addr0, pc, #0; 0x0
這是一條偽指令,總是會被匯編程序會變?yōu)橐粋€指令,匯編程序嘗試產(chǎn)生單個ADD或SUB指令來裝載該地址。
如果不能在一個指令中構(gòu)造該地址,則生成一個錯誤,并且匯編失敗。
這里是取得標號_start的地址到r0,因為地址是相對程序的,因此adr的產(chǎn)生依賴于位置的代碼,在此例中被匯編成:
add r0,pc,#0。因此該代碼可以在和標號相對位置不變的情況下移動。
假如這段代碼在0x30000000運行,那么adr r0,_start得到r0 = 0x3000000c;如果在地址0運行,那么就是0x0000000c了。(計算方法:r0 = pc(0x00000004+8)+0= 0x0000000c )。
通過這一點可以判斷程序在什么地方運行。U-Boot中那段relocate代碼就是通過adr實現(xiàn)當前程序是在RAM中還是FLASH中。
3.ldr r0,=_start
?8:?e59f0000 ldr r0, [pc, #0]; 10
這是一條偽指令,_start是一個絕對地址(也即運行地址)。
這個絕對地址是在鏈接的時候確定的,它占用2個32bit的空間,一條是指令,另一條是文字池中存放_start的絕對地址。在此例中生成的指令為:
ldr r0,[pc,#0],對應文字池中的地址以及值為:0x00000010:0000000c,因此該偽指令執(zhí)行后r0的值為0x0000000c。(計算方法:r0 = [pc(0x00000008+8)+0]= [0x00000010]=0x000000c)。
因此可以看出,不管這段代碼將來在什么地方運行,它的結(jié)果都是r0=0x3000000c。由于ldr r0,=_start取得的是_start的絕對地址,這句代碼可以在_start標號的絕對位置不變的情況下移動,如使用寄存器pc在程序中可以實現(xiàn)絕對轉(zhuǎn)移,即實現(xiàn)重定位!