ARM汇编伪指令.docx

1、ARM汇编伪指令ARM汇编伪指令在ARM汇编语言源程序中有些特殊助记符，它们没有相对应的操作码或者机器码，通常称为伪指令，它们所完成的操作称为伪操作。伪指令在源程序中的作用是为完成汇编程序作各种准备工作的，由汇编程序在源程序的汇编期间进行处理，仅在汇编过程中起作用。 在ARM的汇编程序中，有以下几种伪指令：符号定义伪指令 、数据定义伪指令 、汇编控制伪指令、宏指令以及其他伪指令 。一、符号定义伪指令 作用：用于定义ARM汇编程序中的变量、对变量赋值以及定义寄存器的别名等。 符号定义有如下几种伪指令： 用于定义局部变量的LCLA、LCLL和LCLS。 用于定义全局变量的GBLA、GBLL和GBL

2、S。 用于对变量赋值的SETA、SETL和SETS。 为通用寄存器列表定义名称的RLIST。 （1）LCLA、LCLL和LCLS 格式： LCLA/LCLL/LCLS 局部变量名 说明：LCLA、LCLL和LCLS伪指令用于定义一个汇编程序中的局部变量并初始化。 其中： LCLA定义一个局部的数字变量，初始化为0。 LCLL定义一个局部的逻辑变量，初始化为F。 LCLS定义一个局部的字符串变量，初始化为空串。 这3条伪指令用于声明局部变量，在其局部作用范围内变量名必须惟一，例如在宏内。 例：LCLA num1 ;定义一个局部数字变量，变量名为num1LCLL I2 ;定义一个逻辑变量，变量名为

3、I2LCLS str3 ；定义一个字符串变量，变量名为str3num1 SETA 0xabcd ；将该变量赋值为0xabcdI2 SETL FALSE ；将该变量赋值为真str3 SETS “HELLO” ；将该变量赋值为“HELLO”（2）GBLA、GBLL和GBLS 格式： GBLA/GBLL/GBLS 变量名 说明：GBLA、GBLL和GBLS伪操作定义一个汇编程序中的全局变量并初始化。 其中： GBLA定义一个全局数字变量，并初始化为0。 GBLL定义一个全局逻辑变量，并初始化为F。 GBLS定义一个全局字符串变量，并初始化为空串。 这3条伪指令用于定义全局变量，因此在整个程序范围内变

4、量名必须惟一。 （3）SETA、SETL和SETS 格式： 变量名 SETA/SETL/SETS 表达式 说明： SETA：给一个数字变量赋值。 SETL：给一个逻辑变量赋值。 SETS：给一个字符串变量赋值。 格式中的变量名必须为已经定义过的全局或局部变量，表达式为将要赋给变量的值。 （4）RLIST 格式： 名称 RLIST 寄存器列表 说明：RLIST可用于对一个通用寄存器列表定义名称，该名称可在ARM指令LDM/ STM中使用。在LDM/STM指令中，列表中的寄存器为根据寄存器的编号由低到高访问次序，与列表中的寄存器排列次序无关。 例如： pblock RLIST R0-R3，R7,R

5、5，R9 ;将寄存器列表名称定义为pblock，可在ARM指令 ;LDM/STM中通过该名称访问寄存器列表 二、数据定义伪指令 作用：为数据分配存储单元，同时初始化。 有如下几种： DCB 字节分配 DCW/DCWU 半字（2字节）分配 DCD/DCDU 字（4字节）分配 DCQ/DCQU 8个字节分配 DCFS/DCFSU 单精度浮点数分配 DCFD/DCFDU 双精度浮点数分配 SPACE 分配一块连续的存储单元 FIELD 定义一个结构化的内存表的数据域 MAP 定义一个结构化的内存表首地址 （1）DCB 格式： 标号 DCB 表达式 说明：分配一块字节单元并用伪指令中指定的表达式进行初

6、始化。 表达式可以为使用双引号的字符串或0255的数字。 DCB可用“=”代替。 例如： Array1 DCB 1,2,3,4,5 ;数组 str1 DCB Your are welcome！ ;构造字符串并分配空间 （2）DCW/DCWU 格式： 标号 DCW/DCWU 表达式 说明： DCW分配一段半字存储单元并用表达式值初始化，它定义的存储空间是半字对齐的。 DCWU功能与DCW类似，只是分配的字存储单元不严格半字对齐。 例如： Arrayw1 DCW 0xa,-0xb,0xc,-0xd ;构造固定数组并分配半字存储单元 （3）DCD/DCDU 格式： 标号 DCD/DCDU 表达式 说

