[llvm] [LAA] Always use DepCands when grouping runtime checks. (PR #91196)

Michael Kruse via llvm-commits llvm-commits at lists.llvm.org
Mon Jul 8 04:29:44 PDT 2024


================
@@ -702,8 +701,10 @@ class AccessAnalysis {
   ///
   /// Returns true if we need no check or if we do and we can generate them
   /// (i.e. the pointers have computable bounds).
-  bool canCheckPtrAtRT(RuntimePointerChecking &RtCheck, ScalarEvolution *SE,
-                       Loop *TheLoop, const DenseMap<Value *, const SCEV *> &Strides,
+  bool canCheckPtrAtRT(const MemoryDepChecker &DepChecker,
+                       RuntimePointerChecking &RtCheck, ScalarEvolution *SE,
+                       Loop *TheLoop,
+                       const DenseMap<Value *, const SCEV *> &Strides,
----------------
Meinersbur wrote:

Can you document the (additional) parameters?

`RtCheck` seems to be the [out] parameter, should it stay the first?

https://github.com/llvm/llvm-project/pull/91196


More information about the llvm-commits mailing list