From dcc5220c3a1db55cd79fb553dc73b8deeceb9728 Mon Sep 17 00:00:00 2001 From: Silviu Baranga Date: Thu, 5 Nov 2015 15:55:41 +0000 Subject: [PATCH] Update comment to LoopAccessInfo after r251800. NFC git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@252171 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/llvm/Analysis/LoopAccessAnalysis.h | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/include/llvm/Analysis/LoopAccessAnalysis.h b/include/llvm/Analysis/LoopAccessAnalysis.h index 909429415ab..77d412a4f92 100644 --- a/include/llvm/Analysis/LoopAccessAnalysis.h +++ b/include/llvm/Analysis/LoopAccessAnalysis.h @@ -503,6 +503,13 @@ private: /// generates run-time checks to prove independence. This is done by /// AccessAnalysis::canCheckPtrAtRT and the checks are maintained by the /// RuntimePointerCheck class. +/// +/// If pointers can wrap or can't be expressed as affine AddRec expressions by +/// ScalarEvolution, we will generate run-time checks by emitting a +/// SCEVUnionPredicate. +/// +/// Checks for both memory dependences and SCEV predicates must be emitted in +/// order for the results of this analysis to be valid. class LoopAccessInfo { public: LoopAccessInfo(Loop *L, ScalarEvolution *SE, const DataLayout &DL, -- 2.34.1