c语言常用指令_Cortex-A7处理器压栈出栈和跳转汇编指令

博客介绍了C语言中汇编指令的使用。在函数调用时,需进行现场保护和恢复,涉及压栈(PUSH)和出栈(POP)操作,也可用“STMFD SP!”和“LDMFD SP!”。此外,还介绍了跳转指令,如B、BL、BX等,重点讲解了B和BL指令在函数调用中的应用。

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

我们通常会在 A 函数中调用 B 函数,当 B 函数执行完以后再回到 A 函数继续执行。要想在跳回A 函数以后代码能够接着正常运行,那就必须在跳到 B 函数之前将当前处理器状态保存起来(就是保存 R0~R15 这些寄存器值),当 B 函数执行完成以后再用前面保存的寄存器值恢复R0~R15 即可。保存 R0~R15 寄存器的操作就叫做现场保护,恢复 R0~R15 寄存器的操作就叫做恢复现场。在进行现场保护的时候需要进行压栈(入栈)操作,恢复现场就要进行出栈操作。压栈的指令为 PUSH,出栈的指令为 POP,PUSH 和 POP 是一种多存储和多加载指令,即可以一次操作多个寄存器数据,他们利用当前的栈指针 SP 来生成地址,PUSH 和POP 的用法如下图所示:

2148730b34a86c29c0d2285bf0e724ff.png

压栈和出栈指令

假如我们现在要将 R0~R3 和 R12 这 5 个寄存器压栈,当前的 SP 指针指向 0X80000000,处理器的堆栈是向下增长的,使用的汇编代码如下:

PUSH {R0~R3, R12} @将R0~R3 和R12 压栈

压栈完成以后的堆栈如图所示:

1748a52a323abb3a0697a766d49523d3.png

压栈以后的堆栈

上图就是对R0~R3,R12 进行压栈以后的堆栈示意图,此时的SP 指向了0X7FFFFFEC,假如我们现在要再将 LR 进行压栈,汇编代码如下:

POP {LR} @先恢复LRPOP {R0~R3,R12} @在恢复R0~R3,R12

对 LR 进行压栈完成以后的堆栈模型如图所示:

d885d242de29fd67eb97a4b08feaf022.png

LR 压栈以后的堆栈

上图就是分两步对 R0~R3,R2 和 LR 进行压栈以后的堆栈模型,如果我们要出栈的话就是使用如下代码:

1 STMFD SP!,{R0~R3, R12} @R0~R3,R12 入栈2 STMFD SP!,{LR} @LR 出栈34 LDMFD SP!, {LR} @先恢复 LR5 LDMFD SP!, {R0~R3, R12} @在恢复 R0~R3, R12

出栈的就是从栈顶,也就是 SP 当前执行的位置开始,地址依次减小来提取堆栈中的数据到要恢复的寄存器列表中。PUSH 和 POP 的另外一种写法是“STMFD SP!”和“LDMFD SP!”,因此上面的汇编代码可以改为:

1 STMFD SP!,{R0~R3, R12} @R0~R3,R12 入栈2 STMFD SP!,{LR} @LR 出栈34 LDMFD SP!, {LR} @先恢复 LR5 LDMFD SP!, {R0~R3, R12} @在恢复 R0~R3, R12

STMFD 可以分为两部分:STM 和 FD,同理,LDMFD 也可以分为LDM 和 FD。看到 STM和 LDM 有没有觉得似曾相识(不是 STM32 啊啊啊啊),前面我们讲了 LDR 和 STR,这两个是数据加载和存储指令,但是每次只能读写存储器中的一个数据。STM 和LDM 就是多加载和多存储,可以连续的读写存储器中的多个连续数据。

FD 是 Full Descending 的缩写,即满递减的意思。根据 ATPCS 规则,ARM 使用的 FD 类型的堆栈,SP 指向最后最后一个入栈的数值,堆栈是由高地址向下增长的,也就是前面说的向下增长的堆栈,因此最常用的指令就是 STMFD 和 LDMFD。STM 和 LDM 的指令寄存器列表中编号小的对应低地址,编号高的对应高地址。

二、 跳转指令

有多种跳转操作,比如:

①、直接使用跳转指令B、BL、BX 等。

②、直接向 PC 寄存器里面写入数据。

上述两种方法都可以完成跳转操作,但是一般常用的还是 B、BL 或 BX,用法如下图所示:

1c1263bab55f55df95aa1c9bd37fcb8f.png

跳转指令