7、明：DCD伪指令用于分配一块字存储单元并用伪指令中指定的表达式初始化，它定义的存储空间是字对齐的。 DCD也可用“&”代替。 DCDU功能与DCD类似，只是分配的存储单元不严格字对齐。 例如： Arrayd1 DCD 1334，234，345435 ;构造固定数组并分配字为单元的存储单元 Label DCD str1;该字单元存放str1的地址 （4）DCQ/DCQU 格式： 标号 DCQ/DCQU 表达式 说明：DCQ用于分配一块以8个字节为单位的存储区域并用伪指令中指定的表达式初始化，它定义的存储空间是字对齐的。 DCQU功能与DCQ类似，只是分配的存储单元不严格字对齐。 例如： Arra

8、yd1 DCQ 234234，98765541 ;构造固定数组并分配字为单元的存储空间。 ；注意：DCQ不能给字符串分配空间 （5）DCFD/DCFDU 格式： 标号 DCFD/DCFDU 表达式 说明：DCFD用于为双精度的浮点数分配一片连续的字存储单元并用伪指令中指定的表达式初始化，它定义的存储空间是字对齐的。 每个双精度的浮点数占据两个字单元。 DCFDU功能与DCFD类似，只是分配的存储单元不严格字对齐。 例如： Arrayf1 DCFD 6E2 Arrayf2 DCFD 1.23,1.45 （6）DCFS/DCFSU 格式： 标号 DCFS/DCFSU 表达式 说明：DCFS用于为单

9、精度的浮点数分配一片连续的字存储单元并用表达式初始化，它定义的存储空间是字对齐的。 每个单精度浮点数使用一个字单元。 DCFSU功能与DCFS类似，只是分配的存储单元不严格字对齐。 例如： Arrayf1 DCFS 6E2 ，-9E-2，-.3 Arrayf2 DCFSU 1.23,6.8E9 （7）SPACE 格式： 标号 SPACE 表达式 说明：SPACE用于分配一片连续的存储区域并初始化为0，表达式为要分配的字节数。 SPACE也可用“%”代替。 例如： freespace SPACE 1000 ;分配1000字节的存储空间 （8）MAP 格式： MAP 表达式 ，基址寄存器 说明：M

10、AP定义一个结构化的内存表的首地址。此时，内存表的位置计数器VAR（汇编器的内置变量）设置成该地址值。 “”可以用来代替MAP。 表达式可以为程序中的标号或数学表达式，基址寄存器为可选项，当基址寄存器选项不存在时，表达式的值即为内存表的首地址，当该选项存在时，内存表的首地址为表达式的值与基址寄存器的和。 MAP可以与FIELD伪操作配合使用来定义结构化的内存表。 例如： MAP 0x130,R2 ;内存表首地址为0x130R2 （9）FIELD 格式： 标号 FIELD 字节数 说明：FIELD用于定义一个结构化内存表中的数据域。 “#”可用来代替FIELD。 FIELD常与MAP配合使用来定

11、义结构化的内存表：FIELD伪指令定义内存表中的各个数据域，MAP则定义内存表的首地址，并为每个数据域指定一个标号以供其他的指令引用。 需要注意的是MAP和FIELD伪指令仅用于定义数据结构，并不分配存储单元。 例如： MAP 0xF10000 ;定义结构化内存表首地址为0xF10000count FIELD 4 ;定义count的长度为4字节，位置0xF1000+0 x FIELD 4 ;定义x的长度为4字节，位置为0xF1004 y FIELD 4 ;定义y的长度为4字节，位置为0xF1008 三、汇编控制伪指令 作用：指引汇编程序的执行流程。 常用的伪操作包括： MACRO和MEND：宏

