rzutowanie uint32_t na uint64_t daje inną wartość?

Question

Korzystanie z Visual Studio 2015 C++, 14.0.25431.01 Aktualizacja 3. Mam nieoczekiwane zachowanie w moim kodzie. Skompilować i uruchomić z 64bit, zwolnij:

#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; 
    } 
} 

Spodziewam się, że a i b mają taką samą wartość, ale gdy uruchomię to uzyskać ten wynik:

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

wygląda na to, że kompilator zastępuje Mnożenie 32-bitowe z mnożeniem 64-bitowym. Czy wolno to zrobić, czy jest to błąd kompilatora? Zarówno g ++, jak i clang dają mi liczby, których bym się spodziewał.

EDIT: mam zaktualizować kod z prostszej wersji, która ma ten sam problem. Ponadto, I've just submitted a bug report.

Answer 1

Wydaje się, że ta poprawka rozwiązuje problem, przynajmniej dla VS 2015:

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

Ale wydaje się, że VS 2008, 2010, 2013 są nadal narażony na ten błąd.

Źródła:

• 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

mogę odtworzyć to na VS2010, a bezpośrednią przyczyną jest to:

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

Ponieważ jest to dodatek 64bit, to będzie po prostu nosić do wysokich 32 bitów. To przynajmniej ma więcej sensu niż wywoływanie mnożenia 64-bitowego, może to być przypadek rogu w eliminacji zmiennej indukcyjnej, ale to tylko spekulacja.

także zabawy jest to, że nawet nie zapisać oddanych przez miscompiling go. Prawidłowa wartość znajduje się właśnie tutaj: rbx.