[PATCH] D87439: [SVE] In LoopIdiomRecognize::isLegalStore bail out for scalable vectors

[David Sherwood via Phabricator via llvm-commits]

david-arm added inline comments.


================
Comment at: llvm/lib/Transforms/Scalar/LoopIdiomRecognize.cpp:475
+  // non-constant stride too, since the code below currently only works for
+  // constant strides.
+  TypeSize SizeInBits = DL->getTypeSizeInBits(StoredVal->getType());
----------------
efriedma wrote:
> Do you have any idea why we're checking whether the store overflows an unsigned?
Hi @efriedma, honestly I don't know why we check for overflow here, although I assumed it was probably because they wanted to multiply the store size by something else at some point, so want to ensure it fits in a 64-bit value. That's a pure guess though! I can look into this further if you want, but there is still the issue of non-constant strides and extra maths to deal with.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D87439