https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92140
--- Comment #25 from Jakub Jelinek <jakub at gcc dot gnu.org> --- The define_insn part of define_insn_and_split needs constraints if it is meant to match during or after reload, the patterns are just written with the assumption that they are split before reload. At least that is my understanding of them.