96 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=slp-vectorizer -S -o - -mtriple=x86_64-unknown-linux -mcpu=haswell -slp-threshold=-3 < %s | FileCheck %s3@e = dso_local local_unnamed_addr global i32 0, align 44@f = dso_local local_unnamed_addr global i32 0, align 45 6; Function Attrs: nofree norecurse nounwind uwtable7define dso_local i32 @g() local_unnamed_addr {8; CHECK-LABEL: @g(9; CHECK-NEXT: entry:10; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @e, align 411; CHECK-NEXT: [[TOBOOL_NOT19:%.*]] = icmp eq i32 [[TMP0]], 012; CHECK-NEXT: br i1 [[TOBOOL_NOT19]], label [[WHILE_END:%.*]], label [[WHILE_BODY:%.*]]13; CHECK: while.body:14; CHECK-NEXT: [[A_020:%.*]] = phi ptr [ [[A_020_BE:%.*]], [[WHILE_BODY_BACKEDGE:%.*]] ], [ undef, [[ENTRY:%.*]] ]15; CHECK-NEXT: [[TMP1:%.*]] = phi <2 x ptr> [ [[TMP14:%.*]], [[WHILE_BODY_BACKEDGE]] ], [ undef, [[ENTRY]] ]16; CHECK-NEXT: [[TMP2:%.*]] = extractelement <2 x ptr> [[TMP1]], i32 017; CHECK-NEXT: [[INCDEC_PTR:%.*]] = getelementptr inbounds i32, ptr [[TMP2]], i64 118; CHECK-NEXT: [[TMP3:%.*]] = ptrtoint ptr [[TMP2]] to i6419; CHECK-NEXT: [[TMP4:%.*]] = trunc i64 [[TMP3]] to i3220; CHECK-NEXT: [[INCDEC_PTR1:%.*]] = getelementptr inbounds i32, ptr [[A_020]], i64 121; CHECK-NEXT: [[TMP5:%.*]] = getelementptr i32, <2 x ptr> [[TMP1]], <2 x i64> splat (i64 1)22; CHECK-NEXT: switch i32 [[TMP4]], label [[WHILE_BODY_BACKEDGE]] [23; CHECK-NEXT: i32 2, label [[SW_BB:%.*]]24; CHECK-NEXT: i32 4, label [[SW_BB6:%.*]]25; CHECK-NEXT: ]26; CHECK: sw.bb:27; CHECK-NEXT: [[TMP6:%.*]] = extractelement <2 x ptr> [[TMP5]], i32 128; CHECK-NEXT: [[TMP7:%.*]] = ptrtoint ptr [[TMP6]] to i6429; CHECK-NEXT: [[TMP8:%.*]] = trunc i64 [[TMP7]] to i3230; CHECK-NEXT: [[INCDEC_PTR4:%.*]] = getelementptr inbounds i32, ptr [[A_020]], i64 231; CHECK-NEXT: store i32 [[TMP8]], ptr [[INCDEC_PTR1]], align 432; CHECK-NEXT: [[TMP9:%.*]] = getelementptr i32, <2 x ptr> [[TMP1]], <2 x i64> splat (i64 2)33; CHECK-NEXT: br label [[WHILE_BODY_BACKEDGE]]34; CHECK: sw.bb6:35; CHECK-NEXT: [[INCDEC_PTR7:%.*]] = getelementptr inbounds i32, ptr [[A_020]], i64 236; CHECK-NEXT: [[TMP10:%.*]] = ptrtoint ptr [[INCDEC_PTR]] to i6437; CHECK-NEXT: [[TMP11:%.*]] = trunc i64 [[TMP10]] to i3238; CHECK-NEXT: [[TMP12:%.*]] = getelementptr i32, <2 x ptr> [[TMP1]], <2 x i64> splat (i64 2)39; CHECK-NEXT: [[TMP13:%.*]] = extractelement <2 x ptr> [[TMP5]], i32 140; CHECK-NEXT: store i32 [[TMP11]], ptr [[TMP13]], align 441; CHECK-NEXT: br label [[WHILE_BODY_BACKEDGE]]42; CHECK: while.body.backedge:43; CHECK-NEXT: [[A_020_BE]] = phi ptr [ [[INCDEC_PTR1]], [[WHILE_BODY]] ], [ [[INCDEC_PTR7]], [[SW_BB6]] ], [ [[INCDEC_PTR4]], [[SW_BB]] ]44; CHECK-NEXT: [[TMP14]] = phi <2 x ptr> [ [[TMP5]], [[WHILE_BODY]] ], [ [[TMP12]], [[SW_BB6]] ], [ [[TMP9]], [[SW_BB]] ]45; CHECK-NEXT: br label [[WHILE_BODY]]46; CHECK: while.end:47; CHECK-NEXT: ret i32 undef48;49entry:50 %0 = load i32, ptr @e, align 451 %tobool.not19 = icmp eq i32 %0, 052 br i1 %tobool.not19, label %while.end, label %while.body53 54while.body: ; preds = %entry, %while.body.backedge55 %c.022 = phi ptr [ %c.022.be, %while.body.backedge ], [ undef, %entry ]56 %b.021 = phi ptr [ %b.021.be, %while.body.backedge ], [ undef, %entry ]57 %a.020 = phi ptr [ %a.020.be, %while.body.backedge ], [ undef, %entry ]58 %incdec.ptr = getelementptr inbounds i32, ptr %c.022, i64 159 %1 = ptrtoint ptr %c.022 to i6460 %2 = trunc i64 %1 to i3261 %incdec.ptr1 = getelementptr inbounds i32, ptr %a.020, i64 162 %incdec.ptr2 = getelementptr inbounds i32, ptr %b.021, i64 163 switch i32 %2, label %while.body.backedge [64 i32 2, label %sw.bb65 i32 4, label %sw.bb666 ]67 68sw.bb: ; preds = %while.body69 %incdec.ptr3 = getelementptr inbounds i32, ptr %b.021, i64 270 %3 = ptrtoint ptr %incdec.ptr2 to i6471 %4 = trunc i64 %3 to i3272 %incdec.ptr4 = getelementptr inbounds i32, ptr %a.020, i64 273 store i32 %4, ptr %incdec.ptr1, align 474 %incdec.ptr5 = getelementptr inbounds i32, ptr %c.022, i64 275 br label %while.body.backedge76 77sw.bb6: ; preds = %while.body78 %incdec.ptr7 = getelementptr inbounds i32, ptr %a.020, i64 279 %incdec.ptr8 = getelementptr inbounds i32, ptr %c.022, i64 280 %5 = ptrtoint ptr %incdec.ptr to i6481 %6 = trunc i64 %5 to i3282 %incdec.ptr9 = getelementptr inbounds i32, ptr %b.021, i64 283 store i32 %6, ptr %incdec.ptr2, align 484 br label %while.body.backedge85 86while.body.backedge: ; preds = %sw.bb6, %while.body, %sw.bb87 %c.022.be = phi ptr [ %incdec.ptr, %while.body ], [ %incdec.ptr8, %sw.bb6 ], [ %incdec.ptr5, %sw.bb ]88 %b.021.be = phi ptr [ %incdec.ptr2, %while.body ], [ %incdec.ptr9, %sw.bb6 ], [ %incdec.ptr3, %sw.bb ]89 %a.020.be = phi ptr [ %incdec.ptr1, %while.body ], [ %incdec.ptr7, %sw.bb6 ], [ %incdec.ptr4, %sw.bb ]90 br label %while.body91 92while.end: ; preds = %entry93 ret i32 undef94}95 96