ARM汇编基本知识

一.符号定义伪指令

    用于定义ARM汇编程序中的变量、对变量赋值以及定义寄存器的别名等操作。常见的符号定义伪指令有如下几种：
             —       用于定义全局变量的GBLA、GBLL和GBLS。
             —       用于定义局部变量的LCLA、LCLL和LCLS。
             —       用于对变量赋值的SETA、SETL、SETS。
为通用寄存器列表定义名称的RLIST。

1、  GBLA、GBLL和GBLS
语法格式：
GBLA（GBLL或GBLS） 全局变量名
GBLA、GBLL和GBLS伪指令用于定义一个ARM程序中的全局变量，并将其初始化。其中：
GBLA伪指令用于定义一个全局的数字变量，并初始化为0；
GBLL伪指令用于定义一个全局的逻辑变量，并初始化为F（假）；
GBLS伪指令用于定义一个全局的字符串变量，并初始化为空；
       由于以上三条伪指令用于定义全局变量，因此在整个程序范围内变量名必须唯一。
使用示例：
 GBLA Test1  定义一个全局的数字变量，变量名为Test1
 Test1 SETA 0xaa ；将该变量赋值为0xaa
 GBLL Test2   ；   定义一个全局的逻辑变量，变量名为Test2
 Test2 SETL {TRUE} ；将该变量赋值为真
 GBLS Test3   ；   定义一个全局的字符串变量，变量名为Test3
 Test3 SETS “Testing” ；将该变量赋值为“Testing”
2   LCLA、LCLL和LCLS
语法格式：
LCLA（LCLL或LCLS） 局部变量名
LCLA、LCLL和LCLS伪指令用于定义一个ARM程序中的局部变量，并将其初始化。其中：
LCLA伪指令用于定义一个局部的数字变量，并初始化为0；
LCLL伪指令用于定义一个局部的逻辑变量，并初始化为F（假）；
LCLS伪指令用于定义一个局部的字符串变量，并初始化为空；
 以上三条伪指令用于声明局部变量，在其作用范围内变量名必须唯一。
 使用示例：
 LCLA Test4 ；声明一个局部的数字变量，变量名为Test4
 Test3 SETA 0xaa ；将该变量赋值为0xaa
 LCLL Test5 ；声明一个局部的逻辑变量，变量名为Test5
 Test4 SETL {TRUE} ；将该变量赋值为真
 LCLS Test6 ；定义一个局部的字符串变量，变量名为Test6
 Test6 SETS “Testing” ；将该变量赋值为“Testing”

3、  SETA、SETL和SETS
语法格式：
变量名 SETA（SETL或SETS） 表达式
伪指令SETA、SETL、SETS用于给一个已经定义的全局变量或局部变量赋值。
       SETA伪指令用于给一个数学变量赋值；
       SETL伪指令用于给一个逻辑变量赋值；
       SETS伪指令用于给一个字符串变量赋值；
其中，变量名为已经定义过的全局变量或局部变量，表达式为将要赋给变量的值。
使用示例：
 LCLA Test3 ；声明一个局部的数字变量，变量名为Test3
 Test3 SETA 0xaa ；将该变量赋值为0xaa
 LCLL Test4 ；声明一个局部的逻辑变量，变量名为Test4
 Test4 SETL {TRUE} ；将该变量赋值为真
4、  RLIST
语法格式：
名称  RLIST {寄存器列表}
RLIST伪指令可用于对一个通用寄存器列表定义名称，使用该伪指令定义的名称可在ARM指令LDM/STM中使用。在LDM/STM指令中，列表中的寄存器访问次序为根据寄存器的编号由低到高，而与列表中的寄存器排列次序无关。

 使用示例：

RegList RLIST {R0-R5，R8，R10} 
；将寄存器列表名称定义为RegList，可在ARM指令LDM/STM中通过该名称访问寄存器列表。

 
二、数据定义伪指令一般用于为特定的数据分配存储单元，同时可完成已分配存储单元的初始化。常见的数据定义伪指令有如下几种：
    —       DCB用于分配一片连续的字节存储单元并用指定的数据初始化。
    —       DCW（DCWU） 用于分配一片连续的半字存储单元并用指定的数据初始化。
    —       DCD（DCDU）用于分配一片连续的字存储单元并用指定的数据初始化。
    —       DCFD（DCFDU）用于为双精度的浮点数分配一片连续的字存储单元并用指定的数据初始化。
    —       DCFS（DCFSU）用于为单精度的浮点数分配一片连续的字存储单元并用指定的数据初始化。
    —       DCQ（DCQU）用于分配一片以8字节为单位的连续的存储单元并用指定的数据初始化。
    —       SPACE  用于分配一片连续的存储单元
    —       MAP  用于定义一个结构化的内存表首地址
    FIELD   用于定义一个结构化的内存表的数据域