我们重点来看一下 B 和 BL 指令,因为这两个是我们用的最多的,如果要在汇编中进行函数调用使用的就是B 和BL 指令:

1、B 指令

这是最简单的跳转指令,B 指令会将 PC 寄存器的值设置为跳转目标地址, 一旦执行 B 指令,ARM 处理器就会立即跳转到指定的目标地址。如果要调用的函数不会再返回到原来的执行处,那就可以用 B 指令,如下示例:

1 _start:23 ldr sp,=0X80200000 @设置栈指针4 b main @跳转到 main 函数

上述代码就是典型的在汇编中初始化C 运行环境,然后跳转到 C 文件的 main 函数中运行,上述代码只是初始化了 SP 指针,有些处理器还需要做其他的初始化,比如初始化 DDR 等等。因为跳转到C 文件以后再也不会回到汇编了,所以在第 4 行使用了 B 指令来完成跳转。

2、BL 指令

BL 指令相比B 指令,在跳转之前会在寄存器 LR(R14)中保存当前PC 寄存器值,所以可以通过将 LR 寄存器中的值重新加载到 PC 中来继续从跳转之前的代码处运行,这是子程序调用一个基本但常用的手段。比如 Cortex-A 处理器的 irq 中断服务函数都是汇编写的,主要用汇编来实现现场的保护和恢复、获取中断号等。但是具体的中断处理过程都是C 函数,所以就会存在汇编中调用 C 函数的问题。而且当 C 语言版本的中断处理函数执行完成以后是需要返回到irq 汇编中断服务函数,因为还要处理其他的工作,一般是恢复现场。这个时候就不能直接使用B 指令了,因为 B 指令一旦跳转就再也不会回来了,这个时候要使用 BL 指令,如是示例代码:

1 push {r0, r1} @保存 r0,r12 cps #0x13 @进入 SVC 模式,允许其他中断再次进去35 bl system_irqhandler @加载 C 语言中断处理函数到 r2 寄存器中67 cps #0x12 @进入 IRQ 模式8 pop {r0, r1}9 str r0, [r1, #0X10] @中断执行完成,写 EOIR

上述代码中第 5 行就是执行 C 语言版的中断处理函数,当处理完成以后是需要返回来继续执行下面的程序,所以使用了BL 指令。

### RISC-V 架构中的出栈操作 在RISC-V架构中,的操作遵循特定的规则来管理函数调用期间的数据存储。当执行子程序调用时,返回地址`ra`会被保存到中以确保控制流能够正确回到调用者处[^3]。 #### Push) 为了保护当前环境并传递参数给被调用过程,在进入新函数之前会创建一个新的帧。这涉及到几个关键动作: - **返回地址(`ra`)入**:通常通过增加偏移量将返回地址推入底指针下方的位置。 - **旧框架指针(FP)**:前一活动记录顶部位置也被存放到堆里以便恢复原有状态。 - **额外参数处理**:对于无法由寄存器直接携带的大于六个整数类型的实参或是浮点型数据,则按照从右至左顺序依次写入内存单元之中。 - **callee-save 寄存器**:某些全局或静态性质的重要数值可能需要临时转移到更安全的地方以免丢失;这部分工作同样依赖于空间完成。 - **局部变量分配**:最后一步则是预留足够的区域供即将运行的方法内部使用。 具体来说,可以采用如下伪代码展示这一系列行为: ```assembly addi sp, sp, -16 # 分配新的帧空间 sw ra, 0(sp) # 存储返回地址(ra) sw s0, 4(sp) # 复制fp 到s0 并将其保存起来 move s0, sp # 更新fp 指向最新建立好的帧底部 ``` #### 出栈(Pop) 相反地,离开作用域之后应当清理掉不再使用的上下文信息,并重置相关联的状态标志符。主要步骤包括但不限于: - 将先前保留下来的基址重新赋予`s0`(即恢复原frame pointer),从而指向父级范围内的实体; - 提取位于最顶层之下的指令计数器副本作为下一步要跳转的目标地址; - 解除占用的所有动态分配资源直至达到初始水平线为止。 下面给出一段用于说明上述逻辑转换过程的例子: ```assembly lw ra, 0(sp) # 加载回原来的PC+4 返回地址 lw s0, 4(sp) # 还原之前的FP值 addi sp, sp, 16 # 移动sp释放当前帧所占的空间 jr ra # 跳转到return address继续执行后续语句 ``` 这种机制不仅有助于维持良好的编程实践——比如防止悬空指针错误的发生以及简化调试流程等优点之外,更重要的是它构成了现代高级语言编译优化的基础之一。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值