https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63235 --- Comment #10 from Andi Kleen <andi-gcc at firstfloor dot org> --- Ok fair enough. Can do the runtime check in the else of the ifdef then. Then at least x86_64 or 32bit with SSE would work.