[PATCH] D77808: [SCCP] Use conditional info with AND/OR branch conditions.

[Eli Friedman via Phabricator via llvm-commits]

efriedma added inline comments.


================
Comment at: llvm/lib/Transforms/Scalar/SCCP.cpp:1249
+      // out on some cases we could optimize.
+      if (CmpOp0 != OriginalVal && CmpOp0 != CopyOf && CmpOp1 != OriginalVal &&
+          CmpOp1 != CopyOf) {
----------------
I don't understand what OriginalVal is when it isn't equal to CopyOf.  The example in the commit message isn't helpful here; it looks like the predicate info refers to the same value as the ssa copy.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D77808