From: Chris Lattner <sabre@nondot.org>
Date: Thu, 22 Aug 2002 18:25:20 +0000 (+0000)
Subject: Checkin new alias analysis infrastructure
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=4df22c0100fe27f19e6f4874f24eedd0742b9cf4;p=oota-llvm.git

Checkin new alias analysis infrastructure


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

diff --git a/include/llvm/Analysis/AliasAnalysis.h b/include/llvm/Analysis/AliasAnalysis.h
new file mode 100644
index 00000000000..1fe9b214745
--- /dev/null
+++ b/include/llvm/Analysis/AliasAnalysis.h
@@ -0,0 +1,65 @@
+//===- llvm/Analysis/AliasAnalysis.h - Alias Analysis Interface -*- C++ -*-===//
+//
+// This file defines the generic AliasAnalysis interface, which is used as the
+// common interface used by all clients of alias analysis information, and
+// implemented by all alias analysis implementations.
+//
+// Implementations of this interface must implement the various virtual methods,
+// which automatically provides functionality for the entire suite of client
+// APIs.
+//
+//===----------------------------------------------------------------------===//
+
+#ifndef LLVM_ANALYSIS_ALIAS_ANALYSIS_H
+#define LLVM_ANALYSIS_ALIAS_ANALYSIS_H
+
+class Value;
+class CallInst;
+class InvokeInst;
+class BasicBlock;
+class Instruction;
+
+struct AliasAnalysis {
+
+  // Alias analysis result - Either we know for sure that it does not alias, we
+  // know for sure it must alias, or we don't know anything: The two pointers
+  // _might_ alias.  This enum is designed so you can do things like:
+  //     if (AA.alias(P1, P2)) { ... }
+  // to check to see if two pointers might alias.
+  //
+  enum Result { NoAlias = 0, MayAlias = 1, MustAlias = 2 };
+
+  // alias - The main low level interface to the alias analysis implementation.
+  // Returns a Result indicating whether the two pointers are aliased to each
+  // 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;
+
+  // 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;
+
+  // 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;
+
+  // 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;
+
+  // canInstructionRangeModify - Return true if it is possible for the execution
+  // of the specified instructions to modify the value pointed to by Ptr.  The
+  // instructions to consider are all of the instructions in the 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;
+
+  virtual ~AliasAnalysis();  // We want to be subclassed
+};
+
+#endif
diff --git a/include/llvm/Analysis/BasicAliasAnalysis.h b/include/llvm/Analysis/BasicAliasAnalysis.h
new file mode 100644
index 00000000000..c6b25d66608
--- /dev/null
+++ b/include/llvm/Analysis/BasicAliasAnalysis.h
@@ -0,0 +1,48 @@
+//===- llvm/Analysis/BasicAliasAnalysis.h - Alias Analysis Impl -*- C++ -*-===//
+//
+// This file defines the generic AliasAnalysis interface, which is used as the
+// common interface used by all clients of alias analysis information, and
+// implemented by all alias analysis implementations.
+//
+// Implementations of this interface must implement the various virtual methods,
+// which automatically provides functionality for the entire suite of client
+// APIs.
+//
+//===----------------------------------------------------------------------===//
+
+#ifndef LLVM_ANALYSIS_BASIC_ALIAS_ANALYSIS_H
+#define LLVM_ANALYSIS_BASIC_ALIAS_ANALYSIS_H
+
+#include "llvm/Analysis/AliasAnalysis.h"
+#include "llvm/Pass.h"
+
+struct BasicAliasAnalysis : public FunctionPass, public AliasAnalysis {
+  
+  // Pass Implementation stuff.  This isn't much of a pass.
+  //
+  bool runOnFunction(Function &) { return false; }
+    
+  // getAnalysisUsage - Does not modify anything.
+  //
+  virtual void getAnalysisUsage(AnalysisUsage &AU) const {
+    AU.setPreservesAll();
+  }
+  
+  // alias - This is the only method here that does anything interesting...
+  //
+  Result alias(const Value *V1, const Value *V2) const;
+    
+  // canCallModify - We are not interprocedural, so we do nothing exciting.
+  //
+  Result canCallModify(const CallInst &CI, const Value *Ptr) const {
+    return MayAlias;
+  }
+    
+  // canInvokeModify - We are not interprocedural, so we do nothing exciting.
+  //
+  Result canInvokeModify(const InvokeInst &I, const Value *Ptr) const {
+    return MayAlias;  // We are not interprocedural
+  }
+};
+
+#endif