将uint32_t转换为uint64_t导致不同的值？

Question

使用Visual Studio 2015 C ++，14.0.25431.01更新3.我的代码中有意外行为。 使用64位编译并运行，发布：

#include <iostream>
#include <stdint.h>

int main(int, char**) {
    for (uint32_t i = 1; i < 3; ++i) {
        uint32_t a = i * 0xfbd1e995;
        uint64_t b = a;

        std::cout << a << " 32bit" << std::endl;
        std::cout << b << " 64bit" << std::endl;
    }
}

我希望a和b具有相同的值，但是当我运行它时，我得到这个输出：

4224838037 32bit
4224838037 64bit
4154708778 32bit
8449676074 64bit

看起来编译器用64位乘法取代了32位乘法。 允许这样做，还是编译器错误？ g ++和clang都给了我期望的数字。

编辑：我用更简单的版本更新我的代码有相同的问题。 另外， 我刚刚提交了一份错误报告 。

Answer 1

我可以在VS2010上重现这一点，其直接原因是：

add ebx, 5BD1E995h  ; this is x
add rdi, 5BD1E995h  ; this is a 64bit version of x

由于它是一个64位的加法，它只会进入高32位。 至少比召唤64位乘法更有意义，它可能是诱导变量消除的一个极端情况，但这只是推测。

同样有趣的是，它甚至不会通过错误编译来保存演员表。 正确的值就在rbx 。

Answer 2

看来这个修复程序修复了这个问题，至少在VS 2015中是这样：

https://support.microsoft.com/en-us/help/3207317/visual-c-optimizer-fixes-for-visual-studio-2015-update-3

但似乎VS 2008,2010,2013仍然受到这个bug的影响。

资料来源：

• https://www.reddit.com/r/cpp/comments/5wwmi2/visual_studio_2015_compiler_bug_64bit_instead_of/dedfw27/
• https://www.reddit.com/r/cpp/comments/5wwmi2/visual_studio_2015_compiler_bug_64bit_instead_of/dedzh5g/