diff options
| author | Owen Anderson <resistor@mac.com> | 2006-06-09 18:33:30 +0000 |
|---|---|---|
| committer | Owen Anderson <resistor@mac.com> | 2006-06-09 18:33:30 +0000 |
| commit | f25c19c6b57aec5670e87dc57840c6ac12252099 (patch) | |
| tree | 696a944997fa35f334b7ebde573e2c48216951a8 /include/llvm/Analysis | |
| parent | e5e228df19d6e9e1218fecfb49f8ef1f53d6759c (diff) | |
| download | external_llvm-f25c19c6b57aec5670e87dc57840c6ac12252099.zip external_llvm-f25c19c6b57aec5670e87dc57840c6ac12252099.tar.gz external_llvm-f25c19c6b57aec5670e87dc57840c6ac12252099.tar.bz2 | |
Make Loop able to verify that it is in LCSSA-form, and have the LCSSA pass assert
on this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@28738 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/llvm/Analysis')
| -rw-r--r-- | include/llvm/Analysis/LoopInfo.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/include/llvm/Analysis/LoopInfo.h b/include/llvm/Analysis/LoopInfo.h index 06b007c..d6d6edf 100644 --- a/include/llvm/Analysis/LoopInfo.h +++ b/include/llvm/Analysis/LoopInfo.h @@ -98,7 +98,7 @@ public: /// isLoopInvariant - Return true if the specified value is loop invariant /// bool isLoopInvariant(Value *V) const; - + //===--------------------------------------------------------------------===// // APIs for simple analysis of the loop. // @@ -147,6 +147,9 @@ public: /// 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 // |