將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 

它看起來像編譯器替換32位乘法與64位乘法。它允許這樣做，還是這是一個編譯器錯誤？ g ++和clang都給了我期望的數字。

編輯：我更新了我的代碼與更簡單的版本，具有相同的問題。另外，I've just submitted a bug report。

Answer 1

看來，此修補程序解決了問題，至少在2015年VS：

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/

Answer 2

我能重現此對VS2010，而直接原因是這樣的：

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

因爲它是一個64位此外，它只會延續到高32位。這至少比召喚64位乘法更有意義，它可能是歸納變量消除的一個特例，但這只是猜測。

另外有趣的是，它甚至沒有通過編譯它來保存強制轉換。正確的值在rbx。