https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54412
--- Comment #13 from Roland Schulz <roland at rschulz dot eu> --- But this problem is limited to GCC. ICC, Clang and MSVC don't have the problem with compiling 64bit AVX code. Thus they must have some kind of work-around for ABI and GCC should be able to use a work-around too (at least in theory).