【汇编】汇编语言语法
GNU 汇编语法
在进行嵌入式 Linux 开发的时候是绝对要掌握基本的 ARM 汇编,因为 Cortex-A 芯片一上电 SP 指针还没初始化,C 环境还没准备好,所以肯定不能运行 C 代码,必须先用汇编语言设置好 C 环境,比如初始化 DDR、设置 SP指针等等,当汇编把 C 环境设置好了以后才可以运行 C 代码。所以 Cortex-A 一开始肯定是汇编代码,其实 STM32 也一样的,一开始也是汇编,比如MDK 和 IAR 下的启动文件 startup_stm32f10x_hd.s其中的汇编语法是有所不同的,将 MDK 下的汇编文件直接复制到 IAR 下去编译就会出错,因为 MDK 和 IAR 的编译器不同,因此对于汇编的语法就有一些小区别。我们要编写的是 ARM汇编,编译使用的 GCC 交叉编译器,所以我们的汇编代码要符合 GNU 语法。
GNU汇编语法适用于所有的架构,并不是ARM独享,GNU汇编由一系列的语句组成
注意!ARM中的指令、伪指令、伪操作、寄存器名等可以全部使用大写,也可以全部使用小写,但是不能大小写混用。
伪操作
伪操作 | 含义 |
---|---|
.byte | 定义单字节数据,比如.byte 0x12 |
.short | 定义双字节数据,比如.short 0x1234 |
.long | 定义一个4字节数据,比如.long 0x12345678 |
.equ | 赋值语句,格式为:.equ 变量名,表达式,比如.equ num, 0x12,表示 num=0x12 |
.align | 数据字节对齐,比如:.align 4 表示 4 字节对齐。 |
.end | 表示源文件结束。 |
.global | 定义一个全局符号,格式为:.global symbol,比如:.global _start。 |
比如:
.global _start
_start:
ldr r0,=0x12 @r0=0x12
.global是一个位操作,表示_start是一个全局标号,相当于C语言中的全局变量一样。
段名
汇编系统预定义了一些段名:
定义 | 段名 |
---|---|
.text | 表示代码段 |
.data | 初始化数据段 |
.bss | 未初始化的数据段 |
.rodata | 只读数据段 |
比如:
函数
函数格式如下:
函数名:
函数体
返回语句
GNU汇编函数返回语句不是必须的,比如Cortex-A7中断服务函数:
/*未定义中断*/
Undefined_Handler:
ldr r0,=Undefined_Handler
bx r0
/*svc中断*/
SVC_Handler:
ldr r0,=SVC_Handler
bx r0
/*预取中止中断*/
PerfAbort_Handler:
ldr r0,=PrefAbort_Handler
bx r0
Cortex-A7常用汇编指令
需要系统性的学习Cortex-A7的所有汇编指令可以参考《ARM ArchitectureReference Manual ARMv7-A and ARMv7-R edition.pdf》的 A4章节。
数据传输指令
指令 | 目的寄存器 | 源寄存器 | 描述 |
---|---|---|---|
MOV | R0 | R1 | 将R1中的数据复制到R0中 |
MRS | R0 | CPSR | 将特殊寄存器CPSR里面额数据复制到R0中 |
MSR | CPSR | R1 | 将R1里面的数据复制到特殊寄存器CPSR中 |
1.MOV指令
MOV指令用于将数据从一个寄存器拷贝到另一个寄存器,或者将一个立即数传递到寄存器中。示例如下:
MOV R0,R1 @将寄存器中R1的数据传递给R0,即R0=R1
MOV R0,#0X12 @将立即数0x12传递给R0寄存器,即R0=0X12
2.MRS指令
MRS指令用于将特殊寄存器(如CPSR和SPSR)中的数据传递给通用寄存器,要读取特殊寄存器中的数据只能使用MRS指令。示例如下:
MRS R0,CPSR @将特殊寄存CPSR里面的数据传递给R0,即R0=CPSR
3.MSR指令
MSR 指令和 MRS 刚好相反,MSR 指令用来将普通寄存器的数据传递给特殊寄存器,也就是写特殊寄存器,写特殊寄存器只能使用 MSR,示例如下:
MSR CPSR,R0 @将R0的数据复制到CPSR中,即CPSR=R0
存储器访问指令
ARM 不能直接访问存储器,比如 RAM 中的数据,I.MX6UL 中的寄存器就是 RAM 类型的,我们用汇编来配置 I.MX6UL 寄存器的时候需要借助存储器访问指令,一般先将要配置的值写入到 Rx(x=0~12)寄存器中,然后借助存储器访问指令将 Rx 中的数据写入到 I.MX6UL 寄存器中。读取 I.MX6UL 寄存器也是一样的,只是过程相反。常用的存储器访问指令有两种:LDR 和STR:
指令 | 描述 |
---|---|
LDR Rd,[Rn,#offset] | 从存储器Rn+offset的位置读取数据存放到Rd中 |
STR Rd,[Rn,#offset] | 将Rd中的数据写入到存储器中的Rn+offset位置 |
1.LDR指令
LDR主要是从存储器中加载数据到寄存器Rx中,LDR也可以将一个立即数加载到寄存器Rx中,LDR加载立即数的时候要使用"=",而不是"#"。在嵌入式开发中,LDR最常用的就是读取 CPU 的寄存器值,比如 I.MX6UL 有个寄存器 GPIO1_GDIR,其地址为 0X0209C004,我们现在要读取这个寄存器中的数据,示例代码如下:
LDR R0,=0x0209C004 @ 将寄存器地址0x0209C004加载到R0寄存器中,即R0=0x0209C004
LDR R1,[R0] @ 读取地址0x0209C004中的数据到R1寄存器中
上述代码就是读取寄存器 GPIO1_GDIR 中的值,读取到的寄存器值保存在 R1 寄存器中,上面代码中 offset 是 0,也就是没有用到 offset。
2.STR指令
LDR 是从存储器读取数据,STR 就是将数据写入到存储器中,同样以 I.MX6UL 寄存器GPIO1_GDIR 为例,现在我们要配置寄存器 GPIO1_GDIR 的值为 0X2000002,示例代码如下:
LDR R0, =0x0209C004 @将寄存器地址0x0209C004加载到R0中,即R0=0x0209C004
LDR R1, =0X20000002 @R1保存要写入到寄存器的值,即R1=0X20000002
STR R1,[R0] @将R1的值写入到R0中所保存的地址中
LDR 和 STR 都是按照字进行读取和写入的,也就是操作的 32 位数据,如果要按照字节、半字进行操作的话可以在指令“LDR”后面加上 B 或 H,比如按字节操作的指令就是 LDRB 和STRB,按半字操作的指令就是 LDRH 和 STRH。
3.ADR指令
ADR是一条小范围地址读取伪指令,它将基于PC的相对偏移的地址值读到目标寄存器中
ADR R0,exper
编译源程序时,汇编器首先计算当前PC值(当前指令位置)到exper的距离,然后用一条ADD或SUB指令替换这条伪指令
比如:
add register,pc,#offset_to_exper @标号exper与指令必须要在同一代码段
adr r0,_start @将指定地址赋值r0
r0的值为标号_start与此指令的距离差 + PC值。
堆栈操作指令
在日常代码逻辑中,函数的调用随处可见,通常会在 A 函数中调用 B 函数,当 B 函数执行完以后再回到 A 函数继续执行。要想在跳回 A 函数以后代码能够接着正常运行,那就必须在跳到 B 函数之前将当前处理器状态保存起来(就是保存 R0-R15 这些寄存器值),当 B 函数执行完成以后再用前面保存的寄存器值恢复R0-R15 即可。保存 R0-R15 寄存器的操作就叫做现场保护,恢复 R0R15 寄存器的操作就叫做恢复现场。在进行现场保护的时候需要进行压栈(入栈)操作,恢复现场就要进行出栈操作。压栈的指令为 PUSH,出栈的指令为 POP,PUSH 和 POP 是一种多存储和多加载指令,即可以一次操作多个寄存器数据,他们利用当前的栈指针 SP 来生成地址。
1.PUSH和POP
指令 | 描述 |
---|---|
PUSH | 将寄存器列表存入栈中 |
POP | 从栈中恢复寄存器列表 |
示例代码:
PUSH {R0-R3,R12} @将R0-R3和R12压入堆栈
PUSH {LR} @将LR连接寄存器压入堆栈
压栈后堆栈示意图(0x80000000是栈底,每增加数据SP想低地址方向即栈顶方向移动):
出栈代码:
POP {LR} @先恢复 LR
POP {R0~R3,R12} @在恢复 R0~R3,R12
出栈的就是从栈顶,也就是 SP 当前执行的位置开始,地址依次减小来提取堆栈中的数据到要恢复的寄存器列表中。
2.STMFD和LDMFD
PUSH 和 POP 的另外一种写法是“STMFD SP!”和“LDMFD SP!”,上述代码可以改成:
STMFD SP!,{R0~R3, R12} @R0~R3,R12 入栈
STMFD SP!,{LR} @LR 入栈
LDMFD SP!, {LR} @先恢复 LR
LDMFD SP!, {R0~R3, R12} @再恢复 R0~R3, R12
TMFD 可以分为两部分:STM 和 FD,同理,LDMFD 也可以分为 LDM 和 FD。
LDR和STR是数据加载和存储指令,但是每次只能读写存储器中的一个数据。STM 和 LDM 就是多存储和多加载,可以连续的读写存储器中的多个连续数据。FD 是 Full Descending 的缩写,即满递减的意思。根据 ATPCS 规则,ARM 使用的 FD 类型的堆栈,SP 指向最后一个入栈的数值,堆栈是由高地址向下增长的,也就是前面说的向下增长的堆栈,因此最常用的指令就是 STMFD 和 LDMFD。STM 和 LDM 的指令寄存器列表中编号小的对应低地址,编号高的对应高地址。
跳转指令
关于跳转可以有多种跳转方法,比如:
1.直接使用跳转指令B、BL、BX
2.直接向PC寄存器里面写入数据,借助PC指针直接跳转
通常我们还是使用跳转指令进行跳转:
指令 | 描述 |
---|---|
B | 跳转到label,如果跳转范围超过了+/-2KB,可以指定B.W使用32位版本的跳转指令,这样可以得到较大范围的跳转 |
BX | 间接跳转,跳转到存放于Rm中的地址处,并切换指令集 |
BL | 跳转到标号地址,并将返回地址保存在LR中 |
BLX | 结合 BX 和 BL 的特点,跳转到 Rm 指定的地址,并将返回地址保存在 LR 中,切换指令集 |
在汇编中常用的是B和BL指令:
1.B指令
B 指令会将 PC 寄存器的值设置为跳转目标地址, 一旦执行 B 指令,ARM 处理器就会立即跳转到指定的目标地址。如果要调用的函数不会再返回到原来的执行处,那就可以用 B 指令。示例如下:
_start:
ldr sp,=0X80200000 @设置栈指针
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 指令。
push {r0,r1} @ 保存r0,r1
cps #0x13 @ 进入SVC模式,允许其他中断再次进去
bl system_irqhandler @ 加载C语言中断处理函数到r2寄存器中
cps #0x12 @ 进入IRQ模式
pop {r0,r1}
str r0,[r1,#0x10] @ 中断执行完成,写EOIR
第 5 行就是执行 C 语言版的中断处理函数,当处理完成以后是需要返回来继续执行下面的程序,所以使用了 BL 指令。
注:
cps是一条armv7的汇编命令,功能是在特权模式下,直接修改CPSR寄存器的M[4:0],让处理器进入不同的模式
CPSR 的寄存器结构模型:
其中M[4:0] 就是处理器的模式控制为,不同的编码对应着不同的处理器模式,如下图所示:
算数运算指令
汇编中可以继续算数运算,比如加减乘除,常用命令如下表(#immed为立即数):
指令 | 计算公式 | 备注 |
---|---|---|
ADD Rd,Rn,Rm | Rd = Rn + Rm | 加法运算,指令为ADD |
ADD Rd,Rn,#immed | Rd = Rn + #immed | 加法运算,指令为ADD |
ADC Rd,Rn,Rm | Rd = Rn + Rm + 进位 | 带进位的加法运算,指令为ADC |
ADC Rd,Rn,#immed | Rd = Rd + #immed +进位 | 带进位的加法运算,指令为 ADC |
SUB Rd,Rn,Rm | Rd = Rn – Rm | 减法 |
SUB Rd,#immed | Rd = Rd - #immed | 减法 |
SUB Rd, Rn, #immed | Rd = Rn - #immed | 减法 |
SBC Rd, Rn, #immed | Rd = Rn - #immed – 借位 | 带借位的减法 |
SBC Rd, Rn ,Rm | Rd = Rn – Rm – 借位 | 带借位的减法 |
MUL Rd, Rn, Rm | Rd = Rn * Rm | 乘法(32 位) |
UDIV Rd, Rn, Rm | Rd = Rn / Rm | 无符号除法 |
SDIV Rd, Rn, Rm | Rd = Rn / Rm | 有符号除法 |
在嵌入式开发中最常会用的就是加减指令,乘除基本用不到。
逻辑运算指令
在C语言中常常需要用到逻辑运算,比如"&"和"|"等逻辑运算符。使用汇编语言的时候也可以使用逻辑运算指令,如下表:
指令 | 计算公式 | 备注 |
---|---|---|
AND Rd,Rn | Rd =Rd & Rn | 按位与 |
AND Rd,Rn,#immed | Rd = Rn & #immed | 按位与 |
AND Rd,Rn,Rm | Rd = Rn & Rm | 按位与 |
ORR Rd,Rn | Rd = Rd| Rn | 按位或 |
ORR Rd,Rn,Rm | Rd = Rn|Rm | 按位或 |
ORR Rd,Rn,#immed | Rd = Rn|#immed | 按位或 |
BIC Rd,Rn | Rd = Rd & (~Rn) | 位清除 |
BIC Rd,Rn,Rm | Rd = Rn &(~Rm) | 位清除 |
BIC Rd,Rn,#immed | Rd = Rn &(~#immed) | 位清除 |
ORN Rd,Rn,#immed | Rd = Rn|(#immed) | 按位或非 |
ORN Rd,Rn,Rm | Rd = Rn|(Rm) | 按位或非 |
EOR Rd,Rn | Rd = Rd ^ Rn | 按位异或 |
EOR Rd,Rn,#immed | Rd = Rd ^ #immed | 按位异或 |
EOR Rd,Rn,Rm | Rd = Rn ^ Rm | 按位异或 |
参考文章:
https://blog.csdn.net/weixin_45309916/article/details/107837561