位置无关代码,即该段代码无论放在内存的哪个地址,都能正确运行。究其原因,是因为代码里 没有使用绝对地址,都是相对地址。
位置无关的写法:
(1) B指令B指令接受一个相对地址,因此在汇编里用B跳转到一个标号时,实际编译的结果是一个相对跳转。 相对地址有个范围限制,即目标不能太远,一般目标放在同一个文件里是肯定可以的。 _start: b _reset _reset: ...
(2) BLBL用于调用函数,也是一个相对跳转
(3) ADR获取标号的地址,在编译时会使用PC+偏移的方式得到该位置的地址。例如,当TEXT_BASE是0时 SMRDATA可能被放在0x100的位置,当TEXT_BASE为0x30000000时放在0x30000100的位置。使用ADR 总能获取正确的位置,与程序的加载地址无关。 ADR R0, SMRDATA SMRDATA: .word 0x22111120 .word 0x00002F50 .word 0x00000700 (相应的, LDR Rn, =LABEL是位置相关的)
(4) LDR当加标号时,LDR可以用于伪指令,也可以真指令。 真指令: (标号前不加=号,表示取标号处的值) LDR R0, SDRDATA 实际被编译为LDR R0, [PC, #NN],其中NN是目标的相对距离
伪指令: (标号前加=号,取标号的地址) LDR R0, = SDRDATA 实际编译的时候的时候,会在某位置存处SDRDATA的值,然后用一个LDR取出来。 显然,用LDR时,加不加=号有很大区别。 无=号:取该标号处的值,位置无关 有=号:取该标号的地址,位置相关
举例分析
例1:中断向量跳转_start: b reset ldr pc, _undefined_instruction ldr pc, _software_interrupt ldr pc, _prefetch_abort ldr pc, _data_abort ldr pc, _not_used ldr pc, _irq ldr pc, _fiq
_undefined_instruction: .word undefined_instruction _software_interrupt: .word software_interrupt _prefetch_abort: .word prefetch_abort _data_abort: .word data_abort _not_used: .word not_used _irq: .word irq _fiq: .word fiq 其中, ldr pc, _irq,由于没加=号,表示取值_irq处的值放在pc里 (位置无关) _irq: .word irq ,表示_irq存放的值是irq的绝对地址(位置有关)
|