[PATCH] D146974: [test] A test case for D146839

[Paul Osmialowski via Phabricator via llvm-commits]

pawosm01 created this revision.
pawosm01 added a reviewer: ABataev.
Herald added a project: All.
pawosm01 requested review of this revision.
Herald added subscribers: llvm-commits, pcwang-thead.
Herald added a project: LLVM.

Releasing a test case separately, as per the reviewer request.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D146974

Files:
  llvm/test/Transforms/LoopVectorize/vector-no-scevcheck.ll


Index: llvm/test/Transforms/LoopVectorize/vector-no-scevcheck.ll
===================================================================
--- /dev/null
+++ llvm/test/Transforms/LoopVectorize/vector-no-scevcheck.ll
@@ -0,0 +1,57 @@
+; RUN: opt -passes=loop-vectorize -force-vector-width=2 -force-vector-interleave=1 -S < %s | FileCheck %s
+
+define void @foo(ptr %pout, ptr %pin, ptr %dims1, ptr %dims2) {
+; CHECK-LABEL: @foo(
+; CHECK-NOT: vector.scevcheck
+; CHECK: vector.body
+for.cond1.preheader.lr.ph:
+  %arrayidx7 = getelementptr inbounds i64, ptr %dims1, i64 1
+  %arrayidx11 = getelementptr inbounds i64, ptr %dims2, i64 1
+  %0 = load i64, ptr %arrayidx7, align 8
+  %cmp845 = icmp sgt i64 %0, 0
+  br label %for.cond6.preheader.lr.ph
+
+for.cond6.preheader.lr.ph:                        ; preds = %for.cond.cleanup4, %for.cond1.preheader.lr.ph
+  %1 = phi i64 [ 0, %for.cond1.preheader.lr.ph ], [ %inc26, %for.cond.cleanup4 ]
+  %2 = getelementptr double, ptr %pin, i64 %1
+  br i1 %cmp845, label %for.cond6.preheader.us.preheader, label %for.cond.cleanup4
+
+for.cond6.preheader.us.preheader:                 ; preds = %for.cond6.preheader.lr.ph
+  %.pre = load i64, ptr %arrayidx11, align 8
+  %mul14.us = mul nsw i64 %1, %.pre
+  %3 = getelementptr double, ptr %pin, i64 %mul14.us
+  br label %for.cond6.preheader.us
+
+for.cond6.preheader.us:                           ; preds = %for.cond6.for.cond.cleanup9_crit_edge.us, %for.cond6.preheader.us.preheader
+  %i.048.us = phi i64 [ %inc23.us, %for.cond6.for.cond.cleanup9_crit_edge.us ], [ 0, %for.cond6.preheader.us.preheader ]
+  %mul.us = mul nsw i64 %i.048.us, %.pre
+  %arrayidx12.us = getelementptr inbounds double, ptr %2, i64 %mul.us
+  %mul19.us = mul nsw i64 %i.048.us, %0
+  br label %for.body10.us
+
+for.body10.us:                                    ; preds = %for.cond6.preheader.us, %for.body10.us
+  %j.046.us = phi i64 [ 0, %for.cond6.preheader.us ], [ %inc.us, %for.body10.us ]
+  %4 = load double, ptr %arrayidx12.us, align 8
+  %arrayidx16.us = getelementptr inbounds double, ptr %3, i64 %j.046.us
+  %5 = load double, ptr %arrayidx16.us, align 8
+  %add17.us = fadd contract double %4, %5
+  %6 = getelementptr double, ptr %pout, i64 %mul19.us
+  %arrayidx21.us = getelementptr inbounds double, ptr %6, i64 %j.046.us
+  store double %add17.us, ptr %arrayidx21.us, align 8
+  %inc.us = add nuw nsw i64 %j.046.us, 1
+  %cmp8.us = icmp slt i64 %inc.us, %0
+  br i1 %cmp8.us, label %for.body10.us, label %for.cond6.for.cond.cleanup9_crit_edge.us
+
+for.cond6.for.cond.cleanup9_crit_edge.us:         ; preds = %for.body10.us
+  %inc23.us = add nuw nsw i64 %i.048.us, 1
+  %exitcond = icmp eq i64 %inc23.us, %0
+  br i1 %exitcond, label %for.cond.cleanup4, label %for.cond6.preheader.us
+
+for.cond.cleanup4:                                ; preds = %for.cond6.for.cond.cleanup9_crit_edge.us, %for.cond6.preheader.lr.ph
+  %inc26 = add nuw nsw i64 %1, 1
+  %cmp = icmp slt i64 %inc26, %0
+  br i1 %cmp, label %for.cond6.preheader.lr.ph, label %for.cond.cleanup
+
+for.cond.cleanup:                                 ; preds = %for.cond.cleanup4
+  ret void
+}


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D146974.508671.patch
Type: text/x-patch
Size: 3133 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230327/f1948a4c/attachment-0001.bin>