在前面已经提到过了一些伪操作,还有下面一些伪操作:

  • 数据定义伪操作: .byte,.short,.long,.quad,.float,.string/.asciz/.ascii;
  • 重复定义伪操作 .rept;
  • 赋值语句 .equ/.set ;
  • 函数的定义 ;
  • 对齐方式伪操作 .align;
  • 源文件结束伪操作.end;
  • .include 伪操作;
  • if 伪操作;
  • .global/ .globl 伪操作 ;
  • .type伪操作 ;
  • 列表控制语句 ;
  • .abort 停止汇编;
  • 区别于gas汇编的通用伪操作,下面是ARM特有的伪操作 :.reg ,.unreq ,.code ,.thumb ,.thumb_func ,.thumb_set, .ltorg ,.pool

数据定义伪操作:

  • .byte:单字节定义,如:.byte 1,2,0b01,0x34,072,’s’ ;
  • .short:定义双字节数据,如:.short 0x1234,60000 ;
  • .long:定义4字节数据,如:.long 0x12345678,23876565;
  • .quad:定义8字节,如:.quad 0x1234567890abcd;
  • .float:定义浮点数,如:
    .float 0f-314159265358979323846264338327/95028841971.693993751E-40 @ -pi
  • .string/.asciz/.ascii:定义多个字符串,如:
    .string “abcd”, “efgh”, “hello!”
    .asciz “qwer”, “sun”, “world!”
    .ascii “welcome/0”
    需要注意的是:.ascii伪操作定义的字符串需要自行添加结尾字符’/0’。
  • .rept: 重复定义伪操作,格式如下:
    .rept 重复次数
    数据定义
    .endr @结束重复定义
    例如:
    .rept 3
    .byte 0x23
    .endr
  • .equ/.set:赋值语句, 格式如下:
    .equ(.set) 变量名,表达式
    例如:
    .equ abc, 3 @让abc=3
  • .comm symbol, length:在bss段申请一段命名空间,该段空间的名称叫symbol, 长度为length,Ld连接器在连接会为它留出空间。
  • .previous:将当前节换回到前一个节与子节,即将下面的指令或数据汇编到当前节之前使用的节与子节中。
  • .subsection num:切换当前子节,即将下面的代码或数据放在由num指定的子节中,节保持不变。
  • .fill repeat,size,value:将value值拷贝repeat次,其中每个value中占用size字节。
  • space 和 skip
    .space size,fill 和.skip size,fill: 在目标文件的当前位置处留出size字节的空间,并在其中填入值fill,如未指定fill,则填入0。
  • .org new-lc,fill: 从new-lc标识的新位置开始存放下边的代码或数据,之前空出来的空间用fill填充。
  • .extern symbol: 从其它模块引入符号,类似C中的extern。

函数的定义伪操作:

  • 函数的定义,格式如下:
    函数名:
    函数体
    返回语句
    一般的,函数如果需要在其他文件中调用,需要用到.global 伪操作将函数声明为全局函数。为了不至于在其他程序在调用某个C函数时发生混乱,对寄存器的使用我们需要遵循APCS准则,函数编译器将处理为函数代码为一段.global的汇编码。
  • 函数的编写应当遵循如下规则:
    a1-a4寄存器(参数、结果或暂存寄存器,r0到r3 的同义字)以及浮点寄存器f0-f3(如果存在浮点协处理器)在函数中是不必保存的;
    如果函数返回一个不大于一个字大小的值,则在函数结束时应该把这个值送到 r0 中;
    如果函数返回一个浮点数,则在函数结束时把它放入浮点寄存器f0中;
    如果函数的过程改动了sp(堆栈指针,r13)、fp(框架指针,r11)、sl(堆栈限制,r10)、lr(连接寄存器,r14)、v1-v8(变量寄存器,r4 到 r11)和 f4-f7,那么函数结束时这些寄存器应当被恢复为包含在进入函数时它所持有的值。

.align .end .include .incbin 伪操作

