https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117265
--- Comment #15 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Maybe what you want is really a builtin does the load/store and the ability to output the register # that the address is formed into instead of this inline-asm. This might be better than what you are asking for. This could be added for more than just x86_64 too. And as long as the register # to register mapping keeps constant for x86, it should just work. E.g we could use the dwarf register # here. This seems better than the hack you are trying to add for inline-asm.