55 lines · plain
1; RUN: opt < %s -passes=loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -S | FileCheck %s2; We vectorize the inner loop, so we have to put it in LCSSA form.3; However, there's no reason to touch the outer loop.4 5; CHECK-LABEL: @foo6; CHECK-LABEL: for.end.inner.loopexit:7; CHECK: %[[LCSSAPHI:.*]] = phi i64 [ %indvars.iv, %for.body.inner ], [ %{{.*}}, %middle.block ]8; CHECK: store i64 %[[LCSSAPHI]], ptr %O1, align 49; CHECK-LABEL: for.end.outer.loopexit10; CHECK: store i64 %indvars.outer, ptr %O2, align 411 12 13define void @foo(ptr nocapture %A, ptr nocapture %B, i64 %n, i64 %m, ptr %O1, ptr %O2) {14entry:15 %cmp = icmp sgt i64 %n, 016 br i1 %cmp, label %for.body.outer.preheader, label %for.end.outer17 18for.body.outer.preheader: ; preds = %entry19 br label %for.body.outer20 21for.body.outer: ; preds = %for.body.outer.preheader, %for.end.inner22 %indvars.outer = phi i64 [ %indvars.outer.next, %for.end.inner ], [ 0, %for.body.outer.preheader ]23 %cmp2 = icmp sgt i64 %m, 024 br i1 %cmp2, label %for.body.inner.preheader, label %for.end.inner25 26for.body.inner.preheader: ; preds = %for.body.outer27 br label %for.body.inner28 29for.body.inner: ; preds = %for.body.inner.preheader, %for.body.inner30 %indvars.iv = phi i64 [ %indvars.iv.next, %for.body.inner ], [ 0, %for.body.inner.preheader ]31 %arrayidx = getelementptr inbounds i32, ptr %A, i64 %indvars.iv32 %v = load i32, ptr %arrayidx, align 433 %arrayidx2 = getelementptr inbounds i32, ptr %B, i64 %indvars.iv34 store i32 %v, ptr %arrayidx2, align 435 %indvars.iv.next = add i64 %indvars.iv, 136 %exitcond = icmp eq i64 %indvars.iv, %n37 br i1 %exitcond, label %for.end.inner.loopexit, label %for.body.inner38 39for.end.inner.loopexit: ; preds = %for.body.inner40 store i64 %indvars.iv, ptr %O1, align 441 br label %for.end.inner42 43for.end.inner: ; preds = %for.end.inner.loopexit, %for.body.outer44 %indvars.outer.next = add i64 %indvars.outer, 145 %exitcond.outer = icmp eq i64 %indvars.outer, %m46 br i1 %exitcond.outer, label %for.end.outer.loopexit, label %for.body.outer47 48for.end.outer.loopexit: ; preds = %for.end.inner49 store i64 %indvars.outer, ptr %O2, align 450 br label %for.end.outer51 52for.end.outer: ; preds = %for.end.outer.loopexit, %entry53 ret void54}55