c++ - llvm IRBuilder<>::CreateUDiv/CreateSDiv/CreateExactUDiv

Question

我已经看到创建除法运算有多种可能性，UDiv/SDiv 和 ExactUDiv，

我推断U和S代表Unsigned和Signed的区别，但那意味着Unsigned忽略了符号？

另外，Exact 是什么意思？结果是 float ？

另外，NSWAdd 和 NUWAdd 是什么意思？我找不到任何 documentation

Answer 1

我假设 LLVM 使用 two's complement存储整数，在这种情况下，(有符号的)负数对于 UDiv 来说看起来像是一个大的无符号数，(例如，32 位 -1 的二进制补码表示为 0xFFFFFFFF).因此 SDiv(-16, 2) == -8 而 UDiv(-16, 2) == 2147483640。

所以简而言之:不，符号不只是被无符号忽略。如果你想要，你需要通过取符号值的绝对值来解决它。

我可以从 here 中推断出什么似乎确切的 div 指令是在已知除法没有余数的情况下。这使得优化更容易。

进一步说明here ; NSW 和 NUW 的意思是“No Signed Wrap”和“No Unsigned Wrap”，这意味着如果发生换行就会生成陷阱值(考虑 UAdd(-1, -1) 从上面获得的知识) .