diff options
author | Nick Lewycky <nicholas@mxc.ca> | 2009-12-05 06:37:52 +0000 |
---|---|---|
committer | Nick Lewycky <nicholas@mxc.ca> | 2009-12-05 06:37:52 +0000 |
commit | 750e0e0ad0e599fe701e5492eef5c2cab05f2e5c (patch) | |
tree | 3692d99d63ab55e51b7d1d913fa06617fc0ea170 | |
parent | 93d3311d1f0169c456b6176a69b45d79533c75e2 (diff) |
Document that memory use intrinsics may also return Def results.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90651 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | include/llvm/Analysis/MemoryDependenceAnalysis.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/include/llvm/Analysis/MemoryDependenceAnalysis.h b/include/llvm/Analysis/MemoryDependenceAnalysis.h index 6b300fd950..b55be29d2e 100644 --- a/include/llvm/Analysis/MemoryDependenceAnalysis.h +++ b/include/llvm/Analysis/MemoryDependenceAnalysis.h @@ -60,9 +60,9 @@ namespace llvm { /// this case, the load is loading an undef value or a store is the /// first store to (that part of) the allocation. /// 3. Dependence queries on calls return Def only when they are - /// readonly calls with identical callees and no intervening - /// clobbers. No validation is done that the operands to the calls - /// are the same. + /// readonly calls or memory use intrinsics with identical callees + /// and no intervening clobbers. No validation is done that the + /// operands to the calls are the same. Def, /// NonLocal - This marker indicates that the query has no dependency in |