语句结构
asm asm-qualifiers ( AssemblerTemplate
: OutputOperands
: InputOperands
: Clobbers
: GotoLabels)
The asm keyword is a GNU extension. 当使用编译选项 -ansi 或 -std 时, 使用 __asm__代替 asm.
Qualifiers
- volatile: 向编译器说明禁止内敛的语句与其他语句 reorder。但不能保证内部 reorder，那是内存屏障的任务
- goto
- inline
Parameters
AssemblerTemplate: 字符串, 汇编代码的模板
OutputOperands: 输出操作数; 指令将会修改的变量集合
InputOperands: 输入操作数; 指令将读取的变量集合
Clobbers: ???TODO
GotoLabels: 仅当 qualifiers 使用goto时, 声明label集合.
The total number of input + output + goto operands is limited to 30.
Param #1: AssemblerTemplate
多条语句可以放在一个asm字符串中, 但是更常见的是每条汇编语句使用一个字符串, 并在结束时使用换行符和制表符(\n, \t)来表示换行.
貌似对于 arm 汇编, 只用
\n也OK?
Param #2: OutputOperands
多个 OutputOperands 之间使用,隔开, 每个 OutputOperands 的格式如下:
[ [asmSymbolicName] ] constraint (cvariablename)
asmSymbolicName: 指定该操作数的名称
constraint: 对该操作数的一些限制
// 描述操作数的权限, 输出操作数的约束必须以此开头
= 忽略现有值
+ 读写, 当原先值有意义时用它
& 禁止编译器将该操作数与不相关的输入操作数分配同一个寄存器
// 描述输出操作数所在位置, 如果你不知道, 可以同时设置, 编译器会帮你决定
r 寄存器
m 内存
// 架构相关的
z AArch64中存在. 表达可以使用零寄存器(XZR or WZR). Useful when combined
with `r` to represent an operand that can be either a general-purpose register
or the zero register.
cvariablename: 输出到的 C 语言变量名
Param #3: Input Operands
输入操作数的格式与输出操作数基本一致:
[ [asmSymbolicName] ] constraint (cexpression)
对于输入操作数, 一般没有别的限制, 仅使用
"r"(val)
Param #4: Clobbers
每个 clobber 都是用双引号括起来, 并用逗号分隔的字符串常量.
常用的 clobber 参数:
“memory”
向编译器说明对于所有内存访问操作，不能使用 asm 之前预加载到寄存器中的值， 而必须在 asm 内部重新加载。保证其内部访问内存值具有可见性和正确性。“cc”
This stands for “condition codes”. Since the add instruction will affect the carry flag amongst other things, we need to tell gcc about it. Otherwise it might want to split a test-and-branch around our code. If it did so, the branch might go the wrong way due to the condition codes being corrupted. Basically, any inline asm that does arithmetic should explicitly clobber the flags like this.
Param #5: GotoLabels
尽量不使用, 可以在ASM的内部直接定义 label
TODO
样例
最简单的模板
int src = 1;
int dst;
asm ("mov %1, %0\n\t"
"add $1, %0"
: "=r" (dst)
: "r" (src));
printf("%d\n", dst);
操作数使用 asmSymbolicName
uint32_t c = 1;
uint32_t d;
uint32_t *e = &c;
asm ("mov %[e], %[d]"
: [d] "=rm" (d)
: [e] "rm" (*e));
内部定义 label
long temp;
long ret;
asm volatile(
"1: \n"
"ldxr %0, [%2]\n"
"sub %0, %0, %3\n"
"stxr %w1, %0, [%2]\n"
"cbnz %w1, 1b\n\t"
: "=&r"(ret), "=&r"(temp)
: "r"(p), "r"(val)
: "memory"
);