分类：
2007-07-22 22:10:14
一、基本语法
1. 预处理
As的内部预处理包括：
(1)移出多余的间隔符。
(2)移出所有注释。
(3)将字符常量转换为数字值。
它不作宏处理和文件包含处理，但这些事情可以交由C编译器去做：文件包含可以用.include伪指令来实现，还可以通过对源文件使用'.S'后缀来进行”CPP”类型的预处理(例如使用#include，#define，#ifdef等操作，可参考Using GNU CC 3.2节 Options Controlling the Kind of Output)。
2. 间隔符
space或tab。
3. 注释
GNU ARM Assembly可识别的注释方式有：
C风格注释/* ... */，';'或'@'(单行注释)。
4. 符号
与c语言基本一致，符号名由字母、数字以及'_'、和'.'组成，大小写敏感。
5. 常量
详细说明可参考Using as。
二、段与重定位
1. 概述
段是具有相同属性的一段内容。
链接器ld用于把多个object file(partial program)合并为一个可执行文件。as生成的目标文件(partial program)都假定从地址0开始，ld为其指定最终的地址。
链接器ld把object file中的每个section都作为一个整体，为其分配运行的地址(memory layout)，这个过程就是重定位(relocation)。
as所产生的一个目标文件至少有text、data和bss这3个段，每个段都可以为空。如果为COFF或ELF格式的目标文件，as还可以根据源文件中使用'.section'伪指令所指定的任意名字的段。源文件中使用'.text'或'.data'所指定的内容会分别分配到text和data段中。源文件中的这些段都属于input section。
在目标文件中，text section从地址0开始，随后是data section，最后是bss section(这与ARM ADS中描述的映像文件的RO、RW和ZI段的排列是一致的)。
2. Linker Sections
ld处理下面4类section：
(1) named sections, text section 和data section
这些段存放着你的程序。程序运行时，text section是unalterable的(RO段)，包含了指令、常量等；data section则是alterable的(RW段)，例如C变量就放在这里。
(2) bss section
该段实际为ZI段，全为0，用于存放未初始化的变量。
(3) absolute section
该段中的地址0总是被“重定位”到运行时的地址0。当需要指定一个地址不希望在ld重定位时被改变时，这很有用。这时我们也说absolute address是unrelocateable的。
(4) undefined section
其他目标文件的地址信息。
3. Sub-section
汇编程序最后变为text和data两个段(当然还有自命名的段)。同一属性和名字的段可以分布在程序中的多个地方，这可以使用数字来对subsection编号来实现(0到8192)。例如，你想把text段中的code放在一起，把常量放在一起，最后再组成text section；这时，你可以把code使用'.text 0'标记，把常量使用'.text 1'标记即可。
三、符号
1. Labels
Lable后面要带冒号‘：’，例如：_start: b reset_handler。
2. 给符号赋值
symbol_name=symbol_value
或者.set symbol_name, symbol_value
或者.equ symbol_name, symbol_value
3. 符号名
可由数字、字母或'. _'组成，不可以数字开头，大小写敏感。
(1)Local Symbol names
编译器和程序员临时使用的符号标签，直接使用‘N:’的形式定义，N代表任意正整数。可使用'Nb'来引用前面最近所定义的label，使用'Nf'来引用后面最近所定义的label(b代表backwards，f代表forwards)。例如：
1: b 2f
2: b 1b
这些符号最后会在汇编时被as转换为别的名字，转换规则见Using as。
(2)Dollar Local Labels
以'N$'的形式定义。Local Symbol label最多在一个文件中有效，Dollar Local Label则可以在某些文件中有效，除非定义了一个同名的全局符号。
4. '.' (Dot Symbol)
'.'为location counter，可在源文件中指示当前地址。该符号可以被引用或赋值。
四、表达式
|
－ |
取相反数，减 |
|
+ |
加法运算 |
|
/ |
除 |
|
＝＝ |
等于 |
|
% |
取余运算 |
|
<> |
不等于 |
|
<, << |
左移 |
|
< |
小于 |
|
>, >> |
右移 |
|
> |
大于 |
|
| |
按位或 |
|
>= |
大于等于 |
|
& |
按位与 |
|
<= |
小于等于 |
|
^ |
按位异或 |
|
&& |
逻辑与 |
|
! |
按位或非 |
|
| | |
逻辑或 |
|
~ |
按位取反 |
|
|
|
＊一个重要的全局符号是_start，GNU Linker需要用它来指定程序中的第一条指令，它总是一个.global标记的符号，并且只能出现一次。
更多可参见如下资料：
[1]
[2]
[3]GNU ARM Assembler Quick Reference(英)，(中译版)
[4]
[5]
