https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88714
--- Comment #32 from Matthew Malcomson <matmal01 at gcc dot gnu.org> --- Created attachment 45584 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=45584&action=edit Single define_insn version of above patch FWIW I've attached the patch I'd made. The only interesting differences are that I'd added only one define_insn as I don't believe the existing patterns' difference in constraints is needed and I made some RTL testcases. (I've just now added the testcase you found).
