[PATCH] D147597: [InstCombine] icmp(X | LHS, RHS) --> icmp(X, 0) iff LHS > RHS s>= 0

[Noah Goldstein via Phabricator via llvm-commits]

goldstein.w.n added inline comments.


================
Comment at: llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp:1961
+      switch (Pred) {
+      // X | RHS s<= C --> X s< C
+      case ICmpInst::ICMP_SLE:
----------------
'// X | RHS s<= C --> X s< C'
->
'// X | RHS s<= C --> X s< 0'


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D147597