12、定义的开始与结束。 IF、ELSE和ENDIF：根据逻辑表达式的成立与否决定是否在编译时加入某个指令序列。 WHILE和WEND：根据逻辑表达式的成立与否决定是否循环执行这个代码段。 MEXIT：从宏中退出。 （1）MACRO和MEND 格式 MACRO $标号 宏名 $参数1，$参数2， 指令序列 MEND 其中，$标号在宏指令被展开时，标号可被替换成相应的符号（在一个符号前使用$，表示程序在汇编时将使用相应的值来替代$后的符号）， $参数1为宏指令的参数，当宏指令被展开时将被替换成相应的值，类似于函数中的形式参数。 （2）IF、ELSE和ENDIF 格式： IF 逻辑表达式 代码段1 EL

13、SE 代码段2 ENDIF 说明：能根据逻辑表达式的成立与否决定是否在编译时加入某个指令序列。 IF、ELSE和ENDIF分别可以用“”，“|”，“”代替。如果IF后面的逻辑表达式为真，则编译代码段1，否则编译代码段2。ELSE及代码段2也可以没有，这时，当IF后面的逻辑表达式为真时，则代码段1，否则继续编译后面的指令。 （3）WHILE和WEND 格式： WHILE 逻辑表达式 代码段 WEND 说明： WHILE和WEND伪指令能根据逻辑表达式的成立与否决定是否循环执行这个代码段。当WHILE后面的逻辑表达式为真时，则执行代码段，该代码段执行完毕后，再判断逻辑表达式的值，若为真则继续执行，

14、一直到逻辑表达式的值为假。 例如： GBLA num ;声明全局的数字变量num num SETA 9 ;由num控制循环次数 WHILE num0 sub r0,r0,1 add r1,r1,1 WEND 四、宏定义伪指令 在程序中调用该宏 exam jump sub,det ;调用宏jump,宏的标号为exam, 参数1为sub,参数2为det 程序被汇编后，宏的展开结果： examloop1 BGE examloop1 examloop2 BL sub BGT examloop2 ADR det 宏指令可以重复使用，与子程序有些类似，子程序可以节省存储空间，提供模块化的程序设计。但是使用

15、子程序结构时需要保存/恢复现场，从而增加了系统的开销。 使用说明：在子程序比较短而需要传递的参数比较多的情况下，可使用宏汇编技术。 例子 MACRO ;宏定义开始 $label jump $a1,$a2 ;宏的名称为jump，有2个参数a1和a2 $label.loop1 ; $label.loop1 为宏体的内部标号 BGE $label.loop1 $label.loop2 BL $a1 ;参数$a1为一个子程序的名称 BGT $label.loop2 ADR $a2 MEND ;宏定义结束 五、其他伪指令 在汇编程序中经常会使用一些其他的伪指令，包括以下18条： ASSERT AREA

16、ALIGN CODE16/CODE32 ENTRY END EQU IMPORT EXPORT/GLOBAL EXTERN INCBIN GET/INCLUDE RN ROUT ADR ADRL LDR NOP （1）ASSERT 格式： ASSERT 逻辑表达式 说明：ASSERT用来表示程序的编译必须满足一定的条件，如果逻辑表达式不满足，则编译器会报错，并终止汇编。 例如： ASSERT ver7 ;保证ver7 2）AREA 格式： AREA 段名 属性， 说明：AREA用于定义一个代码段、数据段或者特定属性的段。如果段名以数字开头，那么该段名需用“|”字符括起来，如|7wolf|，用C

17、的编译器产生的代码一般也用“|”括 起来。 属性部分表示该代码段/数据段的相关属性，多个属性可以用“，”分隔。 常见属性如下： DATA：定义数据段，默认属性是READWRITE。 CODE：定义代码段，默认属性是READONLY 。 READONLY：表示本段为只读。 READWRITE：表示本段可读写。 ALIGN=表达式，表示段的对齐方式为2的表达式次方，例如：表达式=3，则对齐方式为8字节对齐。表达式的取值范围为031。 COMMON属性：定义一个通用段，这个段不包含用户代码和数据。 （3）ALIGN 格式： ALIGN 表达式，偏移量 说明：ALIGN伪操作可以通过填充字节使当前的位

