将 GCC/ATT 风格的汇编器转换为 Visual Studio 汇编器？

Question

我正在尝试重写这个sn-p以在visual studio中工作，但我显然不明白如何使用冒号的目的和__volatile__的含义，

你能提供一些帮助吗:)？

__asm__ __volatile__ (
    "mov %0, %%edi\n"
    "xor %%eax, %%eax\n"
    "xor %%ecx, %%ecx\n"
    "dec %%ecx\n"
    "repne scasb\n"
    "sub %%ecx, %%eax\n"
    "dec %%eax\n"
:
: "m" (src)
: "memory", "%ecx", "%edi", "%eax");

谢谢！

Answer 1

这两个内联汇编器是完全不同的。 Visual Studio 内联汇编器更原始但更易于使用。在 VS 中：

• 内联汇编语言不需要包含在字符串中；
• 指令操作数的顺序是dest,src；
• C/C++ 变量按原样访问；
• 等

您的代码没有任何输出运算符（在第一个冒号之后），所以我看不出它有什么影响。但是假设eax 寄存器要保存在最后的src 变量中。然后你想要这样的东西：

char* src;
...
__asm {
    mov   edi,src
    xor   eax,eax
    xor   ecx,ecx
    dec   ecx
    repne scasb
    sub   eax,ecx
    dec   eax

    mov   src,eax    // save result
}

顺便说一句，它对我来说似乎不是最佳选择。如果我正确理解代码，not ecx 可以完成与eax 的所有业务：

__asm {
    mov   edi,src
    xor   al,al
    xor   ecx,ecx
    dec   ecx
    repne scasb
    not   ecx

    mov   src,ecx    // save result
}

Answer 2

...我不明白...冒号的用途...

正如 Columbo 在他的评论中指出的，这里是相关的手册页：6.43.2 Extended Asm - Assembler Instructions with C Expression Operands。冒号只是分隔 ASM 块中的标记。它们类似于终止 C 语句的分号（或者更准确地说，可能是逗号运算符，因为它们是相关的）。

重申一下页面在说什么，一般格式是：

asm (
        Instructions (Assembler Code)
        : Outputs (C variables modified by the instructions)
        : Inputs (C expressions read by the instructions)
        : Clobbers (Registers or other values changed by the instructions)
    )

有时分号之间不会有任何标记。例如，下面是内存屏障的样子：

__asm__ __volatile__ ("" ::: "memory")

没有汇编代码，没有用作输出的 C 变量，也没有用作输入的 C 表达式。但是内存被列为 clobbered，因此编译器知道在执行下一条指令之前确保挂起的读取和写入已经完成。

---

...我不明白...__volatile__的意思

好吧，这就是一堆蠕虫，因为 GCC 和 Visual Studio 对 volatile 的含义的解释不同（即使它们使用相同的 C 语言规范）。

在 GCC 中，使用volatile 的唯一原因是硬件可以更改内存。所以我认为在上面的示例中使用限定符volatile 是一种滥用（因为看起来该函数正在扫描NULL 字节，而不是执行内存映射I/O）。

您可以在volatile shared memory 的 GCC 邮件列表中找到相关讨论。提供以下回复的 Ian Lance Taylor 是 GCC 开发人员之一：

不，volatile 无法解决这个问题。这不是什么易变的 限定符是为。 volatile 限定符是为使用而设计的 内存映射硬件。它不是为多处理器共享而设计的 记忆。如果程序不是多处理器安全的，则添加 volatile 永远不会使其多处理器安全。

---

编辑：正如 Tony 在下面指出的那样，volatile is used to tame the optimizer 以便在编译期间不会删除 ASM 块。

---

另请注意，您可以将代码转换为 x86 的内联汇编程序，但不能为 x64 执行此操作。 Microsoft 不支持 x64 的内联汇编。请参阅 MSDN 上的 Intrinsics and Inline Assembly。