https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65341
--- Comment #9 from David Edelsohn <dje at gcc dot gnu.org> --- GCC is working correctly. The file prologue generated by GCC for a C file now includes .machine power8 The example is a pre-processed assembly file. Note the file actively pushes and pops the machine type. The assembly file incorrectly assumes that GCC will invoke the assembler with a command-line option enabling a default ISA level sufficient for the instructions in the file. This is a bad assumption. Even if we create a kludge in GCC to invoke the assembler an arbitrary ISA level, this is bad assumption. The GLIBC file is buggy.