18、置满足一定的对齐方式。 表达式的值为2的幂，如1、2、4、8、16等，用于指定对齐方式。 如果伪操作中没有指定表达式，则编译器会将当前位置对齐到下一个字的位置。偏移量也是个数字表达式，如果存在偏移量，则当前位置自动对齐到2的表达式值次方偏移量。 例如： AREA |.data|,DATA,READWRITE,ALIGN=2 （4）CODE16/CODE32 格式： CODE16/CODE32 说明：CODE16伪操作指示编译器后面的代码为16位的Thumb指令。CODE32伪操作指示编译器后面的代码为32位的ARM指令。 如果在汇编源代码中同时包含Thumb和ARM指令时，可以用“CODE32

19、”通知编译器后的指令序列为32位的ARM指令，用“CODE16”伪指令通知编译器后的指令序列为16位的Thumb指令。 CODE16/CODE32不能对处理器进行状态的切换。 例如： CODE32 ; 32位的ARM指令 AREA |.text|,CODE，READONLY LDR R0,0x8500; BX R0 ;程序跳转，并将处理器切换到Thumb状态 CODE16 ;16位的Thumb指令 ADD R3,R3,1 END ;源文件结束 （5）ENTRY 格式： ENTRY 说明：ENTRY用于指定汇编程序的入口。 在一个完整的汇编程序中至少要有一个ENTRY，程序中也可以有多个，此时，

20、程序的真正入口点可在链接时指定，但在一个源文件里最多只能有一个ENTRY或者没有ENTRY。 （6）END 格式： END 说明：END告诉编译器已经到了源程序的结尾。 例如： AREA constdata，DATA，READONLY END ;结尾 （7）EQU 格式： 名称 EQU 表达式 ，类型 说明：EQU用于将程序中的数字常量、标号、基于寄存器的值赋予一个等效的名称，这一点类似于C语言中的define. 可用“*”代替EQU。 如果表达式为32位的常量，我们可以指定表达式的数据类型，类型域可以有以下3种：CODE16/CODE32/DATA 例如： num1 EQU 1234 ;定义

21、num1为1234 addr5 EQU str1+0x50 d1 EQU 0x2400，CODE32 ;定义d1的为0x2400，且该处为32位的ARM指令 （8）EXPORT/GLOBAL 格式： EXPORT/GLOBAL 标号 ,WEAK 说明：EXPORT在程序中声明一个全局标号，其他文件中的代码可以被该标号引用。用户也可以用GLOBAL代替EXPORT。 ,WEAK可选项声明其他文件有同名的标号，则该同名标号优先于该标号被引用。 例如： AREA |.text|,CODE,READONLY main PROC ENDP EXPORT main ;声明一个可全局引用的函数main EN

22、D （9）IMPORT 格式： IMPORT 标号 ,WEAK 说明：告诉编译器，这个标号要在当前源文件中使用，但标号是在其他的源文件中定义的。 ,WEAK：如果所有的源文件都没有找到这个标号的定义，编译器也不会提示错误信息，同时编译器也不会到当前没有被INCLUDE进来的库中去查找该符号。 使用IMPORT为操作声明一个符号是在其他源文件中定义的。如果链接器在链接处理时不能解析该符号，而且IMPORT为操作中没有指定WEAK选项，则链接器将会报告错误。如果链接器在链接处理时不能解析该符号，而IMPORT伪操作中指定了WEAK选项，则链接器不会报告错误，而是进行下面的操作：如果该符号被B或BL

23、指令引用，则该符号被设置成下一条指令的地址，该B或者BL指令相当于一条NOP指令。例如“B sign ”，“sign”不能被解析，则该指令被忽略为NOP指令，继续执行下面的指令，也就是将sign理解为下一条指令的地址。 其他情况下该符号被设置为0。例如： AREA mycode,CODE,READONLY IMPORT _ printf ;通知编译器当前文件要引用函数_ printf END （10）EXTERN 格式： EXTERN 标号 ,WEAK 说明：告诉编译器，标号要在当前源文件中引用，但是该标号是在其他的源文件中定义的。 与IMPORT不同的是，如果当前源文件实际上没有引用该标号，

24、该标号就不会被加入到当前文件的符号表中。 使用方法：使用IMPORT为操作声明一个符号是在其他源文件中定义的。如果链接器在链接处理时不能解析该符号，而且IMPORT为操作中没有指定WEAK选项，则链接器将会报告错误。如果链接器在链接处理时不能解析该符号，而IMPORT伪操作中指定了WEAK选项，则链接器不会报告错误，而是进行下面的操作：如果该符号被B或BL指令引用，则该符号被设置成下一条指令的地址，该B或者BL指令相当于一条NOP指令。例如“B sign ”，“sign”不能被解析，则该指令被忽略为NOP指令，继续执行下面的指令，也就是将sign理解为下一条指令的地址。 其他情况下该符号被设置

