https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97506
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Yeah. On the other side, they don't need to try hard to optimize it because normally it should be simplified already. So, e.g. the above patch is fine if it works, but it would be also fine to force_reg one of the operands into register, etc.