https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78254
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- The question is whether this is invalid RTL, in which case we should guard against this in the RTL verifier (if we had one). Maybe the pattern should constrain the operand properly?
