[PATCH] D149412: [ValueTracking] Add logic for `isKnownNonZero(ssub.sat X, Y)`

[Noah Goldstein via Phabricator via llvm-commits]

goldstein.w.n added a comment.

In D149412#4305078 <https://reviews.llvm.org/D149412#4305078>, @nikic wrote:

> LGTM. It looks like we're missing the corresponding InstCombine for this: https://alive2.llvm.org/ce/z/hLC6aQ

Will post patch for that tomorrow.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D149412/new/

https://reviews.llvm.org/D149412