103 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -p loop-vectorize -force-vector-width=4 -S %s | FileCheck %s3 4target datalayout = "e-m:e-p:64:64-i64:64-i128:128-n32:64-S128"5 6define i64 @exit_value_scalar_live_in(ptr %dst, i64 %in) {7; CHECK-LABEL: define i64 @exit_value_scalar_live_in(8; CHECK-SAME: ptr [[DST:%.*]], i64 [[IN:%.*]]) {9; CHECK-NEXT: [[ENTRY:.*:]]10; CHECK-NEXT: br label %[[VECTOR_PH:.*]]11; CHECK: [[VECTOR_PH]]:12; CHECK-NEXT: br label %[[VECTOR_BODY:.*]]13; CHECK: [[VECTOR_BODY]]:14; CHECK-NEXT: [[INDEX:%.*]] = phi i64 [ 0, %[[VECTOR_PH]] ], [ [[INDEX_NEXT:%.*]], %[[VECTOR_BODY]] ]15; CHECK-NEXT: [[TMP1:%.*]] = getelementptr i16, ptr [[DST]], i64 [[INDEX]]16; CHECK-NEXT: store <4 x i16> zeroinitializer, ptr [[TMP1]], align 217; CHECK-NEXT: [[INDEX_NEXT]] = add nuw i64 [[INDEX]], 418; CHECK-NEXT: [[TMP3:%.*]] = icmp eq i64 [[INDEX_NEXT]], 100019; CHECK-NEXT: br i1 [[TMP3]], label %[[MIDDLE_BLOCK:.*]], label %[[VECTOR_BODY]], !llvm.loop [[LOOP0:![0-9]+]]20; CHECK: [[MIDDLE_BLOCK]]:21; CHECK-NEXT: br label %[[SCALAR_PH:.*]]22; CHECK: [[SCALAR_PH]]:23; CHECK-NEXT: br label %[[LOOP:.*]]24; CHECK: [[LOOP]]:25; CHECK-NEXT: [[IV:%.*]] = phi i64 [ 1000, %[[SCALAR_PH]] ], [ [[IV_NEXT_1:%.*]], %[[LOOP]] ]26; CHECK-NEXT: [[GEP:%.*]] = getelementptr i16, ptr [[DST]], i64 [[IV]]27; CHECK-NEXT: store i16 0, ptr [[GEP]], align 228; CHECK-NEXT: [[IV_NEXT_1]] = add i64 [[IV]], 129; CHECK-NEXT: [[EC:%.*]] = icmp ult i64 [[IV]], 100030; CHECK-NEXT: br i1 [[EC]], label %[[LOOP]], label %[[EXIT:.*]], !llvm.loop [[LOOP3:![0-9]+]]31; CHECK: [[EXIT]]:32; CHECK-NEXT: [[RES:%.*]] = phi i64 [ [[IN]], %[[LOOP]] ]33; CHECK-NEXT: ret i64 [[RES]]34;35entry:36 br label %loop37 38loop:39 %iv = phi i64 [ 0, %entry ], [ %iv.next.1, %loop ]40 %gep = getelementptr i16, ptr %dst, i64 %iv41 store i16 0, ptr %gep, align 242 %iv.next.1 = add i64 %iv, 143 %ec = icmp ult i64 %iv, 100044 br i1 %ec, label %loop, label %exit45 46exit:47 %res = phi i64 [ %in, %loop ]48 ret i64 %res49}50 51define <2 x i64> @exit_value_vector_live_in(ptr %dst) {52; CHECK-LABEL: define <2 x i64> @exit_value_vector_live_in(53; CHECK-SAME: ptr [[DST:%.*]]) {54; CHECK-NEXT: [[ENTRY:.*:]]55; CHECK-NEXT: br label %[[VECTOR_PH:.*]]56; CHECK: [[VECTOR_PH]]:57; CHECK-NEXT: br label %[[VECTOR_BODY:.*]]58; CHECK: [[VECTOR_BODY]]:59; CHECK-NEXT: [[INDEX:%.*]] = phi i64 [ 0, %[[VECTOR_PH]] ], [ [[INDEX_NEXT:%.*]], %[[VECTOR_BODY]] ]60; CHECK-NEXT: [[TMP1:%.*]] = getelementptr i16, ptr [[DST]], i64 [[INDEX]]61; CHECK-NEXT: store <4 x i16> zeroinitializer, ptr [[TMP1]], align 262; CHECK-NEXT: [[INDEX_NEXT]] = add nuw i64 [[INDEX]], 463; CHECK-NEXT: [[TMP3:%.*]] = icmp eq i64 [[INDEX_NEXT]], 100064; CHECK-NEXT: br i1 [[TMP3]], label %[[MIDDLE_BLOCK:.*]], label %[[VECTOR_BODY]], !llvm.loop [[LOOP4:![0-9]+]]65; CHECK: [[MIDDLE_BLOCK]]:66; CHECK-NEXT: br label %[[SCALAR_PH:.*]]67; CHECK: [[SCALAR_PH]]:68; CHECK-NEXT: br label %[[LOOP:.*]]69; CHECK: [[LOOP]]:70; CHECK-NEXT: [[IV:%.*]] = phi i64 [ 1000, %[[SCALAR_PH]] ], [ [[IV_NEXT_1:%.*]], %[[LOOP]] ]71; CHECK-NEXT: [[GEP:%.*]] = getelementptr i16, ptr [[DST]], i64 [[IV]]72; CHECK-NEXT: store i16 0, ptr [[GEP]], align 273; CHECK-NEXT: [[IV_NEXT_1]] = add i64 [[IV]], 174; CHECK-NEXT: [[EC:%.*]] = icmp ult i64 [[IV]], 100075; CHECK-NEXT: br i1 [[EC]], label %[[LOOP]], label %[[EXIT:.*]], !llvm.loop [[LOOP5:![0-9]+]]76; CHECK: [[EXIT]]:77; CHECK-NEXT: [[RES:%.*]] = phi <2 x i64> [ zeroinitializer, %[[LOOP]] ]78; CHECK-NEXT: ret <2 x i64> [[RES]]79;80entry:81 br label %loop82 83loop:84 %iv = phi i64 [ 0, %entry ], [ %iv.next.1, %loop ]85 %gep = getelementptr i16, ptr %dst, i64 %iv86 store i16 0, ptr %gep, align 287 %iv.next.1 = add i64 %iv, 188 %ec = icmp ult i64 %iv, 100089 br i1 %ec, label %loop, label %exit90 91exit:92 %res = phi <2 x i64> [ zeroinitializer, %loop ]93 ret <2 x i64> %res94}95;.96; CHECK: [[LOOP0]] = distinct !{[[LOOP0]], [[META1:![0-9]+]], [[META2:![0-9]+]]}97; CHECK: [[META1]] = !{!"llvm.loop.isvectorized", i32 1}98; CHECK: [[META2]] = !{!"llvm.loop.unroll.runtime.disable"}99; CHECK: [[LOOP3]] = distinct !{[[LOOP3]], [[META2]], [[META1]]}100; CHECK: [[LOOP4]] = distinct !{[[LOOP4]], [[META1]], [[META2]]}101; CHECK: [[LOOP5]] = distinct !{[[LOOP5]], [[META2]], [[META1]]}102;.103