[PATCH] D150706: [LAA] Update MaxSafeDepDistBytes when non-unit stride

[Michael Maitland via Phabricator via llvm-commits]

michaelmaitland updated this revision to Diff 522866.
michaelmaitland added a comment.

The test case gives the C program:

  struct pair {
    int x;
    int y;
  };
  
  void max_vf(struct pair *restrict p) {
    for (int i = 0; i < 1000; i++) {
      p[i + 2].x = p[i].x
      p[i + 2].y = p[i].y
    }
  }

The IR is updated to match this IR so that the test case behaves as expected.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D150706

Files:
  llvm/lib/Analysis/LoopAccessAnalysis.cpp
  llvm/test/Analysis/LoopAccessAnalysis/depend_diff_types.ll
  llvm/test/Analysis/LoopAccessAnalysis/depend_diff_types_opaque_ptr.ll
  llvm/test/Analysis/LoopAccessAnalysis/max_safe_dep_dist_non_unit_stride.ll
  llvm/test/Transforms/LoopVectorize/AArch64/max-vf-for-interleaved.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D150706.522866.patch
Type: text/x-patch
Size: 6008 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230517/18da8e1b/attachment.bin>