[PATCH] D83643: [SCCP] Propagate inequalities

[Eli Friedman via Phabricator via llvm-commits]

efriedma added inline comments.


================
Comment at: llvm/lib/Transforms/Scalar/SCCP.cpp:1327
+        mergeInValue(IV, &CB,
+                     ValueLatticeElement::getNot(CondVal.getConstant()));
+        return;
----------------
This is assuming branch on undef is UB, which other parts of LLVM still have issues with; see https://bugs.llvm.org/show_bug.cgi?id=46144 .


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D83643