AT&T x86 asm语法

下面让我们来看看输入字段。 附加描述符可以修正指令来让你给定的编译器来正确处理这些变量。他们一般被附上双引号。 那么这个"g"是用来做什么的呢？ 只要是合法的汇编指令，"g"就让编译器决定该在哪里加载i的值。一般来说,你的大部分输入变量都可以被赋予"g", 让编译器决定如何去加载它们 (gcc甚至可以优化它们!)。 其他描述符使用"r" (加载到任何可用的寄存器去), "a" (ax/eax), "b" (bx/ebx), "c" (cx/ecx), "d" (dx/edx), "D" (di/edi), "S" (si/esi), 等等。

我们将要提到一个在asm代码里面的如%0的输入变量。如果我们有两个输入, 他们会一个是%0一个是%1, 在输入段里按顺序排列 (如下一个例子)。假如N个输入变量且没有输出变量, 从%0 到%N-1将和输入字段里的变量相对应, 按顺序排列。

如果任何的输入, 输出, 寄存器修改字段被使用, 汇编代码里的寄存器名必须用两个%来代替一个%。对应于第一个没有使用最后三个字段的例子。

让我们看看两个输入变量且引入了"volatile"的例子:

int i=0, j=1;
__asm__ __volatile__("
pushl %%eax＼n
movl %0, %%eax＼n
addl %1, %%eax＼n
movl %%eax, %0＼n
popl %%eax"
:
: "g" (i), "g" (j)
); // increment i by j

Okay, 现在我们已经有了两个输入变量了。没问题了, 我们只需要记住%0对应第一个输入变量(在这个例子中是i), %1对应在i后面的列出的j。

Oh yeah, 这个volatile到底是什么意思呢? 它防止你的编译器修改你的汇编代码，就是不进行优化(纪录, 删除, 结合,等等优化手段。), 不改变代码原样来汇编它们。建议一般情况下使用volatile选项。

让我们来看看输出字段：

int i=0;
__asm__ __volatile__("
pushl %%eax＼n
movl $1, %%eax＼n
movl %%eax, %0＼n
popl %%eax"
: "=g" (i)
); // assign 1 to i

这看起来非常象我们前面提到的输入字段的例子; 确实也没有很大的不同。所有的输出修饰符前面都应该加上=字符，他们同样在汇编代码里面用%0到%N-1来表示, 在输出字段按顺序排列。你一定会问如果同时有输入和输出字段会怎么排序的呢？ 好，下面一个例子就是让大家知道如何同时处理输入输出字段的。

int i=0, j=1, k=0;
__asm__ __volatile__("
pushl %%eax＼n
movl %1, %%eax＼n
addl %2, %%eax＼n
movl %%eax, %0＼n
popl %%eax"
: "=g" (k)
: "g" (i), "g" (j)
); // k = i + j

Okay, 唯一个不清楚的地方就是汇编代码中的变量的个数。我马上来解释一下。

当同时使用输入字段和输出字段的时候:

%0 ... %K 是输出变量

%K+1 ... %N 是输入变量

在我们的例子中, %0 对应k, %1 对应i, %2对应j。很简单，是吧？

到现在为止我们都没有使用最后一个字段（registers-modified）。如果我们要在我们的汇编代码里使用任何寄存器, 我们要明确的用push和pop指令来保存它们, 或者列到最后一个字段里面让gcc来处理它们。

这是前面的一个例子, 没有明确的保留和存贮eax。

int i=0, j=1, k=0; __asm__ __volatile__("
pushl %%eax＼n /*译者注：好像原文说的有点问题，明明是保存了eax的值，:(*/
movl %1, %%eax＼n
addl %2, %%eax＼n
movl %%eax, %0＼n
popl %%eax"
: "=g" (k)
: "g" (i), "g" (j)
: "ax", "memory"
); // k = i + j