89 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 -force-vector-interleave=1 -prefer-predicate-over-epilogue=predicate-dont-vectorize -S %s | FileCheck %s3target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128-Fn32"4 5define void @tail_fold_switch(ptr %dst, i32 %0) {6; CHECK-LABEL: define void @tail_fold_switch(7; CHECK-SAME: ptr [[DST:%.*]], i32 [[TMP0:%.*]]) {8; CHECK-NEXT: [[ENTRY:.*:]]9; CHECK-NEXT: br label %[[VECTOR_PH:.*]]10; CHECK: [[VECTOR_PH]]:11; CHECK-NEXT: [[BROADCAST_SPLATINSERT:%.*]] = insertelement <4 x i32> poison, i32 [[TMP0]], i64 012; CHECK-NEXT: [[BROADCAST_SPLAT:%.*]] = shufflevector <4 x i32> [[BROADCAST_SPLATINSERT]], <4 x i32> poison, <4 x i32> zeroinitializer13; CHECK-NEXT: [[TMP2:%.*]] = icmp eq <4 x i32> [[BROADCAST_SPLAT]], splat (i32 1)14; CHECK-NEXT: br label %[[VECTOR_BODY:.*]]15; CHECK: [[VECTOR_BODY]]:16; CHECK-NEXT: [[INDEX:%.*]] = phi i64 [ 0, %[[VECTOR_PH]] ], [ [[INDEX_NEXT:%.*]], %[[PRED_STORE_CONTINUE6:.*]] ]17; CHECK-NEXT: [[VEC_IND:%.*]] = phi <4 x i8> [ <i8 0, i8 1, i8 2, i8 3>, %[[VECTOR_PH]] ], [ [[VEC_IND_NEXT:%.*]], %[[PRED_STORE_CONTINUE6]] ]18; CHECK-NEXT: [[TMP1:%.*]] = icmp ule <4 x i8> [[VEC_IND]], splat (i8 4)19; CHECK-NEXT: [[TMP3:%.*]] = select <4 x i1> [[TMP1]], <4 x i1> [[TMP2]], <4 x i1> zeroinitializer20; CHECK-NEXT: [[TMP4:%.*]] = extractelement <4 x i1> [[TMP3]], i32 021; CHECK-NEXT: br i1 [[TMP4]], label %[[PRED_STORE_IF:.*]], label %[[PRED_STORE_CONTINUE:.*]]22; CHECK: [[PRED_STORE_IF]]:23; CHECK-NEXT: [[TMP5:%.*]] = add i64 [[INDEX]], 024; CHECK-NEXT: [[TMP6:%.*]] = getelementptr inbounds i32, ptr [[DST]], i64 [[TMP5]]25; CHECK-NEXT: store i32 0, ptr [[TMP6]], align 426; CHECK-NEXT: br label %[[PRED_STORE_CONTINUE]]27; CHECK: [[PRED_STORE_CONTINUE]]:28; CHECK-NEXT: [[TMP7:%.*]] = extractelement <4 x i1> [[TMP3]], i32 129; CHECK-NEXT: br i1 [[TMP7]], label %[[PRED_STORE_IF1:.*]], label %[[PRED_STORE_CONTINUE2:.*]]30; CHECK: [[PRED_STORE_IF1]]:31; CHECK-NEXT: [[TMP8:%.*]] = add i64 [[INDEX]], 132; CHECK-NEXT: [[TMP9:%.*]] = getelementptr inbounds i32, ptr [[DST]], i64 [[TMP8]]33; CHECK-NEXT: store i32 0, ptr [[TMP9]], align 434; CHECK-NEXT: br label %[[PRED_STORE_CONTINUE2]]35; CHECK: [[PRED_STORE_CONTINUE2]]:36; CHECK-NEXT: [[TMP10:%.*]] = extractelement <4 x i1> [[TMP3]], i32 237; CHECK-NEXT: br i1 [[TMP10]], label %[[PRED_STORE_IF3:.*]], label %[[PRED_STORE_CONTINUE4:.*]]38; CHECK: [[PRED_STORE_IF3]]:39; CHECK-NEXT: [[TMP11:%.*]] = add i64 [[INDEX]], 240; CHECK-NEXT: [[TMP12:%.*]] = getelementptr inbounds i32, ptr [[DST]], i64 [[TMP11]]41; CHECK-NEXT: store i32 0, ptr [[TMP12]], align 442; CHECK-NEXT: br label %[[PRED_STORE_CONTINUE4]]43; CHECK: [[PRED_STORE_CONTINUE4]]:44; CHECK-NEXT: [[TMP13:%.*]] = extractelement <4 x i1> [[TMP3]], i32 345; CHECK-NEXT: br i1 [[TMP13]], label %[[PRED_STORE_IF5:.*]], label %[[PRED_STORE_CONTINUE6]]46; CHECK: [[PRED_STORE_IF5]]:47; CHECK-NEXT: [[TMP14:%.*]] = add i64 [[INDEX]], 348; CHECK-NEXT: [[TMP15:%.*]] = getelementptr inbounds i32, ptr [[DST]], i64 [[TMP14]]49; CHECK-NEXT: store i32 0, ptr [[TMP15]], align 450; CHECK-NEXT: br label %[[PRED_STORE_CONTINUE6]]51; CHECK: [[PRED_STORE_CONTINUE6]]:52; CHECK-NEXT: [[INDEX_NEXT]] = add nuw i64 [[INDEX]], 453; CHECK-NEXT: [[VEC_IND_NEXT]] = add <4 x i8> [[VEC_IND]], splat (i8 4)54; CHECK-NEXT: [[TMP16:%.*]] = icmp eq i64 [[INDEX_NEXT]], 855; CHECK-NEXT: br i1 [[TMP16]], label %[[MIDDLE_BLOCK:.*]], label %[[VECTOR_BODY]], !llvm.loop [[LOOP0:![0-9]+]]56; CHECK: [[MIDDLE_BLOCK]]:57; CHECK-NEXT: br label %[[EXIT:.*]]58; CHECK: [[EXIT]]:59; CHECK-NEXT: ret void60;61entry:62 br label %loop.header63 64loop.header:65 %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop.latch ]66 switch i32 %0, label %loop.latch [67 i32 0, label %loop.latch68 i32 1, label %if.then69 ]70 71if.then:72 %gep = getelementptr inbounds i32, ptr %dst, i64 %iv73 store i32 0, ptr %gep, align 474 br label %loop.latch75 76loop.latch:77 %iv.next = add i64 %iv, 178 %ec = icmp eq i64 %iv, 479 br i1 %ec, label %exit, label %loop.header80 81exit:82 ret void83}84;.85; CHECK: [[LOOP0]] = distinct !{[[LOOP0]], [[META1:![0-9]+]], [[META2:![0-9]+]]}86; CHECK: [[META1]] = !{!"llvm.loop.isvectorized", i32 1}87; CHECK: [[META2]] = !{!"llvm.loop.unroll.runtime.disable"}88;.89