[PATCH] D140852: [Patch 4/4]: Use cannoical patterns `(A > C1 && A < C2)` and `(A & B != C)` in `isKnownNonZero`

[Noah Goldstein via Phabricator via llvm-commits]

goldstein.w.n abandoned this revision.
goldstein.w.n added a comment.
Herald added a subscriber: StephenFan.

Closing in favor the series starting at: D142827 <https://reviews.llvm.org/D142827>


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D140852