https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88714
--- Comment #33 from Jakub Jelinek <jakub at gcc dot gnu.org> --- How could you avoid the arm.c changes from my patch if you are using rtx_equal on the MEM's addr and first operand of PLUS? I believe either that arm.c change is needed, or the predicate used on the new define_insns needs to repeat the analysis done in gen_operands_ldrd_strd - verify that the two MEMs are 4 bytes appart (just, unlike gen_operands_ldrd_strd, require that the first one is before second one).