http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54419
--- Comment #37 from Ulrich Drepper <drepper.fsp at gmail dot com> 2012-09-05 13:57:27 UTC --- (In reply to comment #23) > (though, > apparently insufficient for i?86 - it should use either __get_cpuid, or > __get_cpuid_max before __cpuid). I fixed that. The code now should work in theory also on those systems. Although the sheer size of all the code together will prevent these systems from being used...