flags/eflags是clobber列表的“CC”（条件控制）的一部分吗？

Question

使用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”的使用是虚假的？

如果它是假的，它适用于什么架构？（我推测ARM和cpsr寄存器，但我可能弄错了）。

Answer 1

根据手册，是-cc被重击。rdrand也是SF、ZF、AF、PF<-0的集合。

在实践中，gcc假设__asm__块总是会破坏x86的[ER]flags条件代码寄存器。我没有引用，但您可以在各种GNU包中使用的longlong.h头等地方看到这个假设。

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