If branch conditions' one successor is dominating another non-latch successor then...
authorDevang Patel <dpatel@apple.com>
Mon, 2 Mar 2009 23:39:14 +0000 (23:39 +0000)
committerDevang Patel <dpatel@apple.com>
Mon, 2 Mar 2009 23:39:14 +0000 (23:39 +0000)
commitcf42ee42b1a5444cd073703ff284ae0a41608227
treed49432eee2780323489aae7031e348f4c0535ccb
parent24e338e8a3dab2923db30fe63d77a5ac95456ff9
If branch conditions' one successor is dominating another non-latch successor then this loop's iteration space can not be restricted. In this example block bb5 is always executed.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@65902 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Scalar/LoopIndexSplit.cpp
test/Transforms/LoopIndexSplit/2009-03-02-UpdateIterationSpace-crash.ll [new file with mode: 0644]