ARM汇编语言伪指令

ARM汇编语言伪指令
ARM中伪指令不是真正的ARM指令或者Thumb指令，这些伪指令在汇编编译时对源程序进行汇编处理时被替换成对应的ARM或Thumb指令（序列）。ARM伪指令包括ADR、ADRL、LDR和NOP等。
1、ADR（小范围的地址读取伪指令）
该指令将基于PC的地址值或基于寄存器的地址值读取到寄存器中。
语法格式
ADR{cond} register, expr
其中，cond为可选的指令执行的条件
      register为目标寄存器
      expr为基于PC或者基于寄存器的地址表达式，其取值范围如下：
当地址值不是字对齐时，其取值范围为-255~255.
当地址值是字对齐时，其取值范围为-1020~1020
当地址值是16字节对齐时，其取值范围将更大
在汇编编译器处理源程序时，ADR伪指令被编译器替换成一条合适的指令。通常，编译器用一条ADD指令或SUB指令来实现该ADR伪指令的功能。
因为ADR伪指令中的地址是基于PC或者基于寄存器的，所以ADR读取到的地址为位置无关的地址。当ADR伪指令中的地址是基于PC时，该地址与ADR伪指令必须在同一个代码段中。
示例
start MOV r0,#10 ；因为PC值为当前指令地址值加8字节
ADR r4, start ；本ADR伪指令将被编译器替换成SUB r4,pc,#0xc
2、 ADRL（中等范围的地址读取伪指令）
该指令将基于PC或基于寄存器的地址值读取到寄存器中。ADRL伪指令比ADR伪指令可以读取更大范围的地址。ADRL伪指令在汇编时被编译器替换成两条指令，即使一条指令可以完成该伪指令的功能。
语法格式
ADRL{cond} register,expr
示例
start MOV r0,#10 ；因为PC值为当前指令地址值加8字节
ADRL r4,start+60000 ；本ADRL伪指令将被编译器替换成下面两条指令
ADD r4,pc,#0xe800
ADD r4,r4,#0x254
3、LDR（大范围的地址读取伪指令）
LDR伪指令将一个32位的常数或者一个地址值读取到寄存器中
语法格式
LDR{cond} register, =[expr|label-expr]
其中，expr为32位的常量。编译器将根据expr的取值情况，如下处理LDR伪指令：
当expr表示的地址值没有超过MOV或MVN指令中地址的取值范围时，编译器用合适的MOV或MVN指令代替该LDR伪指令
当expr表示的地址值超过了MOV或者MVN指令中地址的取值范围时，编译器将该常数放在数据缓冲区中，同时用一条基于PC的LDR指令读取该常数。
label-expr为基于PC的地址表达式或者是外部表达式。当label-expr为基于PC的地址表达式时，编译器将label-expr表示的数值放在数据缓冲区（literal pool）中，然后将该LDR伪指令处理成一条基于PC到该数据缓冲区单元的LDR指令，从而将该地址值读取到寄存器中。这时，要求该数据缓冲区单元到PC的距离小于4KB。当label-expr为外部表达式，或者非当前段的表达式时，汇编编译器将在目标文件中插入一个地址重定位伪操作，这样连接器将在连接时生成该地址。
LDR伪指令主要有以下两种用途：
当需要读取到寄存器中的数据超过了MOV及MVN指令可以操作的范围时，可以使用LDR伪指令将该数据读取到寄存器中。
将一个基于PC的地址值或者外部的地址值读取到寄存器中。由于这种地址值是在连接时确定的，所以这种代码不是位置无关的。同时LDR伪指令的PC值到数据缓冲区中的目标数据所在的地址的偏移量要小于4KB。
示例
将0xff0读取到R1中
LDR R1，=0xFF0
汇编后将得到：
MOV R1，0xFF0
将0xfff读取到R1中
LDR R1，=0xFFF
汇编后将得到：
LDR R1，[PC,OFFSET_TO_LPOOL]
…
LPOOL DCD 0xFFF
将外部地址ADDR1读取到R1中
LDR R1，=ADDR1
汇编后将得到：
LDR R1，[PC,OFFSET_TO_LPOOL]
…
LPOOL   DCD ADDR1
4、NOP空操作伪指令
在汇编时将被替换成ARM中的空操作，如MOV R0，R0
NOP伪指令不影响CPSR中的条件标志位
ARM汇编程序中的符号
在ARM汇编语言中，符号（symbols）可以代表地址（addresse）、变量（variables）和数字常量（numeric constants）。当符号代表地址时，又称为标号（lable）。当标号以数字开头时，其作用范围为当前段（当前段没有使用ROUT伪操作时），这种标号又称为局部标号（lacal lable）。符号变量包括变量、数字常量、标号和局部标号。
1、变量
在程序中，变量的值在汇编处理过程中可能会发生改变。在ARM汇编中变量有数字变量、逻辑变量和串变量3种类型。变量的类型在程序中是不可以改变的。
数字变量的取值范围为数字常量和数字表达式所能表示的数值；逻辑变量的取值范围为{true}和{flash}；串变量的取值范围为串表达式可以表达的范围。
在ARM汇编语言中，使用GBLA、GBLL及GBLS声明全局变量；使用LCLA、LCLL及LCLS声明局部变量；使用SETA、SETL及SETS为这些变量赋值。
2、数字常量
数字常量是32位的整数。在ARM汇编语言中，使用EQU来定义数字常量。数字常量一经定义就不可修改。 进行大小比较时，认为数字常量都是无符号数。
3、汇编时变量的替换
如果在串变量前有一个$字符，在汇编时编译器将用改串的数值来取代该串变量。
对于数字变量来说，如果该变量前面有一个$字符，在汇编时编译器将该数字变量的数值转换成十六进制的串，然后用该十六进制的串取代$字符后的数字变量。
对于逻辑变量来说，如果该逻辑变量前面有一个$字符，在汇编时编译器将该逻辑变量替换成它的取值（T或者F）
如果程序中需要字符$，则用$$来表示，编译器将不进行变量替换，而是将$$当作$.
通常情况下，包含在两个竖线（|）之间的$并不表示进行变量替换。但是如果竖线（|）是在双引号内，则将进行变量替换。
使用“.”来表示变量名称的结束。
4、标号
标号是表示程序中的指令或者数据地址的符号。根据标号的生成方式可分为3种：
基于PC的标号。基于PC的标号是位于目标指令前或者程序中数据定义伪操作前的标号。这种标号在汇编时将被处理成PC值加上（或减去）一个数字常量。常用于表示跳转指令的目标地址，或者代码段中所嵌入的少量数据。
基于寄存器的标号。基于寄存器的标号常用MAP和FIELD未定义操作，也可以该用EQU伪定义。这种标号在汇编时将被处理成寄存器的值加上（或减去）一个数据常量。常用于访问数据段中的数据。
绝对地址。绝对地址是一个32位数据。它可以寻址232 -1，即直接可以寻址整个内存空间。
5、局部标号
局部标号主要在局部范围内使用。它由两部组成：开头是一个0-99直接的数字，后面紧接一个通常表示该局部变量作用范围的符号。
局部变量的作用范围通常为当前段，也可以用伪操作ROUT来定义局部变量的作用范围。
局部变量定义的语法格式如下：
N{routname}，其中，N为0~99之间的数字。routname为符号，通常为该变量作用范围的名称（用ROUT伪操作定义的）。
局部变量引用的语法格式如下：
%{F|B}{A|T}N{routname}
其中，N为局部变量的数字号。
routname 为当前作用范围的名称（用ROUT伪操作定义的）
%表示引用操作
F指示编译器只向前搜索
B指示编译器只向后搜索
A指示编译器搜索宏的所有嵌套层次
T指示编译器搜索宏的当前层次
如果F和B都没有指定，编译器先向前搜索，再向后搜索
如果A和T都没有指定，编译器搜索所有从当前层次到宏的最高层次，比当前层次低的层次不再搜索。
如果指定了routname，编译器向前搜索最近的ROUT伪操作，若routname与该ROUT伪操作定义的名称不匹配，编译器报告错误，汇编失败。
ARM汇编语言中的表达式
表达式是由符号、数值、单目或多目操作符以及括号组成的。
1、字符串表达式
字符串表达式由字符串、字符串变量、操作符以及括号组成。字符串的最大长度为512字节，最小长度为0.下面介绍字符串表达式的组成元素。
字符串：由包含在双引号内的一系列的字符组成。字符串的长度受到ARM汇编语言语句长度的限制。当在字符串中包含美元符号$或者引号＂时，用$$表示一个$，用＂＂表示一个＂。
字符串变量：用伪操作GBLS或者LCLS声明，用SETS赋值。
操作符：
（1）LEN：返回字符串的长度
：LEN：A
其中，A为字符串变量
（2）CHR：可以将0~255之间的整数作为含一个ASCII字符的字符串。当有些ASCII字符不方便放在字符串中时，可以使用CHR将其放在字符串表达式中。
：CHR：A
其中，A为某一字符的ASCII值
（3）STR：将一个数字量或者逻辑表达式转换成串。对于32位的数字量而言，STR将其转换成8个十六进制数组成的串；对于逻辑表达式而言，STR将其转换成字符串T或者F
：STR：A
其中，A为数字量或者逻辑表达式
（4）LEFT：返回一个字符串最左端一定长度的子串
A：LEFT：B
其中，A为源字符串，B为数字量，表示LEFT将返回的字符个数
（5）RIGHT：返回一个字符串最右端一定长度的子串
A：RIGHT：B
其中，A为源字符串，B为数字量，表示RIGHT将返回的字符个数
（6）CC：用于连接两个字符串。
A：CC：B
其中，A为第1个源字符串。B为第2个源字符串。CC操作符将字符串B连接在字符串A的后面。
2、数字表达式
数字表达式由数字常量、数字变量、操作符和括号组成
数字变量用伪操作GBLA或者LCLA声明，用SETA赋值，它代表一个32位的数字量。
操作符：
（1）NOT：按位取反
：NOT：A
其中，A为一个32位数字量
（2）+、—、×、/及MOD算术操作符
A+B，A-B，A×B，A/B
A：MOD：B表示A除以B的余数
（3）ROL，ROR，SHL，SHR移位
A：ROL：B将整数A循环左移B位
A：SHL：B将整数A左移B位
（4）AND、OR及EOR按位逻辑操作符
A：AND：B将数字表达式A和B按位作逻辑与操作
3、基于寄存器和基于PC的表达式
基于寄存器的表达式表示了某个寄存器的值加上（或者减去）一个数字表达式
基于PC的表达式表示了PC寄存器的值加上（或减去）一个数字表达式。基于PC的表达式通常由程序中的标号与一个数字表达式组成。相关的操作符：
（1）BASE：返回基于寄存器的表达式中的寄存器编号。
：BASE：A    A为基于寄存器的表达式
（2）INDEX：返回基于寄存器的表达式相对于其基址寄存器的偏移量。
：INDEX：A   A为基于寄存器的表达式
（3）＋、﹣：正负号，可以放在数字表达式或者基于PC的表达式前面。
+A（﹣A）   A为基于PC的表达式或者数字表达式
4、逻辑表达式
由逻辑量、逻辑操作符、关系操作符以及括号组成，取值范围为{FLASE}和{TRUE}
关系操作符：用于表示两个同类表达式之间的关系。关系操作符和它的两个操作数组成一个逻辑表达式，其取值为{FALSE}或{TRUE}
如A=B 表示A等于B
A/=B，A<>B表示A不等于B
逻辑操作符：进行两个逻辑表达式之间的基本逻辑操作。操作的结果为{FLASE}或{TRUE}
：LNOT：A 逻辑表达式A的值取反
A：LAND：B逻辑表达式A和B逻辑与
5、其他的一些操作符
（1）？：返回定义符号A的代码行所生成的可执行代码的字节数
？A
其中，A为一个符号
（2）DEF：判断某个符号是否已定义
：DEF：A
如果符号A已经定义，上述结果为{TRUE}，否则为{FLASE}
（3）SB_OFFSET_19_12
：SB_OFFSET_19_12：label 其中，label为一个标号
返回（label-SB）的bits[19:12]
（4）SB_OFFSET_11_0
：SB_OFFSET_11_0：label
返回（label-SB）的bits[11:0]
注：可以参照ADS目录下的examples中的例子程序理解ARM汇编程序设计