ARM子程序和栈

微处理器中的栈由栈指针指向存储器中的栈顶来实现,当数据项入栈时,栈

指针向上移动,当数据项出栈时,栈指针向下移动。

实现栈时需要做出两个决定:一是当数据项进栈时是向低位地址方向向上生

长(图a和图b)还是向高位地址方向向下生长(图c和图d),另一个决定是

栈指针时指向当前位置栈顶的数据项(图a和图c)还是指向栈顶上的第一个

空白位置(图b和图d)

术语TOS表示栈顶(top of stack)指明了栈中的下一个数据项,用栈来保存子程序调用后的返回地址

下图描述了一个栈指针指向栈顶项的栈。当一个项被进栈,栈指针递减,当

一个项出栈,栈指针递增:

用栈指针SP来定义入栈和出栈操作:

注意栈指针按照4个字节递增或递减,因为存储器按照字节编址,栈的数据项长为一个字(4个字节)。

子程序调用和返回

可以通过先将返回地址入栈,然后跳转到分支目标地址处来实现子程序调用。

该操作在CISC处理器中由JSR target或BSR target指令来实现。ARM没有实现这

一操作,需通过下述指令来实现:

复制代码
	; 假设栈朝低地址方向生长且SP指向栈的下一个数据项 
	SUB	r13,r13,#4	; 栈指针先递减
	STR	r15,[r13]	; 返回地址入栈
	B	Target		; 跳转到目标地址
	...			; 在这里返回

一旦执行完子程序中的代码,就会执行子程序返回指令RTS,且PC将恢复到指令BSR Proc_A被取出来之后的那个点。RTS指令的作用是:

RTS: [PC] <- [[Sp]] ; 把栈中的返回地址复制到PC

SP\] \<- \[SP\] + 4 ; 调整栈指针 栈将向上移动4个字节,因为每个地址都是4个字节。ARM不支持基于栈的子 程序返回机制,则代码应写为: LDR r12,\[r13\],#+4 ; 取出保存的PC,栈指针后递增 SUB r15,r12,#4 ; 修正PC并将其加载到r15中以返回 注意:必须修改保存的PC,因为它指向实际返回地址之后4字节的位置(由于 ARM的整数流水线),然后将PC加载到r15,强制从子程序中返回。 尽管上面子程序调用的方法可以工作,但有一个更好的使用ARM块移动指令的机制: STMIA sp!,{r6,lr} ; r6与链接寄存器入栈 ... ; 这里是子程序代码 LDMDB sp!,{r6,pc} ; r6出栈并取出PC,返回地址出栈,送到PC以返回

相关推荐
witton9 小时前
x86版的ubuntu上使用qemu运行arm版ubuntu
arm开发·ubuntu·arm·qemu·aarch64·qemu_efi.fd·cortex-a72
szxinmai主板定制专家1 天前
基于光栅传感器+FPGA+ARM的测量控制解决方案
arm开发·人工智能·嵌入式硬件·fpga开发
代码改变世界ctw2 天前
ARM汇编编程(AArch64架构)第13课:多核启动与调度
汇编·arm开发·架构
代码改变世界ctw3 天前
ARM汇编编程(AArch64架构)课程 - 第9章:原子操作与同步
汇编·arm开发·架构
学不动CV了3 天前
深入理解C语言内存空间、函数指针(三)(重点是函数指针)
c语言·arm开发·数据库·stm32·单片机·嵌入式硬件·c#
学不动CV了3 天前
C语言32个关键字
c语言·开发语言·arm开发·单片机·算法
学不动CV了3 天前
ARM单片机OTA解析(一)
c语言·arm开发·stm32·单片机·嵌入式硬件·51单片机
小刘摸鱼中3 天前
STM32CubeMX+CLion 使用ARM_CMSIS_DSP
arm开发
Mr_Orangechen3 天前
Linux 下使用 VS Code 远程 GDB 调试 ARM 程序
linux·运维·arm开发
代码改变世界ctw4 天前
2.2 TF-A在ARM生态系统中的角色
汇编·arm开发·安全·trustzone·atf·optee