85 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -passes=loop-vectorize,instsimplify,simplifycfg -force-vector-interleave=1 -force-vector-width=4 -simplifycfg-require-and-preserve-domtree=1 < %s | FileCheck %s3 4; Note: -passes=instsimplify,simplifycfg -simplifycfg-require-and-preserve-domtree=1 remove the (now dead) original loop, making5; it easy to test that the llvm.loop.unroll.disable hint is still present.6 7define void @scalar_loop_dead_after_vectorization(ptr nocapture %b) {8; CHECK-LABEL: define void @scalar_loop_dead_after_vectorization(9; CHECK-SAME: ptr captures(none) [[B:%.*]]) {10; CHECK-NEXT: [[ENTRY:.*]]:11; CHECK-NEXT: br label %[[VECTOR_BODY:.*]]12; CHECK: [[VECTOR_BODY]]:13; CHECK-NEXT: [[INDEX:%.*]] = phi i64 [ 0, %[[ENTRY]] ], [ [[INDEX_NEXT:%.*]], %[[VECTOR_BODY]] ]14; CHECK-NEXT: [[TMP0:%.*]] = getelementptr inbounds i32, ptr [[B]], i64 [[INDEX]]15; CHECK-NEXT: store <4 x i32> splat (i32 1), ptr [[TMP0]], align 416; CHECK-NEXT: [[INDEX_NEXT]] = add nuw i64 [[INDEX]], 417; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i64 [[INDEX_NEXT]], 1618; CHECK-NEXT: br i1 [[TMP1]], label %[[EXIT:.*]], label %[[VECTOR_BODY]], !llvm.loop [[LOOP0:![0-9]+]]19; CHECK: [[EXIT]]:20; CHECK-NEXT: ret void21;22entry:23 br label %loop24 25loop:26 %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ]27 %arrayidx = getelementptr inbounds i32, ptr %b, i64 %iv28 store i32 1, ptr %arrayidx, align 429 %iv.next = add nuw nsw i64 %iv, 130 %ec = icmp eq i64 %iv.next, 1631 br i1 %ec, label %exit, label %loop, !llvm.loop !032 33exit:34 ret void35}36 37define void @scalar_loop_not_dead_after_vectorization(ptr nocapture %b) {38; CHECK-LABEL: define void @scalar_loop_not_dead_after_vectorization(39; CHECK-SAME: ptr captures(none) [[B:%.*]]) {40; CHECK-NEXT: [[ENTRY:.*]]:41; CHECK-NEXT: br label %[[VECTOR_BODY:.*]]42; CHECK: [[VECTOR_BODY]]:43; CHECK-NEXT: [[INDEX:%.*]] = phi i64 [ 0, %[[ENTRY]] ], [ [[INDEX_NEXT:%.*]], %[[VECTOR_BODY]] ]44; CHECK-NEXT: [[TMP0:%.*]] = getelementptr inbounds i32, ptr [[B]], i64 [[INDEX]]45; CHECK-NEXT: store <4 x i32> splat (i32 1), ptr [[TMP0]], align 446; CHECK-NEXT: [[INDEX_NEXT]] = add nuw i64 [[INDEX]], 447; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i64 [[INDEX_NEXT]], 1648; CHECK-NEXT: br i1 [[TMP1]], label %[[LOOP:.*]], label %[[VECTOR_BODY]], !llvm.loop [[LOOP4:![0-9]+]]49; CHECK: [[LOOP]]:50; CHECK-NEXT: [[IV:%.*]] = phi i64 [ [[IV_NEXT:%.*]], %[[LOOP]] ], [ 16, %[[VECTOR_BODY]] ]51; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, ptr [[B]], i64 [[IV]]52; CHECK-NEXT: store i32 1, ptr [[ARRAYIDX]], align 453; CHECK-NEXT: [[IV_NEXT]] = add nuw nsw i64 [[IV]], 154; CHECK-NEXT: [[EC:%.*]] = icmp eq i64 [[IV_NEXT]], 1755; CHECK-NEXT: br i1 [[EC]], label %[[EXIT:.*]], label %[[LOOP]], !llvm.loop [[LOOP5:![0-9]+]]56; CHECK: [[EXIT]]:57; CHECK-NEXT: ret void58;59entry:60 br label %loop61 62loop:63 %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ]64 %arrayidx = getelementptr inbounds i32, ptr %b, i64 %iv65 store i32 1, ptr %arrayidx, align 466 %iv.next = add nuw nsw i64 %iv, 167 %ec = icmp eq i64 %iv.next, 1768 br i1 %ec, label %exit, label %loop, !llvm.loop !069 70exit:71 ret void72}73 74 75!0 = distinct !{!0, !1}76!1 = !{!"llvm.loop.unroll.disable"}77;.78; CHECK: [[LOOP0]] = distinct !{[[LOOP0]], [[META1:![0-9]+]], [[META2:![0-9]+]], [[META3:![0-9]+]]}79; CHECK: [[META1]] = !{!"llvm.loop.unroll.disable"}80; CHECK: [[META2]] = !{!"llvm.loop.isvectorized", i32 1}81; CHECK: [[META3]] = !{!"llvm.loop.unroll.runtime.disable"}82; CHECK: [[LOOP4]] = distinct !{[[LOOP4]], [[META1]], [[META2]], [[META3]]}83; CHECK: [[LOOP5]] = distinct !{[[LOOP5]], [[META1]], [[META2]]}84;.85