https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93369

--- Comment #14 from Segher Boessenkool <segher at gcc dot gnu.org> ---
We can use the r10-1234 names in exactly the places we use r123456 before.

Reply via email to