https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118956
--- Comment #1 from Richard Sandiford <rsandifo at gcc dot gnu.org> --- Created attachment 60541 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=60541&action=edit candidate patch This patch changes the patterns so that they don't require a scratch register post-reload. It also includes a strawman extra CSE pass, although I'm not proposing that part in its current form.