[PATCH] D110973: [DA] Handle mismatching loop levels by considering them non-linear

[Michael Kruse via Phabricator via llvm-commits]

Meinersbur added inline comments.


================
Comment at: llvm/lib/Analysis/DependenceAnalysis.cpp:900-901
   const SCEVAddRecExpr *AddRec = dyn_cast<SCEVAddRecExpr>(Expr);
   if (!AddRec)
     return isLoopInvariant(Expr, LoopNest);
   const SCEV *Start = AddRec->getStart();
----------------
`isLoopInvariant` is already using `computeLoopDisposition()`. We should use it even when Expr is a `SCEVAddRecExpr`.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D110973/new/

https://reviews.llvm.org/D110973