Make Loop able to verify that it is in LCSSA-form, and have the LCSSA pass assert
on this. llvm-svn: 28738
This commit is contained in:
parent
beedf824e3
commit
505adff3f0
|
@ -98,7 +98,7 @@ public:
|
||||||
/// isLoopInvariant - Return true if the specified value is loop invariant
|
/// isLoopInvariant - Return true if the specified value is loop invariant
|
||||||
///
|
///
|
||||||
bool isLoopInvariant(Value *V) const;
|
bool isLoopInvariant(Value *V) const;
|
||||||
|
|
||||||
//===--------------------------------------------------------------------===//
|
//===--------------------------------------------------------------------===//
|
||||||
// APIs for simple analysis of the loop.
|
// APIs for simple analysis of the loop.
|
||||||
//
|
//
|
||||||
|
@ -147,6 +147,9 @@ public:
|
||||||
///
|
///
|
||||||
Value *getTripCount() const;
|
Value *getTripCount() const;
|
||||||
|
|
||||||
|
/// isLCSSAForm - Return true if the Loop is in LCSSA form
|
||||||
|
bool isLCSSAForm() const;
|
||||||
|
|
||||||
//===--------------------------------------------------------------------===//
|
//===--------------------------------------------------------------------===//
|
||||||
// APIs for updating loop information after changing the CFG
|
// APIs for updating loop information after changing the CFG
|
||||||
//
|
//
|
||||||
|
|
|
@ -479,6 +479,22 @@ Value *Loop::getTripCount() const {
|
||||||
return 0;
|
return 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/// isLCSSAForm - Return true if the Loop is in LCSSA form
|
||||||
|
bool Loop::isLCSSAForm() const {
|
||||||
|
for (Loop::block_iterator BB = block_begin(), E = block_end();
|
||||||
|
BB != E; ++BB) {
|
||||||
|
for (BasicBlock::iterator I = (*BB)->begin(), E = (*BB)->end(); I != E; ++I)
|
||||||
|
for (Value::use_iterator UI = I->use_begin(), E = I->use_end(); UI != E;
|
||||||
|
++UI) {
|
||||||
|
BasicBlock *UserBB = cast<Instruction>(*UI)->getParent();
|
||||||
|
if (!isa<PHINode>(*UI) && !contains(UserBB)) {
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
|
||||||
//===-------------------------------------------------------------------===//
|
//===-------------------------------------------------------------------===//
|
||||||
// APIs for updating loop information after changing the CFG
|
// APIs for updating loop information after changing the CFG
|
||||||
|
|
|
@ -98,7 +98,7 @@ bool LCSSA::runOnFunction(Function &F) {
|
||||||
for (LoopInfo::iterator I = LI->begin(), E = LI->end(); I != E; ++I) {
|
for (LoopInfo::iterator I = LI->begin(), E = LI->end(); I != E; ++I) {
|
||||||
changed |= visitSubloop(*I);
|
changed |= visitSubloop(*I);
|
||||||
}
|
}
|
||||||
|
|
||||||
return changed;
|
return changed;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -132,6 +132,8 @@ bool LCSSA::visitSubloop(Loop* L) {
|
||||||
processInstruction(*I, exitBlocks);
|
processInstruction(*I, exitBlocks);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
assert(L->isLCSSAForm());
|
||||||
|
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue