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

Paul Walker via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Nov 23 09:00:31 PST 2021


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



More information about the llvm-commits mailing list