__sync_fetch_and_andatomic 在使用 Clang 的单线程程序中给出错误的结果

Question

我遇到 __sync_fetch_and_and 执行不正确的问题。我编写了以下代码来说明它：

bool equal;
int64_t mask = 0x01234567BEEFDEAD;
int64_t orig = 0xDEADBEEF01234567;
int64_t test1, test2;
test1 = test2 = orig;
equal = (test1 == test2);
printf("Before anding\n");
printf("test1:\t0x%016llX\n", test1);
printf("test2:\t0x%016llX\n", test2);
printf("equal:\t%d\n", equal);

// Try anding
test1 &= mask;
__sync_fetch_and_and(&test2, mask);
equal = (test1 == test2);
printf("After anding\n");
printf("test1:\t0x%016llX\n", test1);
printf("test2:\t0x%016llX\n", test2);
printf("equal:\t%d\n", equal);

输出是：

Before anding
test1:  0xDEADBEEF01234567
test2:  0xDEADBEEF01234567
equal:  1
After anding
test1:  0x0021046700234425
test2:  0xDFAFFFEFBFEFDFEF
equal:  0

...这显然是不正确的。我尝试替换 __sync_and_and_fetch 但这并不能解决问题。 Or-ing 与 ``__sync_fetch_and_or` 工作正常。我使用 Xcode 4.2.1 并使用默认编译器 Apple LLVM Compiler 3.0 (Clang) 进行编译。当我切换到使用 GCC 4.2 时，它可以正常工作。

这看起来确实像是一个编译器错误，但我不确定我是否在 Clang 上做错了。 Clang 中是否存在一些我没有考虑到的差异，或者这确实是一个错误？

编辑：我还没有尝试最新版本的 Clang (3.0)，因为我现在一直在使用 Xcode。

Answer 1

是的，这是一个错误；它已在较新版本的 clang 中得到修复。作为解决方法，您可以将“-no-integrated-as”添加到编译器标志中。