[PATCH] D149417: [ValueTracking] Add logic for `isKnownNonZero(smin/smax X, Y)`

[Nikita Popov via Phabricator via llvm-commits]

nikic accepted this revision.
nikic added a comment.
This revision is now accepted and ready to land.

LGTM



================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:2948
+      }
+        [[fallthrough]];
       case Intrinsic::umin:
----------------
The formatting here is ugly enough that I'd just repeat the two lines from umin :)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D149417