https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96272
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Well, it needs the addition too, so I think this can't be done in match.pd, but would need to be done in some other pass (not sure which, perhaps phiopt?).
