-
使用名称替换和数字替换效果一样,见 asm-1 和 asm-2约束的用法,这里使用比较简单通用的的两种情况,
r 为通过寄存器寻址操作,m 通过内存寻址操作,所以看到当
约束了 r 就对应寄存器的操作。
结果保存在 res 也就是 cvariablename 中
InputOperands
输入操作数使C变量和表达式中的值可用于汇编代码。
[ [asmSymbolicName] ] constraint (cexpression)
asmSymbolicName 和输出列表的用法完全一致
constraint 约束不能使用 = 和 +. 可以使用 "0", 这表明在输出约束列表中(从零开始)的条目,指定的输入必须与输出约束位于同一位置。
int64_t res = 3;
int64_t num = 1;
asm("addq %1, %0" : "=g"(res) : "0"(num));
// 输入输出位置相同
movq $3, -8(%rbp)
movq $1, -16(%rbp)
movq -16(%rbp), %rax
/APP
# 32 "asm.c" 1
addq %rax, %rax
# 0 "" 2
/NO_APP
cexpression 可以不为左值,作为汇编表达式的输入值即可
Clobbers
破坏列表,主要用于指示编译器生成的汇编指令。
从asm表达式中看到输出操作数中列出条目的更改编译器是可以确定的,但内联汇编代码可能不仅对输出进行了修改。 例如,计算可能需要其他寄存器,或者处理器可能会由于特定汇编程序指令而破坏寄存器的值。 为了将这些更改通知编译器,在Clobber列表中列出这些会产生副作用的条目。 破坏列表条目可以是寄存器名称,也可以是特殊的破坏列表项(在下面列出)。 每个内容列表条目都是一个字符串常量,用双引号引起来并用逗号分隔。
寄存器
```c
asm volatile("movc3 %0, %1, %2"
: /* No outputs. */
: "r"(from), "r"(to), "g"(count)
: "%rbx", "%rcx", "%rdx", "memory");
/APP
# 25 "asm.c" 1
movc3 %rax, %r8, -72(%rbp)
# 0 "" 2
/NO_APP
```
可以看到使用到了 rax 寄存器,然后修改程序在 Clobbers 增加 %rax, 结果如下
```c
asm volatile("movc3 %0, %1, %2"
: /* No outputs. */
: "r"(from), "r"(to), "g"(count)
: "%rax", "%rbx", "%rcx", "%rdx", "memory");
/APP
# 25 "asm.c" 1
movc3 %r8, %r9, -72(%rbp)
# 0 "" 2
/NO_APP
```
特殊破坏列表项
- "cc", 表示汇编代码修改了标志寄存器
- "memory", 为了确保内存中包含正确的值,编译器可能需要在执行asm之前将特定的寄存器值刷新到内存中
编译器为了破坏列表项的值受到破坏,当这些条目是寄存器时,不对其进行使用;为特殊参数时,重新刷新得到最新的值。
约束
一些基础的约束










