> 2012-04-20 Andreas Krebbel
>
> * recog.c (insn_invalid_p): Add IN_GROUP parameter and use
> validate_change to add clobbers if IN_GROUP is nonzero.
> (verify_changes): Set IN_GROUP parameter to true.
> * recog.h (insn_invalid_p): Add IN_GROUP parameter to function
>
Hi,
insn_invalid_p might add clobbers in order to match an instruction.
Unfortunately that change is not recorded in the 'changes' array. So
if it is decided to rollback the changes the added clobbers will stay.
This is a problem if the back-end provides two (mostly) identical insn
patterns, one o