PTX ISA中的错误（传播）？

Question

库达（Cuda）中有错误吗？ 我在GTX580上运行了以下代码，并且r1最后为零。 我希望这是由于进位传播？ 我已经使用Cuda Toolkit 4.2.9和5.5测试了代码，并使用“ nvcc -arch = sm_20 bug.cu -o bug && ./bug”进行编译和运行。

#include <stdio.h>
#include <cuda.h>

__global__ void bug()
{
  unsigned int r1 = 0;
  unsigned int r2 = 0;

  asm( "\n\t"
       "sub.cc.u32 %0, 0, 1;\n\t"
       "addc.cc.u32 %1, 0, 0;\n\t"
     : "=r"(r1), "=r"(r2) );

  printf("r1 >> %04X\n", r1);
  printf("r2 >> %04X\n", r2);

}

int main(void)
{
  float *a_d;
  cudaMalloc((void **) &a_d, 1);

  bug <<< 1,1 >>> ();

  cudaFree(a_d);
}

Output
r1 >> FFFFFFFF
r2 >> 0000

Answer 1

我相信您对PTX ISA文档中引用的CC.CF标志做出了一些假设，这些假设可能无效。

请注意，我从未见过此位的特定状态（例如0或1）的定义。 此外，我在“进/出”和“借入/借出”的定义之间找不到任何映射

换句话说，我认为您假设此标志中的“借用”状态与“进位”状态相同。 换句话说，您假设类似：

CF:  
0    =  (NO CARRY) or (NO BORROW)
1    =  (CARRY) or (BORROW)

但是从未提供过这样的真值表或映射。 此外，手册指出：

条件代码寄存器主要用于直线代码序列，用于计算扩展精度整数加，减和乘。

我不认为您的代码满足此意图，也不认为上述CC.CF真值表假设是有效的。

实际上，我认为正在发生的事情是这样的真值表：

CF:  
0    =  (CARRY) or (NO BORROW)
1    =  (NO CARRY) or (BORROW)

（此处的0和1是任意的；手册中也未定义。）

我尝试过的所有代码示例（大约6种情况，包括您的情况）都符合我上面给出的定义。

话虽如此，我认为依靠这一点是不明智的，因为大多数情况没有记载。 计算机体系结构的安全规则是，未记录的行为将来可能会更改。

Answer 2

我想我已经找到了解释。 在PTX手册中有一条注释说明了sub.cc指令：“行为对于无符号和有符号整数是相同的”。