maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Move assert as early as possible 

Patch written by Aditya Kumar.

Differential Revision: https://reviews.llvm.org/D22816

llvm-svn: 276830
This commit is contained in:
Sebastian Pop 2016-07-27 03:30:11 +00:00
parent 5bf7d8102d
commit e5730a27f2
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
llvm/include/llvm/Analysis/LoopInfoImpl.h
View File

@ -252,6 +252,8 @@ void LoopBase<BlockT, LoopT>::verifyLoop() const {
HasInsideLoopSuccs = true;
break;
}
assert(HasInsideLoopSuccs && "Loop block has no in-loop successors!");
typedef GraphTraits<Inverse<BlockT*> > InvBlockTraits;
for (typename InvBlockTraits::ChildIteratorType PI =
InvBlockTraits::child_begin(BB), PE = InvBlockTraits::child_end(BB);
@ -262,6 +264,7 @@ void LoopBase<BlockT, LoopT>::verifyLoop() const {
else
OutsideLoopPreds.push_back(N);
}
assert(HasInsideLoopPreds && "Loop block has no in-loop predecessors!");
if (BB == getHeader()) {
assert(!OutsideLoopPreds.empty() && "Loop is unreachable!");
@ -275,8 +278,6 @@ void LoopBase<BlockT, LoopT>::verifyLoop() const {
assert(CB != OutsideLoopPreds[i] &&
"Loop has multiple entry points!");
}
assert(HasInsideLoopPreds && "Loop block has no in-loop predecessors!");
assert(HasInsideLoopSuccs && "Loop block has no in-loop successors!");
assert(BB != &getHeader()->getParent()->front() &&
"Loop contains function entry block!");