ldr和adr在使用标号表达式作为操作数的区别

本文详细解析ARM汇编指令ldr、adr及操作数使用方法,通过对比实例展示它们在程序定位和地址加载上的差异,帮助开发者深入理解ARM汇编语言的特性。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

    ARM汇编有ldr指令以及ldr、adr伪指令,他门都可以将标号表达式作为操作数,下面通过分析一段代码以及对应的反汇编结果来说明它们的区别。

     ldr     r0, _start
        adr     r0, _start
        ldr     r0, =_start
_start:
        b  _start
       
编译的时候设置 RO 为 0x30000000,下面是反汇编的结果:

   0x00000000: e59f0004  ldr r0, [pc, #4] ; 0xc
   0x00000004: e28f0000  add r0, pc, #0 ; 0x0
   0x00000008: e59f0000  ldr r0, [pc, #0] ; 0x10
   0x0000000c: eafffffe  b 0xc
   0x00000010: 3000000c  andcc r0, r0, ip

1.ldr     r0, _start
    这是一条指令,从内存地址 _start 的位置把值读入。
在这里_start是一个标号(是一个相对程序的表达式),汇编程序计算相对于 PC 的偏移量,并生成相对于 PC的前索引的指令:ldr r0, [pc, #4]。执行指令后,r0 = 0xeafffffe。
    ldr r0, _start是根据_start对当前PC的相对位置读取其所在地址的值,因此可以在和_start标号的相对位置不变的情况下移动。

2.adr     r0, _start
    这是一条伪指令,总是会被汇编程序汇编为一个指令。汇编程序尝试产生单个 ADD 或 SUB 指令来装载该地址。如果不能在一个指令中构造该地址,则生成一个错误,并且汇编失败。
    在这里是取得标号_start 的地址到 r0,因为地址是相对程序的,因此ADR产生依赖于位置的代码,在此例中被汇编成:add r0, pc, #0。因此该代码可以在和标号相对位置不变的情况下移动;
    假如这段代码在 0x30000000 运行,那么 adr r0, _start 得到 r0 = 0x3000000c;如果在地址 0 运行,就是 0x0000000c 了。
    通过这一点可以判断程序在什么地方运行。U-boot中那段relocate代码就是通过adr实现当前程序是在RAM中还是flash中,下面进行简要分析。


relocate: /* 把U-Boot重新定位到RAM */
    adr r0, _start /* r0是代码的当前位置 */
/* adr伪指令,汇编器自动通过当前PC的值算出 如果执行到_start时PC的值,放到r0中:
当此段在flash中执行时r0 = _start = 0;当此段在RAM中执行时_start = _TEXT_BASE(在board/smdk2410/config.mk中指定的值为0x30000000,即u-boot在把代码拷贝到RAM中去执行的代码段的开始) */
    ldr r1, _TEXT_BASE /* 测试判断是从Flash启动,还是RAM */
/* 此句执行的结果r1始终是0x30000000,因为此值是又编译器指定的(ads中设置,或-D设置编译器参数) */
    cmp r0, r1 /* 比较r0和r1,调试的时候不要执行重定位 */

3.ldr     r0, =_start
    这是一条伪指令,是一个相对程序的或外部的表达式。汇编程序将相对程序的标号表达式 label-expr 的值放在一个文字池中,并生成一个相对程序的 LDR 指令来从文字池中装载该值,在此例中生成的指令为:ldr r0, [pc, #0],对应文字池中的地址以及值为:0x00000010: 3000000c。如果 label-expr 是一个外部表达式,或者未包含于当前段内,则汇编程序在目标文件中放置一个链接程序重定位命令。链接程序在链接时生成地址。
    因此取得的是标号 _start 的绝对地址,这个绝对地址(运行地址)是在连接的时候确定的。它要占用 2 个 32bit 的空间,一条是指令,另一条是文字池中存放_start 的绝对地址。因此可以看出,不管这段代码将来在什么地方运行,它的结果都是 r0 = 0x3000000c。由于ldr r0, =_start取得的是_start的绝对地址,这句代码可以在_start标号的绝对位置不变的情况下移动;如果使用寄存器pc在程序中可以实现绝对转移。


参考资料:
1. ARM DUI 0204BSC,RealView 编译工具 2.0 版 汇编程序指南,http://infocenter.arm.com/help/index.jsp
2. GNU汇编使用经验,http://blog.chinaunix.net/u1/37614/showart_390095.html
3. 对.lds连接脚本文件的分析,http://blog.chinaunix.net/u1/58780/showart.php?id=462971

AREA Program1, CODE, READONLY ENTRY CODE32 ;声明其后的代码是32位的ARM指令 ARM_CODE ADR R0, THUMB_CODE+1 伪指令,会被真实的指令所替代 把表达式THUMB_CODE+1的值传送到寄存器R0中 BX R0 跳转指令并进行工作状态转换(从ARM工作状态转换到Thumb工作状态) 不再跳回来的简单跳转,没有返回地址 从ARM工作状态转换到Thumb工作状态要求 BX指令的操作数R0的第0位的值是1 R0的内容是 THUMB_CODE+1(奇数), R0的第0位变成0后即跳转的目标地址(THUMB_CODE) 其中THUMB_CODE(标号)是Thumb指令MOV R0, #10的地址,是偶数 CODE16 ;声明其后的代码是16位的thumb指令 THUMB_CODE MOV R0, #10 MOV R1, #20 ADD R0, R1 ; thumb指令, 把R0 <= R0+R1 ; ARM指令,ADD R0, R0,R1 B . END B . 是单条指令构建的无限循环 等同于: halt B halt REA Program2, CODE, READONLY ENTRY CODE32 START LDR R0 ,= 0x12345678 ;该伪指令访问存储器 ; 合法的立即数前有#LDR伪指令加载的数据没有#0x12345678加载到寄存器R00x12345678不是合法的立即数,不能直接出现在指令码中, 而是存放在存储器中(文字池) LDR R1 ,= 0x301000000x30100000是地址 LDR R2 ,= 0x87654321 STR R2, [R1] ;把R2中的内容存放到地址为0x30100000(R1的内容) LDR R3, [R1] ;真实指令,读存储器地址为0x30100000(R1的内容)的存储单元 ; R3的内容是 0x87654321 AND R3, R3, #0x000000FF ;把8~31位(高3个字节)清零,截取R3的最低字节0~7位 ;此时,R3的内容是0x00000021 ADD R0, R0, R3, LSL #2 ;R0+0x21*4,R3不变 ; R0 <= 0x12345678 + 0x84 ; R0 <= 0x123456FC STR R0, [R1] B . END AREA ExampleProgram, CODE, READONLY ENTRY MAIN MOV R1, #0x10 MOV R2, #0x20 MOV R3, #0x30 LDR SP, =StackUser+29*4 ; 设置好堆栈指针 BL SUB1 ; 调用子程序SUB1,把返回地址(B . 这条指令的地址) ; 存放到LR中 B . SUB1 STMFD SP!, {R0-R7,LR} ;满递减堆栈 ;保存寄存器的顺序:LR,R7,...,R0 MOV R3, R1 ; 0x10,0x10 MOV R1, R2 ; 0x20,0x20 MOV R2, R3 ; 0x10,0x10 ;R1R2的内容交换,R3是中间暂存 BL DELAY ; 调用子程序DELAY,把返回地址 ; (LDMFD SP!, {R0-R7,PC} 的地址)保存在LR中 LDMFD SP!, {R0-R7,PC} ; 恢复寄存器的顺序是R0,...,R7,LR=>PC ; LR=>PC引起处理器跳转到B .指令处执行 ;SUB1子程序结束 DELAY MOV R3, #100 ;控制循环次数的循环变量 DELAY_L1 SUBS R3, R3, #1 ;S的作用是设置CPSR的Z位 ; 减的结果为0,则设置CPSR[Z]=1 BNE DELAY_L1 ;循环体执行100次 ;减的结果不等于0则循环继续,否则退出循环 MOV PC, LR ;跳转到BL DELAY的下一条指令 AREA MyStacks, DATA, READWRITE StackUser SPACE 30*4 ; SPACE伪指令,分配120个字节的存储单元,初始化为0,首地址为StackUser END NumCount EQU 0x30003000 ;定义地址常量NumCount,地址0x30003000属于哪个BANK? AREA ExampleProgram, CODE, READONLY ENTRY MAIN LDR R0, =NumCount ;把地址0x30003000加载到R0中 ;R0是一个字的地址 MOV R1, #0x000000AB STR R1, [R0] ;把R1的内容保存到地址为0x30003000 ;的字存储单元(4个字节) LDR R2, [R0] ;R2的内容是0x000000AB ADD R2, R2, #1 ;R2的内容是0x000000AC STR R2, [R0] ;把R2的内容保存到地址为0x30003000 HALT B HALT ;单条指令的空操作无限循环 END 实验四 汇编语言程序设计 实验习题(写在实验报告上) 程序1(exp4-p1.s): 1. 指令BX R0的功能是什么? 答:调用地址为THUMB_CODE的Thumb子程序。 2. 指令BX R0操作数的内容是什么?R0的第0位的值是什么? 该值有何特殊意义? 答:R0 中包含了所调用子程序的入口地址(R0-1) R0[0]是处理器工作状态切换标志: 1:从ARM工作状态切换到Thumb工作状态 0:从Thumb工作状态切换到ARM工作状态 3. 指令BX指令B的相同点区别分别是什么? 程序2(exp4-p2.s): 1. 指令ADD R0, R0, R3, LSL #2执行前后寄存器R0R3的值分别是什么? 答:执行前R0内容是0x12345678,执行后R0内容是0x123456FC; 寄存器R3在本条指令执行前后内容不变,是0x00000021 2. 程序执行到END的时候,寄存器R0、R1、R2R3的值是什么? 3. 程序执行到END的时候, 地址为0x30100000的内存单元的值是什么?(指字节)0xFC 地址为0x30100001的内存单元的值是什么? 0x56 地址为0x30100002的内存单元的值是什么? 0x34 地址为0x30100003的内存单元的值是什么? 0x12 按小端存放方式 程序3(exp4-p3.s): 1. 在程序执行BL SUB1之前,R1、R2、R3中寄存的值分别是什么(填写十六进制数据)? 2. 在程序执行完BL SUB1之后,R1、R2、R3中寄存的值分别是什么(填写十六进制数据)? 3. 在执行子程序SUB1时,在执行BL DELAY指令之前,执行MOV R2, R3指令之后,R1、R2、R3中寄存的值是什么(填写十六进制数据)? 4. 写出本程序中的循环结构的代码,该循环结构的循环体执行了多少次? 5. 如果把标号DELAY_L1处的指令SUBS R3, R3, #1改成SUB R3, R3, #1,程序的功能会发生怎样的变化?发生这种变化的原因是什么? S 设置CPSR 的条件码标志位 NZCV,Z=0时,条件NE成立 6. BL指令B指令有何异同? 程序4(exp4-p4.s): 1. 程序运行到B HALT指令时,R0中寄存的数据是什么(填写十六进制数据)? 2. 在S3C2410A中,NumCount所指向的存储单元位于( )中。 A. bank5 B. bank6 C. bank7 D. 特殊功能寄存器 3. 把NumCount加载到寄存器R0,能不能用MOV R1, NumCount实现?如果不能请说明原因。 4. 刚执行完(1)处的指令STR R1, [R0]后,地址0x30003000处的字节内容是 。执行完(2)处的指令STR R1, [R0]后,地址0x30003000处的字节内容是 。 5. 已知标号MAIN的值是0x00008000,则(1)处的指令STR R1, [R0]的地址是什么? 6. 指令HALT B HALT的功能是什么? 根据以上内容写个实验小结
06-08
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值