标志/EFLAGS是clobber列表的“CC”(条件控制)的一部分吗？

Question

这是扩展汇编程序中What is"=qm"的后续。

当使用RDRAND时，它设置（或取消设置）进位标志（CF

char rc;
unsigned int val;

__asm__ volatile(
    "rdrand %0 ; setc %1"
    : "=r" (val), "=qm" (rc)
);

// 1 = success, 0 = underflow
if(rc) {
    // use val
    ...
}

FLAGS和EFLAGS寄存器是否被视为条件控制的一部分，以便将正确的信息传递给编译器？上面应该写成：

__asm__ volatile(
    "rdrand %0 ; setc %1"
    : "=r" (val), "=qm" (rc)
    :
    : "cc"
);

还是使用“cc”是虚假的？

我知道如果不需要的话使用它是无害的。从扩展ASM：

如果你的汇编指令可以改变条件码寄存器，将“cc”添加到被破坏的寄存器列表中。某些机器上的GCC将条件码表示为特定的硬件寄存器；“cc”用来命名这个寄存器。在其他机器上，条件代码的处理方式不同，指定“cc”没有任何作用。但是不管什么机器都有效。

如果它是虚假的，它适用于哪些架构？（我假设ARM和CPSR注册，但我可能搞错了）。




Answer 1

匿名用户

根据手册，是的- cc被撞毁。< code>RDRAND还包括SF、ZF、AF和PF套件

在实践中，gcc 假设__asm__块总是阻塞 [E|R]标志条件代码寄存器 x86.我没有参考文献，但是你可以在各种GNU软件包中使用的longlong.h头文件这样的地方看到这个假设。

正如你所说，如果不使用，它是无害的。出于这个原因，您还可以包括它，因为它仍然提供语义意图，或者最坏的情况下提供注释。还要考虑到Clang和ICC实现了GCC asm语法，如果他们遵守“cc”clobber，而不是假定它，他们将符合文档，即使这不太可能。