本篇说清楚 ARM
指令是如何被编码的,机器指令由哪些部分构成,指令有哪些类型,每种类型的语法又是怎样的 ?
代码案例 | C -> 汇编 -> 机器指令
看一段C语言编译(clang)成的最后的机器指令(armv7)
生成汇编代码如下:
汇编代码对应的机器指令如下图所示:
便于后续分析,将以上代码整理成如下表格
汇编代码 | 机器指令(十六进制表示) | 机器指令(二进制表示) |
sub sp, sp, #8 | e24dd008 | 1110 0010 0100 1101 1101 0000 0000 1000 |
mov r0, #0 | e3a00000 | 1110 0011 1010 0000 0000 0000 0000 0000 |
str r0, [sp, #4] | e58d0004 | 1110 0101 1000 1101 0000 0000 0000 0100 |
str r0, [sp] | e58d0000 | 1110 0101 1000 1101 0000 0000 0000 0000 |
ldr r0, [sp] | e59d0000 | 1110 0101 1001 1101 0000 0000 0000 0000 |
cmp r0, #1 | e3500001 | 1110 0011 0101 0000 0000 0000 0000 0001 |
beq 640 <main+0x34> | 0a000005 | 0000 1010 0000 0000 0000 0000 0000 0101 |
b 62c <main+0x20> | eaffffff | 1110 1010 1111 1111 1111 1111 1111 1111 |
ldr r1, [sp] | e59d1000 | 1110 0101 1001 1101 0001 0000 0000 0010 |
mov r0, #1 | e3a00002 | 1110 0011 1010 0000 0000 0000 0000 0001 |
orr r0, r0, r1, lsl #1 | e1800081 | 1110 0001 1000 0000 0000 0000 1000 0001 |
str r0, [sp] | e58d0000 | 1110 0101 1000 1101 0000 0000 0000 0000 |
b 640 <main+0x34> | eaffffff | 1110 1010 1111 1111 1111 1111 1111 1111 |
ldr r0, [sp] | e59d1000 | 1110 0101 1001 1101 0001 0000 0000 0000 |
add sp, sp, #8 | e28dd008 | 1110 0010 1000 1101 1101 0000 0000 1000 |
bx lr | e12fff1e | 1110 0001 0010 1111 1111 1111 0001 1110 |
CPSR寄存器
在理解本篇之前需了解下CPSR
寄存器的高4
位[31,28]
表达的含义。关于寄存器的详细介绍可翻看 系列篇的 (寄存器篇)
N、Z、C、V
均为条件码标志位。它们的内容可被算术或逻辑运算的结果所改变,并且可以决定某条指令是否被执行!意义重大!
-
CPSR
的第31
位是N
,符号标志位。它记录相关指令执行后,其结果是否为负。
如果为负N = 1
,如果是非负数N = 0
。 -
CPSR
的第30
位是Z
,0
标志位。它记录相关指令执行后,其结果是否为0
。
如果结果为0
。那么Z = 1
。如果结果不为0
,那么Z = 0
。 -
CPSR
的第29位
是C
,进位标志位(Carry)
。一般情况下,进行无符号数的运算。
加法运算:当运算结果产生了进位时(无符号数溢出),C=1
,否则C=0
。
减法运算(包括CMP
):当运算时产生了借位时(无符号数溢出),C=0
,否则C=1
。 -
CPSR
的第28
位是V
,溢出标志位(Overflow
)。在进行有符号数运算的时候,
如果超过了机器所能标识的范围,称为溢出。
指令格式
ARM
指令流是一连串的字对齐的四字节指令流。每个 ARM 指令是一个单一的 32
位字(4
字节),如图(3):
解读
图为ARM
指令的编码一级格式,所有的指令都必须符合一级格式,分成三部分:
- 条件域:
cond[31:28]
表示,条件域会影响CPSR
的条件码N、Z、C、V
标志位。 - 类型域:
op1[27:25]
,op[4]
,arm
将指令分成了六大类型 。 - 操作域: 剩下的
[24:5]
,[4:0]
即图中的空白位/保留位,这是留给下级自由发挥的,不同的类型对这些保留位有不同的定义。可以理解为因类型变化而变化的二级格式。 - 那有了二级格式会不会有三级格式 ? 答案是必须有, 二级格式只会对保留位定义部分位,会留一部分给具体的指令格式自由发挥。
- 一定要理解这种层次结构才能理解
ARM
指令集的设计总思路,因为RISC(精简指令集) 的指令长度是固定的16/32/64
位,以32
位为例,所有的指令设计必须全用32
位来表示,如果只有一层结构是难以满足众多的指令设计需求的,要灵活有包容就得给适当的空间发挥。
条件域
cond
为条件域,每一条可条件执行的条件指令都有4
位的条件位域,2^4
能表示16
种条件
cond | 助记符 | 含义(整型) | 含义(浮点型) | 条件标志 |
0000 | EQ | 相等 | 相等 | Z == 1 |
0001 | NE | 不等 | 不等或无序 | Z == 0 |
0010 | CS | 进位 | 大于等于或无序 | C == 1 |
0011 | CC | 进位清除 | 小于 | C == 0 |
0100 | MI | 减、负数 | 小于 | N == 1 |
0101 | PL | 加、正数或 0 | 大于等于或无序 | N == 0 |
0110 | VS | 溢出 | 无序 | V == 1 |
0111 | VC | 未溢出 | 有序 | V == 0 |
1000 | HI | 无符号大于 | 大于或无序 | C == 1 and Z == 0 |
1001 | LS | 无符号小于或等于 | 小于或等于 | C == 0 or Z == 1 |
1010 | GE | 有符号大于或等于 | 大于或等于 | N == V |
1011 | LT | 有符号小于 | 小于或无序 | N != V |
1100 | GT | 有符号大于 | 大于 | Z == 0 and N ==V |
1101 | LE | 有符号大于或等于 | 小于等于或无序 | Z == 1 or N != V |
1110 | 无 | 无条件 | 无条件 | 任何 |
- 大部分的指令都是
1110 = e
,无条件执行指令,只要看到e
开头的机器指令都属于这类
类型域
图(3) 的 op1
域位于 bits[27:25]
,占三位;op
域位于 bit[4]
,占一位。它们的取值组合在一起,决定指令所属的分类(Instruction Class),其值对应的关系如下
操作域
操作域是因类型变化而变化的二级格式 ,作用于保留位。包含
00x | 数据处理类指令
- 上图为涉及数据处理指令的对应编码,由
op[占5位]
和op2[占2位]
两项来确定指令的唯一性 - 一般情况下只需
op
指定唯一性,图中SUB
指令对应为0010x
,而代码案例中的第一句
- 需要用到
op2
的是MOV
系列指令,包括逻辑/算术左移右移,例如:
中的op = 1 1010
,op2 = 00
对应 MOV(register,ARM) on page A8-489 00x
中的x
表示数据处理分两种情况
* 000
无立即数参与(寄存器之间) ,图A5.2.1 表示了这种情况 [27:25]= 000
* 001
有立即参与的运算,例如 mov r0, #0
中的 [27:25]= 001
,此处未展示图,可前往 ARM体系架构参考手册.pdf 翻看
010 | 加载存储指令
Load/store
是一组内存访问指令,用来在ARM
寄存器和内存之间进行数据传送,ARM
指令中有3
种基本的数据传送指令
- 单寄存器
Load/Store
内存访问指令(single register
):这些指令为ARM寄存器和存储器提供了更灵活的单数据项传送方式。数据可以使字节,16位半字或32位字 - 多寄存器
Load/Store
内存访问指令:可以实现大量数据的同时传送,主要用于进程的进入和退出、保存和恢复工作寄存器以及复制寄存器中的一片(一块)数据 - 寄存器交换指令(
single register swap
): 实现寄存器数据和内存数据进行交换,而且是在一条指令中完成,执行过程中不会受到中断干扰
- 出现在代码案例中的
[27:25] = 010
说明都属于这类指令,完成对内存的读写,包括 LDR
、LDRB
、LDRH
、STR
、STRB
、STRH
六条指令。
ldr
为加载指令,但是加载到内存还是寄存器,这该怎么记 ? 因为主角是CPU
,加载有进来的意思,将内容加载至寄存器中。STR
有出去的意思,将内容保存到内存里。
[sp]
相当于C
语言的 *sp
,sp
指向程序运行栈当前位置
- 具体可看 >> ARM的六条访存指令集—LDR、LDRB、LDRH、STR、STRB、STRH
010 | 多媒体指令
多媒体指令使用较少,但是它涉及指令却很多
10x | 跳转/分支/块数据处理 指令
- 出现在代码案例中的
[27:25] = 101
说明都属于这类指令
- 听得很多的
pop
,push
也属于这类,成块的数据操作,例如push
常用于将函数的所有参数一次性入栈。 - 内存 <> 寄存器 批量数据搬运指令
STMDA (STMED)
LDMDA/LDMF
。
11x | 软中断/协处理器 指令
- 其中最有名的就是
svc 0
,在系列篇中曾多次提及它,此处详细说下svc
,svc
全称是Supervisor Call
,Supervisor
是CPU
的管理模式,svc
导致处理器进入管理模式,很多人问的系统调用底层是怎么实现的?svc
就是答案。 - 例如
printf
是个标准库函数,在标准库的底层代码中会调用svc 0
,导致用户态的ARM
程序通常将系统调用号传入R7
寄存器(也被鸿蒙内核使用),然后用SVC
指令调用0
号中断来直接执行系统调用, - 在以前的ARM架构版本中,
SVC
指令被称为SWI
,软件中断。 - 描述
svc
功能的详细伪代码如下,请尝试读懂它
- 这部分内容在系列篇 (寄存器篇) ,(系统调用篇) ,(标准库篇) 中都有提及。
具体指令
细看几条代码案例出现的常用指令
sub sp, sp, #8
是减法操作指令,减法编码格式为
图中除了给出格式语法还有一段伪代码用于描述指令的使用条件
sp
为13
号寄存器,lr
为14
号寄存器 ,pc
为15
号寄存器。- 如果是
PC
寄存器(Rn = 15)
且S
等于0
查看ADR
指令。。 - 如果是
SP
寄存器(Rn = 13)
看SUB
(申请栈空间)。 - 如果是
PC
寄存器(Rd = 15)
且S
等于1
。查看subs
pc
lr
相关指令 - 套用格式结合源码
cond | op1 | 操作码 | S | Rn | Rd | imm12(立即数) |
1110 | 001 | 0010 | 0 | 1101 | 1101 | 0000 0000 1000 |
无条件执行 | 表示数据处理 | SUB | sp | sp | 8 |
mov r0, #0
bx lr
-
Rm = 1110
对应lr
寄存器 ,其相当于高级语言的return
,函数执行完了需切回到调用它的函数位置继续执行,lr
保存的就是那个位置,从哪里来就回到哪里去。
经常有很多小伙伴抱怨说:不知道学习鸿蒙开发哪些技术?不知道需要重点掌握哪些鸿蒙应用开发知识点?
为了能够帮助到大家能够有规划的学习,这里特别整理了一套纯血版鸿蒙(HarmonyOS Next)全栈开发技术的学习路线,包含了鸿蒙开发必掌握的核心知识要点,内容有(ArkTS、ArkUI开发组件、Stage模型、多端部署、分布式应用开发、WebGL、元服务、OpenHarmony多媒体技术、Napi组件、OpenHarmony内核、OpenHarmony驱动开发、系统定制移植等等)鸿蒙(HarmonyOS NEXT)技术知识点。
《鸿蒙 (Harmony OS)开发学习手册》(共计892页)
如何快速入门?
1.基本概念
2.构建第一个ArkTS应用
3.……
开发基础知识:
1.应用基础知识
2.配置文件
3.应用数据管理
4.应用安全管理
5.应用隐私保护
6.三方应用调用管控机制
7.资源分类与访问
8.学习ArkTS语言
9.……
基于ArkTS 开发
1.Ability开发
2.UI开发
3.公共事件与通知
4.窗口管理
5.媒体
6.安全
7.网络与链接
8.电话服务
9.数据管理
10.后台任务(Background Task)管理
11.设备管理
12.设备使用信息统计
13.DFX
14.国际化开发
15.折叠屏系列
16.……
鸿蒙开发面试真题(含参考答案)
OpenHarmony 开发环境搭建
《OpenHarmony源码解析》
- 搭建开发环境
- Windows 开发环境的搭建
- Ubuntu 开发环境搭建
- Linux 与 Windows 之间的文件共享
- ……
- 系统架构分析
- 构建子系统
- 启动流程
- 子系统
- 分布式任务调度子系统
- 分布式通信子系统
- 驱动子系统
- ……
OpenHarmony 设备开发学习手册
写在最后
如果你觉得这篇内容对你还蛮有帮助,我想邀请你帮我三个小忙:
- 点赞,转发,有你们的 『点赞和评论』,才是我创造的动力。
- 关注小编,同时可以期待后续文章ing🚀,不定期分享原创知识。