[llvm-commits] CVS: llvm/include/llvm/Analysis/AliasAnalysis.h BasicAliasAnalysis.h

[Vikram Adve]

Changes in directory llvm/include/llvm/Analysis:

AliasAnalysis.h updated: 1.2 -> 1.3
BasicAliasAnalysis.h updated: 1.5 -> 1.6

---
Log message:

Make query operations non-const to allow demand-driven analyses.


---
Diffs of the changes:

Index: llvm/include/llvm/Analysis/AliasAnalysis.h
diff -u llvm/include/llvm/Analysis/AliasAnalysis.h:1.2 llvm/include/llvm/Analysis/AliasAnalysis.h:1.3
--- llvm/include/llvm/Analysis/AliasAnalysis.h:1.2	Thu Aug 22 16:22:25 2002
+++ llvm/include/llvm/Analysis/AliasAnalysis.h	Wed Nov  6 11:17:55 2002
@@ -34,22 +34,22 @@
   /// other.  This is the interface that must be implemented by specific alias
   /// analysis implementations.
   ///
-  virtual Result alias(const Value *V1, const Value *V2) const = 0;
+  virtual Result alias(const Value *V1, const Value *V2) = 0;
 
   /// canCallModify - Return a Result that indicates whether the specified
   /// function call can modify the memory location pointed to by Ptr.
   ///
-  virtual Result canCallModify(const CallInst &CI, const Value *Ptr) const = 0;
+  virtual Result canCallModify(const CallInst &CI, const Value *Ptr) = 0;
 
   /// canInvokeModify - Return a Result that indicates whether the specified
   /// function invoke can modify the memory location pointed to by Ptr.
   ///
-  virtual Result canInvokeModify(const InvokeInst &I, const Value *Ptr) const=0;
+  virtual Result canInvokeModify(const InvokeInst &I, const Value *Ptr) = 0;
 
   /// canBasicBlockModify - Return true if it is possible for execution of the
   /// specified basic block to modify the value pointed to by Ptr.
   ///
-  bool canBasicBlockModify(const BasicBlock &BB, const Value *Ptr) const;
+  bool canBasicBlockModify(const BasicBlock &BB, const Value *Ptr);
 
   /// canInstructionRangeModify - Return true if it is possible for the
   /// execution of the specified instructions to modify the value pointed to by
@@ -57,7 +57,7 @@
   /// range of [I1,I2] INCLUSIVE.  I1 and I2 must be in the same basic block.
   ///
   bool canInstructionRangeModify(const Instruction &I1, const Instruction &I2,
-                                 const Value *Ptr) const;
+                                 const Value *Ptr);
 
   virtual ~AliasAnalysis();  // We want to be subclassed
 };


Index: llvm/include/llvm/Analysis/BasicAliasAnalysis.h
diff -u llvm/include/llvm/Analysis/BasicAliasAnalysis.h:1.5 llvm/include/llvm/Analysis/BasicAliasAnalysis.h:1.6
--- llvm/include/llvm/Analysis/BasicAliasAnalysis.h:1.5	Wed Sep 25 17:27:54 2002
+++ llvm/include/llvm/Analysis/BasicAliasAnalysis.h	Wed Nov  6 11:17:55 2002
@@ -16,17 +16,17 @@
 
   // alias - This is the only method here that does anything interesting...
   //
-  Result alias(const Value *V1, const Value *V2) const;
+  Result alias(const Value *V1, const Value *V2);
     
   /// canCallModify - We are not interprocedural, so we do nothing exciting.
   ///
-  Result canCallModify(const CallInst &CI, const Value *Ptr) const {
+  Result canCallModify(const CallInst &CI, const Value *Ptr) {
     return MayAlias;
   }
     
   /// canInvokeModify - We are not interprocedural, so we do nothing exciting.
   ///
-  Result canInvokeModify(const InvokeInst &I, const Value *Ptr) const {
+  Result canInvokeModify(const InvokeInst &I, const Value *Ptr) {
     return MayAlias;  // We are not interprocedural
   }
 };