From: Chris Lattner <sabre@nondot.org>
Date: Sun, 29 Jun 2003 00:23:11 +0000 (+0000)
Subject: Add support for gathering sets of must aliases
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=62b5c167de0ca5883a7ad5eb0900eb0c15ad3707;p=oota-llvm.git

Add support for gathering sets of must aliases


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6971 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/include/llvm/Analysis/AliasAnalysis.h b/include/llvm/Analysis/AliasAnalysis.h
index 90713aeaf9e..f115894bc5a 100644
--- a/include/llvm/Analysis/AliasAnalysis.h
+++ b/include/llvm/Analysis/AliasAnalysis.h
@@ -76,6 +76,15 @@ public:
     return MayAlias;
   }
 
+  /// getMustAliases - If there are any pointers known that must alias this
+  /// pointer, return them now.  This allows alias-set based alias analyses to
+  /// perform a form a value numbering (which is exposed by load-vn).  If an
+  /// alias analysis supports this, it should ADD any must aliased pointers to
+  /// the specified vector.
+  ///
+  virtual void getMustAliases(Value *P, std::vector<Value*> &RetVals) {}
+
+
   //===--------------------------------------------------------------------===//
   /// Simple mod/ref information...
   ///