Skip to content

Commit

Permalink
Put this expensive check below the less expensive ones.
Browse files Browse the repository at this point in the history
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@155166 91177308-0d34-0410-b5e6-96231b3b80d8
  • Loading branch information
isanbard committed Apr 19, 2012
1 parent f2ae346 commit dc21604
Showing 1 changed file with 9 additions and 9 deletions.
18 changes: 9 additions & 9 deletions lib/Transforms/Scalar/LoopUnswitch.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -409,15 +409,6 @@ bool LoopUnswitch::processCurrentLoop() {
if (!currentLoop->isSafeToClone())
return false;

// Loops with invokes, whose unwind edge escapes the loop, cannot be
// unswitched because splitting their edges are non-trivial and don't preserve
// loop simplify information.
for (Loop::block_iterator I = currentLoop->block_begin(),
E = currentLoop->block_end(); I != E; ++I)
if (const InvokeInst *II = dyn_cast<InvokeInst>((*I)->getTerminator()))
if (!currentLoop->contains(II->getUnwindDest()))
return false;

// Without dedicated exits, splitting the exit edge may fail.
if (!currentLoop->hasDedicatedExits())
return false;
Expand All @@ -429,6 +420,15 @@ bool LoopUnswitch::processCurrentLoop() {
if (!BranchesInfo.countLoop(currentLoop))
return false;

// Loops with invokes, whose unwind edge escapes the loop, cannot be
// unswitched because splitting their edges are non-trivial and don't preserve
// loop simplify information.
for (Loop::block_iterator I = currentLoop->block_begin(),
E = currentLoop->block_end(); I != E; ++I)
if (const InvokeInst *II = dyn_cast<InvokeInst>((*I)->getTerminator()))
if (!currentLoop->contains(II->getUnwindDest()))
return false;

// Loop over all of the basic blocks in the loop. If we find an interior
// block that is branching on a loop-invariant condition, we can unswitch this
// loop.
Expand Down

0 comments on commit dc21604

Please sign in to comment.