[PATCH] D159203: [InstCombine] Fold (A/-B)==(A/B) to (A/B)==0

Noah Goldstein via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Aug 30 12:59:56 PDT 2023


goldstein.w.n added inline comments.


================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:3153
+}
+
 /// Return true if it is known that V1 != V2.
----------------
marcauberer wrote:
> goldstein.w.n wrote:
> > This at the very least should be a seperate patch and should probably fit into:
> > `IsCondKnownTrue` not be its own API.
> I cannot find `IsCondKnownTrue`. Where can I find it?
Crap I pasted the wrong thing. Mean: `simplifyICmpInst`


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D159203



More information about the llvm-commits mailing list