OSDN Git Service

[SCEV/IndVars] Always compute loop exiting values if the backedge count is 0
authorSanjoy Das <sanjoy@playingwithpointers.com>
Tue, 1 Aug 2017 22:37:58 +0000 (22:37 +0000)
committerSanjoy Das <sanjoy@playingwithpointers.com>
Tue, 1 Aug 2017 22:37:58 +0000 (22:37 +0000)
commit2d38e17cd05cc9096d0667201a04032e2191a4f4
treec991622df7381ab9ec088f9e4850c597feb81749
parent68109d5dcfec8d20d5547e056753f3740a4bd0c8
[SCEV/IndVars] Always compute loop exiting values if the backedge count is 0

If SCEV can prove that the backedge taken count for a loop is zero, it does not
need to "understand" a recursive PHI to compute its exiting value.

This should fix PR33885.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@309758 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ScalarEvolution.cpp
test/Transforms/IndVarSimplify/exit_value_test2.ll