| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 |
| ; RUN: opt -aa-pipeline=basic-aa -passes=loop-distribute -enable-loop-distribute -verify-loop-info -verify-dom-info -debug-only=loop-distribute --disable-output -S < %s 2>&1 | FileCheck %s |
| ; REQUIRES: asserts |
| |
| ; Test if a loop already distributed will not reprocess because of metadata |
| ; information marking it as processed. |
| |
| ; CHECK: LDist: Distributed loop guarded for reprocessing |
| ; CHECK: LDist: Skipping; |
| |
| define dso_local void @_Z13distribution3PiS_S_S_i(ptr noundef captures(none) %a, ptr noundef readonly captures(none) %b, ptr noundef captures(none) %c, ptr noundef writeonly captures(none) %d, i64 noundef signext %len) { |
| entry: |
| %cmp = icmp sgt i64 %len, 0 |
| br i1 %cmp, label %end, label %for.body.lver.check |
| |
| for.body.lver.check: ; preds = %entry |
| %0 = shl i64 %len, 2 |
| %scevgep = getelementptr i8, ptr %a, i64 %0 |
| %scevgep1 = getelementptr i8, ptr %c, i64 -4 |
| %scevgep2 = getelementptr i8, ptr %c, i64 %0 |
| %scevgep3 = getelementptr i8, ptr %d, i64 %0 |
| %scevgep4 = getelementptr i8, ptr %b, i64 %0 |
| %bound0 = icmp ult ptr %a, %scevgep2 |
| %bound1 = icmp ult ptr %scevgep1, %scevgep |
| %found.conflict = and i1 %bound0, %bound1 |
| %bound05 = icmp ult ptr %a, %scevgep3 |
| %bound16 = icmp ult ptr %d, %scevgep |
| %found.conflict7 = and i1 %bound05, %bound16 |
| %conflict.rdx = or i1 %found.conflict, %found.conflict7 |
| %bound08 = icmp ult ptr %a, %scevgep4 |
| %bound19 = icmp ult ptr %b, %scevgep |
| %found.conflict10 = and i1 %bound08, %bound19 |
| %conflict.rdx11 = or i1 %conflict.rdx, %found.conflict10 |
| %bound012 = icmp ult ptr %scevgep1, %scevgep3 |
| %bound113 = icmp ult ptr %d, %scevgep2 |
| %found.conflict14 = and i1 %bound012, %bound113 |
| %conflict.rdx15 = or i1 %conflict.rdx11, %found.conflict14 |
| %bound016 = icmp ult ptr %d, %scevgep4 |
| %bound117 = icmp ult ptr %b, %scevgep3 |
| %found.conflict18 = and i1 %bound016, %bound117 |
| %conflict.rdx19 = or i1 %conflict.rdx15, %found.conflict18 |
| br i1 %conflict.rdx19, label %for.body.ph.lver.orig, label %for.body.ph.ldist1 |
| |
| for.body.ph.lver.orig: ; preds = %for.body.lver.check |
| br label %for.body.lver.orig |
| |
| for.body.lver.orig: ; preds = %for.body.lver.orig, %for.body.ph.lver.orig |
| %indvars.iv.lver.orig = phi i64 [ 0, %for.body.ph.lver.orig ], [ %indvars.iv.next.lver.orig, %for.body.lver.orig ] |
| %arrayidx.lver.orig = getelementptr inbounds i32, ptr %b, i64 %indvars.iv.lver.orig |
| %i2.lver.orig = load i32, ptr %arrayidx.lver.orig, align 4, !tbaa !0 |
| %add4.lver.orig = add nsw i32 %i2.lver.orig, 1 |
| %arrayidx8.lver.orig = getelementptr inbounds i32, ptr %a, i64 %indvars.iv.lver.orig |
| store i32 %add4.lver.orig, ptr %arrayidx8.lver.orig, align 4, !tbaa !0 |
| %i3.lver.orig = getelementptr i32, ptr %c, i64 %indvars.iv.lver.orig |
| %arrayidx17.lver.orig = getelementptr i8, ptr %i3.lver.orig, i64 -4 |
| %i4.lver.orig = load i32, ptr %arrayidx17.lver.orig, align 4, !tbaa !0 |
| %sub18.lver.orig = sub nsw i32 %add4.lver.orig, %i4.lver.orig |
| store i32 %sub18.lver.orig, ptr %i3.lver.orig, align 4, !tbaa !0 |
| %i5.lver.orig = load i32, ptr %arrayidx8.lver.orig, align 4, !tbaa !0 |
| %add27.lver.orig = add nsw i32 %i5.lver.orig, 2 |
| %arrayidx31.lver.orig = getelementptr inbounds i32, ptr %d, i64 %indvars.iv.lver.orig |
| store i32 %add27.lver.orig, ptr %arrayidx31.lver.orig, align 4, !tbaa !0 |
| %indvars.iv.next.lver.orig = add i64 %indvars.iv.lver.orig, 1 |
| %cmp1.not.lver.orig = icmp eq i64 %indvars.iv.next.lver.orig, %len |
| br i1 %cmp1.not.lver.orig, label %end.loopexit.loopexit, label %for.body.lver.orig, !llvm.loop !4 |
| |
| for.body.ph.ldist1: ; preds = %for.body.lver.check |
| br label %for.body.ldist1 |
| |
| for.body.ldist1: ; preds = %for.body.ldist1, %for.body.ph.ldist1 |
| %indvars.iv.ldist1 = phi i64 [ 0, %for.body.ph.ldist1 ], [ %indvars.iv.next.ldist1, %for.body.ldist1 ] |
| %arrayidx.ldist1 = getelementptr inbounds i32, ptr %b, i64 %indvars.iv.ldist1 |
| %i2.ldist1 = load i32, ptr %arrayidx.ldist1, align 4, !tbaa !0, !alias.scope !7 |
| %add4.ldist1 = add nsw i32 %i2.ldist1, 1 |
| %arrayidx8.ldist1 = getelementptr inbounds i32, ptr %a, i64 %indvars.iv.ldist1 |
| store i32 %add4.ldist1, ptr %arrayidx8.ldist1, align 4, !tbaa !0, !alias.scope !10, !noalias !12 |
| %i3.ldist1 = getelementptr i32, ptr %c, i64 %indvars.iv.ldist1 |
| %arrayidx17.ldist1 = getelementptr i8, ptr %i3.ldist1, i64 -4 |
| %i4.ldist1 = load i32, ptr %arrayidx17.ldist1, align 4, !tbaa !0, !alias.scope !15, !noalias !16 |
| %sub18.ldist1 = sub nsw i32 %add4.ldist1, %i4.ldist1 |
| store i32 %sub18.ldist1, ptr %i3.ldist1, align 4, !tbaa !0, !alias.scope !15, !noalias !16 |
| %indvars.iv.next.ldist1 = add i64 %indvars.iv.ldist1, 1 |
| %cmp1.not.ldist1 = icmp eq i64 %indvars.iv.next.ldist1, %len |
| br i1 %cmp1.not.ldist1, label %for.body.ph, label %for.body.ldist1, !llvm.loop !17 |
| |
| for.body.ph: ; preds = %for.body.ldist1 |
| br label %for.body |
| |
| for.body: ; preds = %for.body, %for.body.ph |
| %indvars.iv = phi i64 [ 0, %for.body.ph ], [ %indvars.iv.next, %for.body ] |
| %arrayidx8 = getelementptr inbounds i32, ptr %a, i64 %indvars.iv |
| %i5 = load i32, ptr %arrayidx8, align 4, !tbaa !0, !alias.scope !10, !noalias !12 |
| %add27 = add nsw i32 %i5, 2 |
| %arrayidx31 = getelementptr inbounds i32, ptr %d, i64 %indvars.iv |
| store i32 %add27, ptr %arrayidx31, align 4, !tbaa !0, !alias.scope !16, !noalias !7 |
| %indvars.iv.next = add i64 %indvars.iv, 1 |
| %cmp1.not = icmp eq i64 %indvars.iv.next, %len |
| br i1 %cmp1.not, label %end.loopexit.loopexit20, label %for.body, !llvm.loop !17 |
| |
| end.loopexit.loopexit: ; preds = %for.body.lver.orig |
| br label %end.loopexit |
| |
| end.loopexit.loopexit20: ; preds = %for.body |
| br label %end.loopexit |
| |
| end.loopexit: ; preds = %end.loopexit.loopexit20, %end.loopexit.loopexit |
| br label %end |
| |
| end: ; preds = %end.loopexit, %entry |
| ret void |
| } |
| |
| !0 = !{!1, !1, i64 0} |
| !1 = !{!"int", !2, i64 0} |
| !2 = !{!"omnipotent char", !3, i64 0} |
| !3 = !{!"Simple C++ TBAA"} |
| !4 = distinct !{!4, !5, !6} |
| !5 = !{!"llvm.loop.mustprogress"} |
| !6 = !{!"llvm.loop.isdistributed", i32 1} |
| !7 = !{!8} |
| !8 = distinct !{!8, !9} |
| !9 = distinct !{!9, !"LVerDomain"} |
| !10 = !{!11} |
| !11 = distinct !{!11, !9} |
| !12 = !{!13, !14, !8} |
| !13 = distinct !{!13, !9} |
| !14 = distinct !{!14, !9} |
| !15 = !{!13} |
| !16 = !{!14} |
| !17 = distinct !{!17, !5} |
