171 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt -passes=slp-vectorizer -S -slp-threshold=-100 -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s3 4define i64 @test(ptr %arg1, i64 %alloca.promoted344, i8 %load.311.i, i1 %load1.i) {5; CHECK-LABEL: define i64 @test(6; CHECK-SAME: ptr [[ARG1:%.*]], i64 [[ALLOCA_PROMOTED344:%.*]], i8 [[LOAD_311_I:%.*]], i1 [[LOAD1_I:%.*]]) {7; CHECK-NEXT: [[BB:.*]]:8; CHECK-NEXT: [[TMP0:%.*]] = insertelement <4 x i8> <i8 0, i8 0, i8 0, i8 poison>, i8 [[LOAD_311_I]], i32 39; CHECK-NEXT: [[TMP1:%.*]] = insertelement <4 x i8> <i8 poison, i8 poison, i8 0, i8 0>, i8 [[LOAD_311_I]], i32 010; CHECK-NEXT: [[TMP2:%.*]] = insertelement <2 x i64> poison, i64 [[ALLOCA_PROMOTED344]], i32 011; CHECK-NEXT: br label %[[BB2:.*]]12; CHECK: [[BB2]]:13; CHECK-NEXT: [[TMP3:%.*]] = phi <2 x i64> [ zeroinitializer, %[[BB]] ], [ [[TMP28:%.*]], %[[BB12_8_I:.*]] ]14; CHECK-NEXT: [[TMP4:%.*]] = phi <8 x i8> [ zeroinitializer, %[[BB]] ], [ [[TMP29:%.*]], %[[BB12_8_I]] ]15; CHECK-NEXT: br i1 [[LOAD1_I]], label %[[SPAM_EXIT:.*]], label %[[BB4_LR_PH_I:.*]]16; CHECK: [[BB4_LR_PH_I]]:17; CHECK-NEXT: br i1 true, label %[[BB3_I_I_PEEL:.*]], label %[[EGGS_EXIT_I_PEEL:.*]]18; CHECK: [[BB3_I_I_PEEL]]:19; CHECK-NEXT: [[TMP5:%.*]] = and <2 x i64> [[TMP3]], splat (i64 1)20; CHECK-NEXT: [[LOAD4_I_I_PEEL:%.*]] = load i64, ptr [[ARG1]], align 821; CHECK-NEXT: [[SHL_I_I_PEEL:%.*]] = shl i64 [[LOAD4_I_I_PEEL]], 122; CHECK-NEXT: [[TMP6:%.*]] = shufflevector <2 x i64> [[TMP3]], <2 x i64> poison, <2 x i32> <i32 poison, i32 0>23; CHECK-NEXT: [[TMP7:%.*]] = insertelement <2 x i64> [[TMP6]], i64 [[SHL_I_I_PEEL]], i32 024; CHECK-NEXT: [[TMP8:%.*]] = or <2 x i64> [[TMP5]], [[TMP7]]25; CHECK-NEXT: [[TMP9:%.*]] = xor <2 x i64> [[TMP5]], [[TMP7]]26; CHECK-NEXT: [[TMP10:%.*]] = shufflevector <2 x i64> [[TMP8]], <2 x i64> [[TMP9]], <2 x i32> <i32 0, i32 3>27; CHECK-NEXT: br label %[[EGGS_EXIT_I_PEEL]]28; CHECK: [[EGGS_EXIT_I_PEEL]]:29; CHECK-NEXT: [[TMP11:%.*]] = phi <2 x i64> [ [[TMP10]], %[[BB3_I_I_PEEL]] ], [ zeroinitializer, %[[BB4_LR_PH_I]] ]30; CHECK-NEXT: [[TMP12:%.*]] = shufflevector <2 x i64> [[TMP11]], <2 x i64> poison, <4 x i32> <i32 0, i32 1, i32 0, i32 0>31; CHECK-NEXT: [[TMP13:%.*]] = trunc <4 x i64> [[TMP12]] to <4 x i8>32; CHECK-NEXT: [[TMP14:%.*]] = extractelement <4 x i64> [[TMP12]], i32 133; CHECK-NEXT: br label %[[SPAM_EXIT]]34; CHECK: [[SPAM_EXIT]]:35; CHECK-NEXT: [[GETELEMENTPTR_I_I_PROMOTED346:%.*]] = phi i64 [ [[TMP14]], %[[EGGS_EXIT_I_PEEL]] ], [ 0, %[[BB2]] ]36; CHECK-NEXT: [[LOAD_8_I:%.*]] = phi i8 [ 0, %[[EGGS_EXIT_I_PEEL]] ], [ 1, %[[BB2]] ]37; CHECK-NEXT: [[TMP15:%.*]] = phi <4 x i8> [ [[TMP13]], %[[EGGS_EXIT_I_PEEL]] ], [ zeroinitializer, %[[BB2]] ]38; CHECK-NEXT: [[TMP16:%.*]] = shufflevector <4 x i8> [[TMP15]], <4 x i8> poison, <4 x i32> <i32 2, i32 2, i32 2, i32 2>39; CHECK-NEXT: br i1 [[LOAD1_I]], label %[[BB12_8_I]], label %[[BB12_1_THREAD_I:.*]]40; CHECK: [[BB12_1_THREAD_I]]:41; CHECK-NEXT: [[TMP17:%.*]] = extractelement <8 x i8> [[TMP4]], i32 042; CHECK-NEXT: [[ICMP5_3_I:%.*]] = icmp eq i8 [[TMP17]], 043; CHECK-NEXT: br i1 [[ICMP5_3_I]], label %[[BB12_3_I:.*]], label %[[BB8_3_I:.*]]44; CHECK: [[BB8_3_I]]:45; CHECK-NEXT: br label %[[BB12_3_I]]46; CHECK: [[BB12_3_I]]:47; CHECK-NEXT: [[TMP18:%.*]] = extractelement <8 x i8> [[TMP4]], i32 148; CHECK-NEXT: [[ICMP5_4_I:%.*]] = icmp eq i8 [[TMP18]], 049; CHECK-NEXT: br i1 [[ICMP5_4_I]], label %[[BB12_4_I:.*]], label %[[BB8_4_I:.*]]50; CHECK: [[BB8_4_I]]:51; CHECK-NEXT: br label %[[BB12_4_I]]52; CHECK: [[BB12_4_I]]:53; CHECK-NEXT: [[TMP19:%.*]] = extractelement <8 x i8> [[TMP4]], i32 254; CHECK-NEXT: [[ICMP5_5_I:%.*]] = icmp eq i8 [[TMP19]], 055; CHECK-NEXT: br i1 [[ICMP5_5_I]], label %[[BB12_5_I:.*]], label %[[BB8_5_I:.*]]56; CHECK: [[BB8_5_I]]:57; CHECK-NEXT: br label %[[BB12_5_I]]58; CHECK: [[BB12_5_I]]:59; CHECK-NEXT: [[TMP20:%.*]] = extractelement <8 x i8> [[TMP4]], i32 360; CHECK-NEXT: [[ICMP5_7_I:%.*]] = icmp eq i8 [[TMP20]], 061; CHECK-NEXT: br i1 [[ICMP5_7_I]], label %[[BB12_7_I:.*]], label %[[BB8_7_I:.*]]62; CHECK: [[BB8_7_I]]:63; CHECK-NEXT: br label %[[BB12_7_I]]64; CHECK: [[BB12_7_I]]:65; CHECK-NEXT: [[TMP21:%.*]] = extractelement <8 x i8> [[TMP4]], i32 466; CHECK-NEXT: [[ICMP5_8_I:%.*]] = icmp eq i8 [[TMP21]], 067; CHECK-NEXT: br i1 [[ICMP5_8_I]], label %[[BB12_8_I]], label %[[BB8_8_I:.*]]68; CHECK: [[BB8_8_I]]:69; CHECK-NEXT: [[TMP22:%.*]] = insertelement <4 x i8> [[TMP1]], i8 [[LOAD_8_I]], i32 170; CHECK-NEXT: [[TMP23:%.*]] = insertelement <4 x i8> poison, i8 [[LOAD_8_I]], i32 071; CHECK-NEXT: [[TMP24:%.*]] = shufflevector <8 x i8> [[TMP4]], <8 x i8> poison, <4 x i32> <i32 poison, i32 5, i32 6, i32 7>72; CHECK-NEXT: [[TMP25:%.*]] = shufflevector <4 x i8> [[TMP23]], <4 x i8> [[TMP24]], <4 x i32> <i32 0, i32 5, i32 6, i32 7>73; CHECK-NEXT: br label %[[BB12_8_I]]74; CHECK: [[BB12_8_I]]:75; CHECK-NEXT: [[TMP26:%.*]] = phi <4 x i8> [ [[TMP0]], %[[BB12_7_I]] ], [ [[TMP22]], %[[BB8_8_I]] ], [ [[TMP15]], %[[SPAM_EXIT]] ]76; CHECK-NEXT: [[TMP27:%.*]] = phi <4 x i8> [ zeroinitializer, %[[BB12_7_I]] ], [ [[TMP25]], %[[BB8_8_I]] ], [ [[TMP16]], %[[SPAM_EXIT]] ]77; CHECK-NEXT: [[TMP28]] = insertelement <2 x i64> [[TMP2]], i64 [[GETELEMENTPTR_I_I_PROMOTED346]], i32 178; CHECK-NEXT: [[TMP29]] = shufflevector <4 x i8> [[TMP26]], <4 x i8> [[TMP27]], <8 x i32> <i32 2, i32 7, i32 5, i32 0, i32 1, i32 3, i32 4, i32 6>79; CHECK-NEXT: br label %[[BB2]]80;81bb:82 br label %bb283 84bb2:85 %getelementptr.i.i.promoted = phi i64 [ 0, %bb ], [ %getelementptr.i.i.promoted346, %bb12.8.i ]86 %alloca.promoted = phi i64 [ 0, %bb ], [ %alloca.promoted344, %bb12.8.i ]87 %load.8.i231 = phi i8 [ 0, %bb ], [ %load.8.i239, %bb12.8.i ]88 %load.7.i217 = phi i8 [ 0, %bb ], [ %load.7.i225, %bb12.8.i ]89 %load.626.i200 = phi i8 [ 0, %bb ], [ %load.626.i208, %bb12.8.i ]90 %load.6.i183 = phi i8 [ 0, %bb ], [ %load.6.i191, %bb12.8.i ]91 %load.5.i167 = phi i8 [ 0, %bb ], [ %load.5.i175, %bb12.8.i ]92 %load.418.i148 = phi i8 [ 0, %bb ], [ %load.418.i156, %bb12.8.i ]93 %load.4.i129 = phi i8 [ 0, %bb ], [ %load.4.i137, %bb12.8.i ]94 %load.3.i111 = phi i8 [ 0, %bb ], [ %load.3.i119, %bb12.8.i ]95 br i1 %load1.i, label %spam.exit, label %bb4.lr.ph.i96 97bb4.lr.ph.i:98 br i1 true, label %bb3.i.i.peel, label %eggs.exit.i.peel99 100bb3.i.i.peel:101 %and.i.i.peel = and i64 %alloca.promoted, 1102 %load4.i.i.peel = load i64, ptr %arg1, align 8103 %shl.i.i.peel = shl i64 %load4.i.i.peel, 1104 %or.i.i.peel = or i64 %shl.i.i.peel, %and.i.i.peel105 %and6.i.i.peel = and i64 %getelementptr.i.i.promoted, 1106 %xor.i.i.peel = xor i64 %and6.i.i.peel, %alloca.promoted107 br label %eggs.exit.i.peel108 109eggs.exit.i.peel:110 %load5.i.i93.peel = phi i64 [ %xor.i.i.peel, %bb3.i.i.peel ], [ 0, %bb4.lr.ph.i ]111 %or.i.i91.peel = phi i64 [ %or.i.i.peel, %bb3.i.i.peel ], [ 0, %bb4.lr.ph.i ]112 %0 = trunc i64 %or.i.i91.peel to i8113 %1 = trunc nuw i64 %or.i.i91.peel to i8114 %2 = trunc i64 %load5.i.i93.peel to i8115 br label %spam.exit116 117spam.exit:118 %getelementptr.i.i.promoted346 = phi i64 [ %load5.i.i93.peel, %eggs.exit.i.peel ], [ 0, %bb2 ]119 %load.834.i = phi i8 [ %2, %eggs.exit.i.peel ], [ 0, %bb2 ]120 %load.7.i25 = phi i8 [ %1, %eggs.exit.i.peel ], [ 0, %bb2 ]121 %load.8.i = phi i8 [ 0, %eggs.exit.i.peel ], [ 1, %bb2 ]122 %load.6.i18 = phi i8 [ %0, %eggs.exit.i.peel ], [ 0, %bb2 ]123 br i1 %load1.i, label %bb12.8.i, label %bb12.1.thread.i124 125bb12.1.thread.i:126 %icmp5.3.i = icmp eq i8 %load.3.i111, 0127 br i1 %icmp5.3.i, label %bb12.3.i, label %bb8.3.i128 129bb8.3.i:130 br label %bb12.3.i131 132bb12.3.i:133 %icmp5.4.i = icmp eq i8 %load.4.i129, 0134 br i1 %icmp5.4.i, label %bb12.4.i, label %bb8.4.i135 136bb8.4.i:137 br label %bb12.4.i138 139bb12.4.i:140 %icmp5.5.i = icmp eq i8 %load.5.i167, 0141 br i1 %icmp5.5.i, label %bb12.5.i, label %bb8.5.i142 143bb8.5.i:144 br label %bb12.5.i145 146bb12.5.i:147 %icmp5.7.i = icmp eq i8 %load.7.i217, 0148 br i1 %icmp5.7.i, label %bb12.7.i, label %bb8.7.i149 150bb8.7.i:151 br label %bb12.7.i152 153bb12.7.i:154 %icmp5.8.i = icmp eq i8 %load.8.i231, 0155 br i1 %icmp5.8.i, label %bb12.8.i, label %bb8.8.i156 157bb8.8.i:158 br label %bb12.8.i159 160bb12.8.i:161 %load.8.i239 = phi i8 [ 0, %bb12.7.i ], [ %load.8.i, %bb8.8.i ], [ %load.834.i, %spam.exit ]162 %load.7.i225 = phi i8 [ 0, %bb12.7.i ], [ %load.311.i, %bb8.8.i ], [ %load.7.i25, %spam.exit ]163 %load.626.i208 = phi i8 [ 0, %bb12.7.i ], [ %load.8.i, %bb8.8.i ], [ %load.6.i18, %spam.exit ]164 %load.6.i191 = phi i8 [ %load.311.i, %bb12.7.i ], [ 0, %bb8.8.i ], [ %load.6.i18, %spam.exit ]165 %load.5.i175 = phi i8 [ 0, %bb12.7.i ], [ %load.6.i183, %bb8.8.i ], [ %load.6.i18, %spam.exit ]166 %load.418.i156 = phi i8 [ 0, %bb12.7.i ], [ %load.626.i200, %bb8.8.i ], [ %load.6.i18, %spam.exit ]167 %load.4.i137 = phi i8 [ 0, %bb12.7.i ], [ %load.418.i148, %bb8.8.i ], [ %load.6.i18, %spam.exit ]168 %load.3.i119 = phi i8 [ 0, %bb12.7.i ], [ 0, %bb8.8.i ], [ %load.6.i18, %spam.exit ]169 br label %bb2170}171