https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104829
--- Comment #10 from Segher Boessenkool <segher at gcc dot gnu.org> --- (In reply to jos...@codesourcery.com from comment #6) > The generated .s file has ".machine ppc". Maybe there is some > inconsistency arising from the use of -mvsx -mfloat128 for this 32-bit > configuration with no --with option to change the default CPU? Should > these KFmode functions really be being built for 32-bit libgcc at all? Using -mvsx with a CPU that does not support VSX insns is problematic. All this code should use -mcpu=power7. But, I'll make a patch for rs6000_machine_from_flags to make this work the way it did before, I now know what the problem is. Thanks!