1、  DCB
语法格式：
标号  DCB 表达式
DCB伪指令用于分配一片连续的字节存储单元并用伪指令中指定的表达式初始化。其中，表达式可以为0～255的数字或字符串。DCB也可用“=”代替。
使用示例：
Str DCB “This is a test！” ；分配一片连续的字节存储单元并初始化。
2、  DCW（或DCWU）
语法格式：
标号  DCW（或DCWU） 表达式
DCW（或DCWU）伪指令用于分配一片连续的半字存储单元并用伪指令中指定的表达式初始化。其中，表达式可以为程序标号或数字表达式。。
用DCW分配的字存储单元是半字对齐的，而用DCWU分配的字存储单元并不严格半字对齐。
使用示例：
DataTest DCW  1，2，3 ；分配一片连续的半字存储单元并初始化。
3、  DCD（或DCDU）
语法格式： 标号  DCD（或DCDU） 表达式
DCD（或DCDU）伪指令用于分配一片连续的字存储单元并用伪指令中指定的表达式初始化。其中，表达式可以为程序标号或数字表达式。DCD也可用“&”代替。
用DCD分配的字存储单元是字对齐的，而用DCDU分配的字存储单元并不严格字对齐。
使用示例：
DataTest DCD  4，5，6 ；分配一片连续的字存储单元并初始化。
4  DCFD（或DCFDU）
语法格式： 标号  DCFD（或DCFDU） 表达式
DCFD（或DCFDU）伪指令用于为双精度的浮点数分配一片连续的字存储单元并用伪指令中指定的表达式初始化。每个双精度的浮点数占据两个字单元。
用DCFD分配的字存储单元是字对齐的，而用DCFDU分配的字存储单元并不严格字对齐。
使用示例：
FDataTest DCFD 2E115，-5E7 ；分配一片连续的字存储单元并初始化为指定的双精度数。
5、  DCFS（或DCFSU）
语法格式：标号  DCFS（或DCFSU） 表达式
DCFS（或DCFSU）伪指令用于为单精度的浮点数分配一片连续的字存储单元并用伪指令中指定的表达式初始化。每个单精度的浮点数占据一个字单元。
用DCFS分配的字存储单元是字对齐的，而用DCFSU分配的字存储单元并不严格字对齐。
使用示例：
FDataTest DCFS 2E5，-5E－7 ；分配一片连续的字存储单元并初始化为指定的单精度数。

