From f25c19c6b57aec5670e87dc57840c6ac12252099 Mon Sep 17 00:00:00 2001 From: Owen Anderson Date: Fri, 9 Jun 2006 18:33:30 +0000 Subject: 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 --- include/llvm/Analysis/LoopInfo.h | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'include/llvm/Analysis/LoopInfo.h') 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 // -- cgit v1.1