(1).align:用来指定数据的对齐方式,格式如下:
.align [absexpr1, absexpr2]
以某种对齐方式,在未使用的存储区域填充值。第一个值表示对齐方式:4,8,16或 32,第二个表达式值表示填充的值。
(2).end:表明源文件的结束。
(3).include:可以将指定的文件在使用.include 的地方展开,一般是头文件,例如:
.include “myarmasm.h”
(4).incbin 伪操作可以将原封不动的一个二进制文件编译到当前文件中,使用方法如下:
.incbin “file”[,skip[,count]] skip表明是从文件开始跳过skip个字节开始读取文件,count是读取的字数。

.if 伪操作

根据一个表达式的值来决定是否要编译下面的代码,用.endif伪操作来表示条件判断的结束,中间可以使用.else来决定.if的条件不满足的情况下应该编译哪一部分代码。
.if有多个变种:
.ifdef symbol @判断symbol是否定义
.ifc string1,string2 @字符串string1和string2是否相等,字符串可以用单引号括起来
.ifeq expression @判断expression的值是否为0
.ifeqs string1,string2 @判断string1和string2是否相等,字符串必须用双引号括起来
.ifge expression @判断expression的值是否大于等于0
.ifgt absolute expression @判断expression的值是否大于0
.ifle expression @判断expression的值是否小于等于0
.iflt absolute expression @判断expression的值是否小于0
.ifnc string1,string2 @判断string1和string2是否不相等,其用法跟.ifc恰好相反。
.ifndef symbol, .ifnotdef symbol @判断是否没有定义symbol,跟.ifdef恰好相反
.ifne expression @如果expression的值不是0,那么编译器将编译下面的代码
.ifnes string1,string2 @如果字符串string1和string2不相等,那么编译器将编译下面的代码.

.global .type .title .list

(1).global/ .globl :用来定义一个全局的符号,格式如下:
.global symbol 或者 .globl symbol
(2).type:用来指定一个符号的类型是函数类型或者是对象类型,对象类型一般是数据,格式如下:
.type 符号,类型描述
【例6】

.globl a
.data
.align 4
.type a, @object
.size a, 4
a:
.long 10

【例7】

.section .text
.type asmfunc, @function
.globl asmfunc
asmfunc:
mov pc, lr

(3)列表控制语句:
.title:用来指定汇编列表的标题,例如:
.title “my program”
.list:用来输出列表文件。

ARM 特有的伪操作

(1) .reg: 用来给寄存器赋予别名,格式如下:

别名 .req 寄存器名

(2) .unreq: 用来取消一个寄存器的别名,格式如下:

.unreq 寄存器别名

 注意被取消的别名必须事先定义过,否则编译器就会报错,这个伪操作也可以用来取消系统预制的别名,例如r0,但如果没有必要的话不推荐那样做。
(3) .code伪操作用来选择ARM或者Thumb指令集,格式如下:

.code 表达式

  如果表达式的值为16则表明下面的指令为Thumb指令,如果表达式的值为32则表明下面的指令为ARM指令。
(4) .thumb 伪操作等同于.code 16,表明使用Thumb指令,类似的.arm 等同于.code 32
(5) .force_thumb 伪操作用来强制目标处理器选择thumb的指令集而不管处理器是否支持
(6) .thumb_func 伪操作用来指明一个函数是thumb指令集的函数
(7) .thumb_set 伪操作的作用类似于.set,可以用来给一个标志起一个别名, 比.set 功能增加的一点是可以把一个标志标记为thumb 函数的入口, 这点功能等同于 .thumb_func
(8) .ltorg 用于声明一个数据缓冲池(literal pool)的开始,它可以分配很大的空间。
(9) .pool 的作用等同 .ltorg
(9).space {,}
分配number_of_bytes字节的数据空间,并填充其值为fill_byte,若未指定该值,缺省填充0。(与armasm中的SPACE功能相同)
(10).word {,} …
插入一个32-bit的数据队列。(与armasm中的DCD功能相同)
可以使用.word把标识符作为常量使用
例如:

  Start:
  valueOfStart:
  .word Start

这样程序的开头Start便被存入了内存变量valueOfStart中。
(11).hword {,} …
插入一个16-bit的数据队列。(与armasm中的DCW相同)