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

[Chris Lattner]

Changes in directory llvm/include/llvm/Analysis:

AliasAnalysis.h updated: 1.13 -> 1.14

---
Log message:

Clarify interface


---
Diffs of the changes:  (+4 -2)

Index: llvm/include/llvm/Analysis/AliasAnalysis.h
diff -u llvm/include/llvm/Analysis/AliasAnalysis.h:1.13 llvm/include/llvm/Analysis/AliasAnalysis.h:1.14
--- llvm/include/llvm/Analysis/AliasAnalysis.h:1.13	Sun Mar 14 22:07:59 2004
+++ llvm/include/llvm/Analysis/AliasAnalysis.h	Sat Apr 10 01:11:29 2004
@@ -102,7 +102,8 @@
 
   /// doesNotAccessMemory - If the specified function is known to never read or
   /// write memory, return true.  If the function only reads from known-constant
-  /// memory, it is also legal to return true.
+  /// memory, it is also legal to return true.  Functions that unwind the stack
+  /// are not legal for this predicate.
   ///
   /// Many optimizations (such as CSE and LICM) can be performed on calls to it,
   /// without worrying about aliasing properties, and many functions have this
@@ -113,7 +114,8 @@
   virtual bool doesNotAccessMemory(Function *F) { return false; }
 
   /// onlyReadsMemory - If the specified function is known to only read from
-  /// non-volatile memory (or not access memory at all), return true.
+  /// non-volatile memory (or not access memory at all), return true.  Functions
+  /// that unwind the stack are not legal for this predicate.
   ///
   /// This property allows many common optimizations to be performed in the
   /// absence of interfering store instructions, such as CSE of strlen calls.