6、  DCQ(或DCQU）
语法格式： 标号  DCQ（或DCQU） 表达式
DCQ（或DCQU）伪指令用于分配一片以8个字节为单位的连续存储区域并用伪指令中指定的表达式初始化。
用DCQ分配的存储单元是字对齐的，而用DCQU分配的存储单元并不严格字对齐。
使用示例：
DataTest DCQ  100 ；分配一片连续的存储单元并初始化为指定的值。
7   SPACE
语法格式：标号  SPACE 表达式
SPACE伪指令用于分配一片连续的存储区域并初始化为0。其中，表达式为要分配的字节数。SPACE也可用“％”代替。
使用示例：
DataSpace SPACE 100 ；分配连续100字节的存储单元并初始化为0。

8   MAP
语法格式：MAP  表达式{，基址寄存器}
MAP伪指令用于定义一个结构化的内存表的首地址。MAP也可用“＾”代替。
表达式可以为程序中的标号或数学表达式，基址寄存器为可选项，当基址寄存器选项不存在时，表达式的值即为内存表的首地址，当该选项存在时，内存表的首地址为表达式的值与基址寄存器的和。
MAP伪指令通常与FIELD伪指令配合使用来定义结构化的内存表。
使用示例：
MAP  0x100，R0  ；定义结构化内存表首地址的值为0x100＋R0。
9、  FILED
语法格式：
标号  FIELD 表达式
FIELD伪指令用于定义一个结构化内存表中的数据域。FILED也可用“#”代替。
表达式的值为当前数据域在内存表中所占的字节数。
FIELD伪指令常与MAP伪指令配合使用来定义结构化的内存表。MAP伪指令定义内存表的首地址，FIELD伪指令定义内存表中的各个数据域，并可以为每个数据域指定一个标号供其他的指令引用。
注意MAP和FIELD伪指令仅用于定义数据结构，并不实际分配存储单元。
使用示例：
MAP  0x100  ；定义结构化内存表首地址的值为0x100。
A  FIELD 16 ；定义A的长度为16字节，位置为0x100
B  FIELD 32 ；定义B的长度为32字节，位置为0x110
S  FIELD 256 ；定义S的长度为256字节，位置为0x130
三、其他

1、  AREA
语法格式：
AREA 段名 属性1，属性2，…… 
AREA伪指令用于定义一个代码段或数据段。其中，段名若以数字开头，则该段名需用“|”括起来，如|1_test|。
属性字段表示该代码段（或数据段）的相关属性，多个属性用逗号分隔。常用的属性如下：
—       CODE属性：用于定义代码段，默认为READONLY。
—       DATA属性：用于定义数据段，默认为READWRITE。
—       READONLY属性：指定本段为只读，代码段默认为READONLY。
—       READWRITE属性：指定本段为可读可写，数据段的默认属性为READWRITE。
—       ALIGN属性：使用方式为ALIGN 表达式。在默认时，ELF（可执行连接文件）的代码段和数据段是按字对齐的，表达式的取值范围为0～31，相应的对齐方式为2表达式次方。
—       COMMON属性：该属性定义一个通用的段，不包含任何的用户代码和数据。各源文件中同名的COMMON段共享同一段存储单元。
一个汇编语言程序至少要包含一个段，当程序太长时，也可以将程序分为多个代码段和数据段。
使用示例：
AREA Init，CODE，READONLY
指令序列
；该伪指令定义了一个代码段，段名为Init，属性为只读
2、  ALIGN
语法格式：
ALIGN {表达式{，偏移量}} 
ALIGN伪指令可通过添加填充字节的方式，使当前位置满足一定的对其方式|。其中，表达式的值用于指定对齐方式，可能的取值为2的幂，如1、2、4、8、16等。若未指定表达式，则将当前位置对齐到下一个字的位置。偏移量也为一个数字表达式，若使用该字段，则当前位置的对齐方式为：2的表达式次幂＋偏移量。
使用示例：
AREA Init，CODE，READONLY，ALIEN＝3 ；指定后面的指令为8字节对齐。
指令序列
END
3、  CODE16、CODE32
语法格式：
CODE16（或CODE32）
CODE16伪指令通知编译器，其后的指令序列为16位的Thumb指令。
CODE32伪指令通知编译器，其后的指令序列为32位的ARM指令。
若在汇编源程序中同时包含ARM指令和Thumb指令时，可用CODE16伪指令通知编译器其后的指令序列为16位的Thumb指令，CODE32伪指令通知编译器其后的指令序列为32位的ARM指令。因此，在使用ARM指令和Thumb指令混合编程的代码里，可用这两条伪指令进行切换，但注意他们只通知编译器其后指令的类型，并不能对处理器进行状态的切换。
使用示例：
AREA Init，CODE，READONLY
……
CODE32   ；通知编译器其后的指令为32位的ARM指令
LDR R0，＝NEXT＋1 ；将跳转地址放入寄存器R0
BX R0  ；程序跳转到新的位置执行，并将处理器切换到Thumb工作状态
……
CODE16   ；通知编译器其后的指令为16位的Thumb指令
NEXT LDR R3，＝0x3FF 
……
END   ；程序结束
4、  ENTRY
语法格式：
ENTRY
ENTRY伪指令用于指定汇编程序的入口点。在一个完整的汇编程序中至少要有一个ENTRY（也可以有多个，当有多个ENTRY时，程序的真正入口点由链接器指定），但在一个源文件里最多只能有一个ENTRY（可以没有）。
使用示例：
AREA Init，CODE，READONLY
ENTRY     ；指定应用程序的入口点
……
5、  END
语法格式：
END
END伪指令用于通知编译器已经到了源程序的结尾。
使用示例：
AREA Init，CODE，READONLY
……
END

 7、  EQU
语法格式：名称  EQU 表达式{，类型}
EQU伪指令用于为程序中的常量、标号等定义一个等效的字符名称，类似于C语言中的＃define。其中EQU可用“*”代替。
名称为EQU伪指令定义的字符名称，当表达式为32位的常量时，可以指定表达式的数据类型，可以有以下三种类型：
CODE16、CODE32和DATA
使用示例：
Test EQU 50  ；定义标号Test的值为50
Addr EQU 0x55，CODE32 ；定义Addr的值为0x55，且该处为32位的ARM指令。

四、在ARM（Thumb）汇编语言程序中，以程序段为单位组织代码。段是相对独立的指令或数据序列，具有特定的名称。段可以分为代码段和数据段，代码段的内容为执行代码，数据段存放代码运行时需要用到的数据。一个汇编程序至少应该有一个代码段，当程序较长时，可以分割为多个代码段和数据段，多个段在程序编译链接时最终形成一个可执行的映象文件。
 可执行映象文件通常由以下几部分构成：
—       一个或多个代码段，代码段的属性为只读。-RO
—       零个或多个包含初始化数据的数据段，数据段的属性为可读写。-RW
—       零个或多个不包含初始化数据的数据段，数据段的属性为可读写。-ZI
链接器根据系统默认或用户设定的规则，将各个段安排在存储器中的相应位置。因此源程序中段之间的相对位置与可执行的映象文件中段的相对位置一般不会相同。