https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95121
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Joseph C. Sible from comment #3) > Also, is that documented to work that way anywhere? I didn't notice anything > in the manual to that effect. Register names seems not to be documented, correct.