[PATCH] D101486: [Dependence Analysis] Enable delinearization of fixed sized arrays

[Florian Hahn via Phabricator via llvm-commits]

fhahn added a comment.

FYI a while ago I worked on a set of patches to add versioning support when de-linearizing accesses in DA. It's still a bit messy (there's some overlap with this patch, but the version here is much nicer by using the existing `isKnownNonNegative` & co), but it seems like a reasonable future extension. Not sure when/if I'll have time to break up the patch & finish it up.



================
Comment at: llvm/lib/Analysis/DependenceAnalysis.cpp:3372
+        if (!isKnownNonNegative(S, Ptr))
+          FailedRangeCheck = true;
+        if (auto *SType = dyn_cast<IntegerType>(S->getType())) {
----------------
Can these now be early exits?


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

https://reviews.llvm.org/D101486