[PATCH] D152366: [LoopVectorize] Allow inner loop runtime checks to be hoisted above an outer loop

[David Sherwood via Phabricator via llvm-commits]

david-arm updated this revision to Diff 545141.
david-arm added a comment.

- Added support for cases where the stride of the outer loop memory accesses is negative. In such cases we may have to add an extra runtime check that the stride is positive because otherwise the range expansion will be incorrect.


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

https://reviews.llvm.org/D152366

Files:
  llvm/include/llvm/Analysis/LoopAccessAnalysis.h
  llvm/include/llvm/Transforms/Utils/LoopUtils.h
  llvm/lib/Analysis/LoopAccessAnalysis.cpp
  llvm/lib/Transforms/Utils/LoopUtils.cpp
  llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
  llvm/test/Transforms/LoopVectorize/runtime-checks-hoist.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D152366.545141.patch
Type: text/x-patch
Size: 76281 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230728/0f9c1db5/attachment.bin>