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

Mon Jan 2 11:30:08 PST 2023

goldstein.w.n added a comment.

Note:

I have run alive2 to verify all the transformations from this patch in relation to D140849 <https://reviews.llvm.org/D140849> although I have not verified the changes from D140850 <https://reviews.llvm.org/D140850> and D140851 <https://reviews.llvm.org/D140851> individually.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D140852