[PATCH] D44553: [SCEV] Re-land: Fix isKnownPredicate

[Serguei Katkov via Phabricator via llvm-commits]

skatkov created this revision.
skatkov added reviewers: sanjoy, mkazantsev, reames.

This is re-land of https://reviews.llvm.org/rL327362 with a fix and regression test.

The crash was due to it is possible that for found MDL loop, LHS or RHS may contain
an invariant unknown SCEV which does not dominate the MDL. Please see regression
test for an example.


https://reviews.llvm.org/D44553

Files:
  include/llvm/Analysis/ScalarEvolution.h
  lib/Analysis/ScalarEvolution.cpp
  test/Analysis/ScalarEvolution/inner-loop-by-latch-cond-unknown.ll
  test/Transforms/IndVarSimplify/inner-loop-by-latch-cond.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D44553.138667.patch
Type: text/x-patch
Size: 9216 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180316/ddb71b60/attachment.bin>