From: Nick Lewycky Date: Sat, 5 Dec 2009 06:37:52 +0000 (+0000) Subject: Document that memory use intrinsics may also return Def results. X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=750e0e0ad0e599fe701e5492eef5c2cab05f2e5c;p=oota-llvm.git 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 --- diff --git a/include/llvm/Analysis/MemoryDependenceAnalysis.h b/include/llvm/Analysis/MemoryDependenceAnalysis.h index 6b300fd9503..b55be29d2eb 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