[PATCH] D44001: [SCEV] Prove implications for SCEVUnknown Phis

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev updated this revision to Diff 140391.
mkazantsev added a comment.

1. Removed separate logic for unreachable blocks. They will now be handled as usual blocks because identifying them is more expensive in terms of compile time than the profit we expect from it.
2. Removed redundant dominance check, limiting them to one essential check.


https://reviews.llvm.org/D44001

Files:
  include/llvm/Analysis/ScalarEvolution.h
  lib/Analysis/ScalarEvolution.cpp
  test/Transforms/IRCE/decrementing-loop.ll
  test/Transforms/IndVarSimplify/promote-iv-to-eliminate-casts.ll
  test/Transforms/LoopPredication/prove-via-merge.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D44001.140391.patch
Type: text/x-patch
Size: 10343 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180330/824ddfc4/attachment.bin>