————————————————————————————————————————————————————————————
ARM编译程序参考
介绍ARM编译程序的ARM特有方面，包括：
Pragmas 编译指示
Function keywords 函数关键字
Variable declaration keywords 变量声明关键字
Pragmas
ARM编译程序可识别一下格式的编译指示：
#pragma [no_] feature-name
编译指示优于相关的命令行选项。
能识别的编译选项如下：
Pragma name
Default
Reference
arm section
Off
Pragmas controlling code generation
check_printf_formats
Off
Pragmas controlling printf and scanf argument checking
check_scanf_formats
Off
Pragmas controlling printf and scanf argument checking
check_stack
On
Pragmas controlling code generation
debug
On
Pragmas controlling debugging
import
code generation
Ospace
optimization
Otime
optimization
Onum
optimization
softfp_linkage
Off
code generation
* check_printf_formats
该编译指示标记类似于printf的函数，如果存在文字格式串，则对照进行类型检查。
#pragma check_printf_formats
extern void myprintf(const char *format, …);
#pragma no_check_printf_formats
* check_scanf_formats
该编译指示对声明为类似于scanf的函数做标记，以便对照文字格式串检查自变量的格式。
#pragma check_scanf_formats
extern void myformat(const char *format, …);
#pragma no_check_scanf_formats
* debug 该编译指示可打开或关闭调试表生成, 如果指定#pragma no_debug，则不会为随后的声明和函数生成调试信息表条目，直到下一个#pragma debug出现。
* Pragmas controlling optimization
Ospace
Otime
Onum
* Pragmas controlling code generation
o check_stack 如果已经使用了#pragma no_check_stack和-apcs/swst命令行选项禁止栈检查，则该编译指示可使的检查是否违反了栈限制的函数入口代码的重新生成。
o once 同#ifndef …#endif效果相类似，用于头文件。但一般推荐使用#ifndef…#define。
o softfp_linkage 该编译指示指定了至下一个#pragma no_softfp_linkage之间的所有函数声明描述了使用软件浮点链接的函数。__softfp关键字与该编译指示的效果相同
o import(symbol_name) 该编译指示生成对symbol_name的导入引用。同如下汇编语言相同：IMPORT symbol_name。符号名作为外部符号放在映像的符号表中。
o arm section section_sort_list This pragma specifies the code or data section name that used for subsequent function or objects.This include definitions of anonymous objects the compiler creates for initializations.该编译指示可指定代码或数据段的名称用于随后的函数或对象。包括编译程序为初始化而创建的匿名对象的定义。该选项对一下情况没有影响：
内联函数（及其局部静态变量）
模板实例（及其局部静态变量）
消除未使用的变量和函数
将定义写入目标文件中的顺序
该编译指示完整语法为：
#pragma arm section [sort_type[[=]“name”]][,sort_type=
“name”]
此处name用于段名称，sort_type可为如下之一code, rwdata, rodata
和zidata。若指定sort_type，没有指定name，则sort_type的段名被
重新设置为默认值。单独输入#pragma arm section，则所以对象段的
恢复为其默认值
int x1 = 5; // in .data (default)
int y1[100]; // in .bss (default)
int const z1[3] = {1,2,3}; // in .constdata (default)
#pragma arm section rwdata = "foo", rodata = "bar"
int x2 = 5; // in foo (data part of region)
int y2[100]; // in .bss
int const z2[3] ={1,2,3}; // in bar
char *s2 = "abc"; // s2 in foo, "abc" in bar
#pragma arm section rodata
int x3 = 5; // in foo
int y3[100]; // in .bss
int const z3[3] ={1,2,3}; // in .constdata
char *s3 = "abc"; // s3 in foo, "abc" in .constdata
#pragma arm section code = "foo"
int add1(int x) // in foo (code part of region)
{
return x 1;
}
#pragma arm section code
使用分散加载描述文件和链接程序，以控制将命名段放置在存储器中
的特定地址。
· Function keywords
一些关键字指示编译程序对其某个函数进行特殊处理。包括函数内的声明，函数限定符及函数存储类限定符。即Declarations inside function, Function qualifiers and Function storage.
__asm{assembler-code} 指示编译程序该语句是用汇编语言编写的。
__irq This enables a C or C function to be used as an interrupt routine called by the IRQ, or FIQ vectors. All corrupted registers except floating-point registers are preserved, not only those that are normally preserved under the ATPCS. The default ATPCS mode must be used. The function exits by setting the pc to lr-4 and the CPSR to the value in SPSR. It is not available in tcc or tcpp. No arguments or return values can be used with __irq functions.
__pure 指明函数声明为纯的。纯函数没有了公共子表达式。默认情况下，函数假定是不纯的（产生副作用）。纯函数需要满足：其结果仅取决于其自变量的值；没有副作用，其不能调用非纯函数。不能使用全局变量或废弃指针，同一参数两次调用纯函数，返回应该相同。 
