maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Add a new pointsToConstantMemory method to the AliasAnalysis interface 

which can be implemented to improve the quality of mod-ref information.

llvm-svn: 11020
This commit is contained in:
Chris Lattner 2004-01-30 22:15:41 +00:00
parent 4710add9dd
commit 6866e18e48
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
llvm/include/llvm/Analysis/AliasAnalysis.h
View File

@ -95,6 +95,11 @@ public:
///
virtual void getMustAliases(Value *P, std::vector<Value*> &RetVals) {}
/// pointsToConstantMemory - If the specified pointer is known to point into
/// constant global memory, return true. This allows disambiguation of store
/// instructions from constant pointers.
///
virtual bool pointsToConstantMemory(const Value *P) { return false; }
//===--------------------------------------------------------------------===//
/// Simple mod/ref information...
@ -114,7 +119,9 @@ public:
/// pointer.
///
virtual ModRefResult getModRefInfo(CallSite CS, Value *P, unsigned Size) {
return ModRef;
// If P points to a constant memory location, the call definitely could not
// modify the memory location.
return pointsToConstantMemory(P) ? Ref : ModRef;
}
/// getModRefInfo - Return information about whether two call sites may refer