https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91050
--- Comment #7 from Alan Modra <amodra at gmail dot com> --- Huh, I'd forgotten that gas only reloads the opcode table when the cpu changes. Be aware that .machine isn't a complete solution as it doesn't fix a wrong gas command line for "gcc -c asm.S". You can't insert .machine in that case!
