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.
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.