https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94873
--- Comment #7 from Segher Boessenkool <segher at gcc dot gnu.org> --- REG_EQ* is documented as only being allowed on insns that set only one register. If you want to change that, you'll have to check *all* code that consumes this, see if they rely on that fact or not, and if so, change that.