[PATCH] D38494: [ScalarEvolution] Handling for ICmp occuring in the evolution chain.

[Jatin Bhateja via Phabricator via llvm-commits]

jbhateja updated this revision to Diff 119418.
jbhateja added a comment.

If a compare instruction is same or inverse of the compare in the
 branch of the loop latch, then return a constant evolution node.
 Currently scope of evaluation is limited to SCEV computation for
 PHI nodes.

This shall facilitate computations of loop exit counts in cases
 where compare appears in the evolution chain of induction variables.

Will fix PR 34538


https://reviews.llvm.org/D38494

Files:
  include/llvm/Analysis/ScalarEvolution.h
  lib/Analysis/ScalarEvolution.cpp
  lib/Transforms/Scalar/LoopStrengthReduce.cpp
  test/Analysis/ScalarEvolution/pr34538.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D38494.119418.patch
Type: text/x-patch
Size: 5050 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20171018/fb2e5f56/attachment.bin>