[ValueTracking] match negative-stepping non-zero recurrence

This is pulled out of D100408.

This avoids a regression that would be exposed by making the
calling code from InstSimplify more efficient.

GitOrigin-RevId: 5ae5d25e38efad1d59ed97d969a5e930b58a5e16
2 files changed