25、为0。 ,WEAK：即使所有的源文件都没有找到这个标号的定义，编译器也不给出错误信息。 例如： AREA |.text|,CODE,READONLY EXTERN _ printf,WEAK ;告诉编译器当前文件要引用标号，如果找不到，则不提示错误 END （11）GET/INCLUDE 格式： GET 文件名 说明：GET将一个源文件包含到当前的源文件中，并将被包含的源文件在当前位置展开进行汇编处理。 INCLUDE和GET的作用是等效的。 使用方法：在某源文件中定义一些宏指令，用MAP和FIELD定义结构化的数据类型，用EQU定义常量的符号名称，然后用GET/INCLUDE将这个源文件包含

26、到其他的源文件中。 使用方法与C语言中的“#include”相似。 GET/INCLUDE只能用于包含源文件，包含其他文件则需要使用INCBIN伪指令。 例如： AREA mycode,DATA,READONLY GET E：codeprog1.s ;通知编译器在当前源文件包含源文件E：code prog1.s GET prog2.s ;通知编译器当前源文件包含可搜索目录下的prog2.s END （12）INCBIN 格式： INCBIN 文件名 说明：INCBIN将一个数据文件或者目标文件包含到当前的源文件中，编译时被包含的文件不作任何变动地存放在当前文件中，编译器从后面开始继续处理。 例

27、如： AREA constdata,DATA,READONLY INCBIN data1.dat ;源文件包含文件data1.dat INCBIN E：DATAdata2.bin ;源文件包含文件E：DATAdata2.bin END （13）RN 格式： 名称 RN 表达式 说明：RN用于给一个寄存器定义一个别名，以便程序员记忆该寄存器的功能。 名称为给寄存器定义的别名，表达式为寄存器的编码。 例如： count RN R1 ;给R1定义一个别名count （14）ROUT 格式： 名称 ROUT 说明：ROUT可以给一个局部变量定义作用范围。 在程序中未使用该伪指令时，局部变量的作用范围为

28、所在的AREA，而使用ROUT后，局部变量的作用范围为当前ROUT和下一个ROUT之间。 例如： routine ROUT ;定义局部标号的有效范围 1 routine ；routine内的局部标号1 BEQ %1 routine ;若条件成立，则跳转到routine范围内的局部标号1 Otherroutine ROUT ；定义新的局部标号的有效范围 （15）LTORG 说明：LTORG用于声明一个数据缓冲池（literal pool）的开始。通常放在无条件跳转指令之后，或者子程序返回指令之后，以免处理器错误地将数据缓冲池中地数据作为指令来执行。 例如： Func1 MOV PC, LR LT

29、ORG DATA SPACE 26;从data标号开始预留256字节地内存单元 END （16）ADR 小范围地址读取 格式： ADR ,; 说明：将基于PC相对偏移的地址值或基于寄存器相对偏移的地址值（expr 地址表达式）读取到目标寄存器Rd中。 当地址值是非字对齐时，取值范围在-255255字节之间； 当地址值是字对齐时，取值范围在-1 0201 020字节之间。 在汇编编译源程序时,ADR伪指令被编译器替换成一条合适的指令。 通常,编译器用一条ADD指令或SUB指令来实现该ADR伪指令的功能。若不能用一条指令实现,则产生错误,编译失败。 对于基于PC相对偏移的地址值时，给定范围是相对当前指令地址后两个字处(因为ARM7TDMI为三级流水线)。 可以用ADR加载地址实现查表。 例如： LOOP MOV R1，#0xF0 ADR R2，LOOP ；将LOOP的地址放入R2，因为PC值为当前指令地址值加8字节，所以本 ADR伪指令将被编译器换成“SUB R2,PC，0XC” （17）ADRL 中等范围地址读取 格式： ADRL ,; 说明：类似于ADR， 但比ADR读取更大范围的地址。 当地址值是非字对齐时，取值范围在-64KB64 KB之间； 地址值是字对齐时，取值范围在-256KB256 KB之间。 在汇编编译源程序时，A