[PATCH] D87344: [IndVars] Remove exiting conditions that are trivially true/false

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev planned changes to this revision.
mkazantsev added a comment.

Internal testing revealed bugs, look weird, investigating.



================
Comment at: llvm/lib/Transforms/Scalar/IndVarSimplify.cpp:2348-2352
+  // Can we prove it to be trivially true?
+  if (SE->isKnownPredicate(Pred, LHSS, RHSS))
+    return true;
+
+  return false;
----------------
lebedev.ri wrote:
> Should this just be `return SE->isKnownPredicate(Pred, LHSS, RHSS);`,
> or are there some other changes planned?
Other changes planned on top, see dependent patch.


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

https://reviews.llvm.org/D87344