https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94873
--- Comment #10 from Segher Boessenkool <segher at gcc dot gnu.org> --- Oh, and ideally, we would replace the whole REG_EQ* stuff with a more powerful interface that is to-the-side, not embedded in the instruction stream. For known exact values, nonzero_bits, known ranges, the works.