Question

示例：

int main(void)
{
    int x = 10, y;

    asm ("movl %1, %%eax;"
        "movl %%eax, %0;"
        :"=r"(y)    /* y is output operand */
        :"r"(x)     /* x is input operand */
        :"%eax");   /* %eax is clobbered register */
}

什么是r(y)？
为什么在%%之前使用eax？通常使用单%对吗？

Answer 1

好的，这是gcc内联汇编程序，它非常强大但很难理解。

首先，％char是一个特殊字符。它允许您定义寄存器和数字占位符（稍后将详细说明）。不幸的是，％也被用作寄存器名称的一部分（例如％EAX），因此在gcc内联汇编程序中，如果要命名寄存器，则必须使用2％的字符。

％0，％1和％2（ect ..）是占位符输入和输出操作数。这些在列表中定义，后跟汇编程序字符串。在您的示例中，％0成为y的占位符，％1成为x的占位符。在执行asm-code之前，编译器将确保变量将在寄存器中用于输入操作数，并确保输出操作数将写入输出操作数列表中指定的变量。

现在你应该知道r（y）是什么：它是一个输入操作数，为变量y保留一个寄存器，并将它分配给占位符％1（因为它是内联汇编程序字符串后面列出的第二个操作数））。还有很多其他占位符类型。 m允许你指定一个内存位置，如果我没有弄错，我可以用于数字常量。你会发现它们都在gcc文档中列出。

然后是clobber列表。这个清单很重要！它列出了在汇编代码中修改的所有寄存器，标志，内存位置等（例如示例中的EAX）。如果你弄错了，优化器将不知道修改了什么，很可能你最终得到的代码不起作用。

你的榜样几乎毫无意义。它只是将值X加载到寄存器中并将该寄存器分配给EAX。之后EAX被存储到另一个寄存器中，然后该寄存器将成为您的y变量。所以它只是一个简单的任务：

y = x;

最后一件事：如果您之前使用过Intel风格的汇编程序：您必须向后阅读这些参数。对于所有指令，源操作数是指令本身之后的操作数，目标操作数是逗号右侧的操作数。与英特尔语法相比，这恰恰相反。

Answer 2

带有“r”或“= r”的行是操作数约束。 “=”表示输出操作数。基本上，这个：

:"=r"(y)
:"r"(x)

表示％0（即：第一个操作数）对应y，用于输出，％1（第二个操作数）对应x。

单个％通常用于AT＆amp; T语法汇编，但对于内联汇编，单个％用于操作数引用（例如：％0，％1），而double％用于文字寄存器引用。可以想象，如果你想在输出中使用文字％，就必须使用printf格式的双倍％。

被破坏的寄存器是一个寄存器，其值将由汇编代码修改。从代码中可以看出，eax被写入。你需要告诉gcc这个，以便它知道编译的代码在以后调用这个程序集时不能保留eax以后需要的任何内容。

Answer 3

我无法回答所有这些问题，但是一个被破坏的寄存器会在计算中的某个地方以一种会破坏其当前值的方式使用。因此，如果调用者想要稍后使用当前值，则需要以某种方式保存它。

在这样的asm指令中，当你编写程序集时，你会弄清楚哪些寄存器会被它破坏;然后告诉编译器（如您的示例所示），编译器会根据需要执行必须执行的操作以保留该寄存器的当前值。编译器非常了解寄存器和其他地方的值将如何用于以后的计算，但它通常无法分析嵌入式汇编。因此，您自己进行分析，编译器使用clobbering信息将程序集安全地合并到其优化选择中。

Answer 4

试试this tutorial。它涵盖了您提出的所有问题：例如，尝试section 6 - 它很好地解释了约束，以及“=”符号的含义。甚至涵盖了破坏寄存器的概念（第5.3节）。

什么是GCC内联汇编语言中的r（）和double %%%？

4 个答案: