[Bug c++/80286] [4.9/5/6/7 regressions] AVX2 _mm_cvtsi128_si32 doesn't return a proper 32bits int

[gregory.hainaut at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80286

--- Comment #1 from gregory hainaut <gregory.hainaut at gmail dot com> ---
Of course, I forgot to say that code was compiled with the following option
g++ -O2 -c -std=c++11 -mavx2