[PATCH] D154173: [LAA] Add test that shows MaxSafeDepDistBytes is incorrect. NFC.

[Michael Maitland via Phabricator via llvm-commits]

michaelmaitland updated this revision to Diff 536246.
michaelmaitland marked 5 inline comments as done.
michaelmaitland added a comment.

Cleanup test some more


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D154173

Files:
  llvm/test/Analysis/LoopAccessAnalysis/max_safe_dep_dist_non_unit_stride.ll


Index: llvm/test/Analysis/LoopAccessAnalysis/max_safe_dep_dist_non_unit_stride.ll
===================================================================
--- /dev/null
+++ llvm/test/Analysis/LoopAccessAnalysis/max_safe_dep_dist_non_unit_stride.ll
@@ -0,0 +1,56 @@
+; RUN: opt -S -disable-output -passes='print<access-info>' < %s 2>&1 | FileCheck %s
+
+; Generated from following C program:
+; void foo(int len, int *a) {
+;   for (int k = 0; k < len; k+=3) {
+;     a[k] = a[k + 4];
+;     a[k+2] = a[k+6];
+;   }
+; }
+define void @foo(i64  %len, ptr %a) {
+; CHECK-LABEL: Loop access info in function 'foo':
+; CHECK-NEXT:  for.body:
+; CHECK-NEXT:    Memory dependences are safe with a maximum dependence distance of 24 bytes
+; CHECK-NEXT:    Dependences:
+; CHECK-NEXT:      BackwardVectorizable:
+; CHECK-NEXT:          store i32 %2, ptr %arrayidx2, align 4 ->
+; CHECK-NEXT:          %4 = load i32, ptr %arrayidx5, align 4
+; CHECK-EMPTY:
+; CHECK-NEXT:    Run-time memory checks:
+; CHECK-NEXT:    Grouped accesses:
+; CHECK-EMPTY:
+; CHECK-NEXT:    Non vectorizable stores to invariant address were not found in loop.
+; CHECK-NEXT:    SCEV assumptions:
+; CHECK-EMPTY:
+; CHECK-NEXT:    Expressions re-written:
+;
+entry:
+  %cmp18 = icmp sgt i64 %len, 0
+  br i1 %cmp18, label %loop.preheader, label %exit
+
+loop.preheader:
+  br label %loop
+
+loop.exit:
+  br label %exit
+
+exit:
+  ret void
+
+loop:
+  %iv = phi i64 [ 0, %loop.preheader ], [ %iv.next, %loop ]
+  %iv.4 = add nuw nsw i64 %iv, 4
+  %arrayidx = getelementptr inbounds i32, ptr %a, i64 %iv.4
+  %0 = load i32, ptr %arrayidx, align 4
+  %arrayidx2 = getelementptr inbounds i32, ptr %a, i64 %iv
+  store i32 %0, ptr %arrayidx2, align 4
+  %iv.6 = add nuw nsw i64 %iv, 6
+  %arrayidx5 = getelementptr inbounds i32, ptr %a, i64 %iv.6
+  %1 = load i32, ptr %arrayidx5, align 4
+  %iv.2 = add nuw nsw i64 %iv, 2
+  %arrayidx8 = getelementptr inbounds i32, ptr %a, i64 %iv.2
+  store i32 %1, ptr %arrayidx8, align 4
+  %iv.next = add nuw nsw i64 %iv, 3
+  %cmp = icmp ult i64 %iv.next, %len
+  br i1 %cmp, label %loop, label %loop.exit
+}


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D154173.536246.patch
Type: text/x-patch
Size: 2108 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230630/60d0cf6e/attachment.bin>