[PATCH] D114155: [LoopAccessAnalysis][SVE] Bail out for scalable vectors

[Paul Walker via Phabricator via llvm-commits]

paulwalker-arm added inline comments.


================
Comment at: llvm/lib/Analysis/LoopAccessAnalysis.cpp:1105-1108
+  if (AllocSize.isScalable()) {
+    LLVM_DEBUG(dbgs() << "LAA: Unsupported stride - scalable object: "
+                      << *AccessTy << "\n");
+    return 0;
----------------
At the top of this function I can see
```
  if (AccessTy->isAggregateType()) {
    LLVM_DEBUG(dbgs() << "LAA: Bad stride - Not a pointer to a scalar type"
                      << *Ptr << "\n");
    return 0;
  }
```
So my question is why not just add a check immediate after this for `isa<ScalableVector>(AccessTy)`?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D114155