65 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S --passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s3 4define i32 @test(ptr %o, i32 %b.021.i) {5; CHECK-LABEL: define i32 @test(6; CHECK-SAME: ptr [[O:%.*]], i32 [[B_021_I:%.*]]) {7; CHECK-NEXT: [[ENTRY:.*]]:8; CHECK-NEXT: [[O1:%.*]] = alloca [3 x i32], align 49; CHECK-NEXT: br label %[[WHILE_BODY:.*]]10; CHECK: [[WHILE_BODY]]:11; CHECK-NEXT: [[SUB623:%.*]] = phi i32 [ [[SUB6:%.*]], %[[N_EXIT:.*]] ], [ 0, %[[ENTRY]] ]12; CHECK-NEXT: [[ADD21:%.*]] = phi i32 [ [[ADD:%.*]], %[[N_EXIT]] ], [ 0, %[[ENTRY]] ]13; CHECK-NEXT: [[ADD419:%.*]] = phi i32 [ [[ADD4:%.*]], %[[N_EXIT]] ], [ 0, %[[ENTRY]] ]14; CHECK-NEXT: [[ADD18:%.*]] = phi i32 [ [[ADD]], %[[N_EXIT]] ], [ 1, %[[ENTRY]] ]15; CHECK-NEXT: store i32 [[ADD419]], ptr [[O1]], align 416; CHECK-NEXT: store i32 [[ADD18]], ptr [[O]], align 417; CHECK-NEXT: br label %[[FOR_BODY4_I:.*]]18; CHECK: [[FOR_COND1_I:.*]]:19; CHECK-NEXT: ret i32 020; CHECK: [[FOR_BODY4_I]]:21; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr [[O1]], align 422; CHECK-NEXT: [[TOBOOL_NOT_I:%.*]] = icmp eq i32 [[TMP0]], 023; CHECK-NEXT: br i1 [[TOBOOL_NOT_I]], label %[[FOR_COND1_I]], label %[[N_EXIT]]24; CHECK: [[N_EXIT]]:25; CHECK-NEXT: [[SUB:%.*]] = or i32 [[B_021_I]], [[ADD21]]26; CHECK-NEXT: [[ADD]] = or i32 [[SUB]], 127; CHECK-NEXT: [[ADD2:%.*]] = or i32 [[B_021_I]], 128; CHECK-NEXT: [[ADD3:%.*]] = add i32 [[ADD2]], [[SUB623]]29; CHECK-NEXT: [[ADD4]] = or i32 [[ADD3]], 130; CHECK-NEXT: [[MUL:%.*]] = shl i32 [[B_021_I]], 131; CHECK-NEXT: [[SUB6]] = or i32 [[MUL]], 132; CHECK-NEXT: br label %[[WHILE_BODY]]33;34entry:35 %o1 = alloca [3 x i32], align 436 br label %while.body37 38while.body: ; preds = %n.exit, %entry39 %sub623 = phi i32 [ %sub6, %n.exit ], [ 0, %entry ]40 %add21 = phi i32 [ %add, %n.exit ], [ 0, %entry ]41 %add419 = phi i32 [ %add4, %n.exit ], [ 0, %entry ]42 %add18 = phi i32 [ %add, %n.exit ], [ 1, %entry ]43 store i32 %add419, ptr %o1, align 444 store i32 %add18, ptr %o, align 445 br label %for.body4.i46 47for.cond1.i: ; preds = %for.body4.i48 ret i32 049 50for.body4.i: ; preds = %while.body51 %0 = load i32, ptr %o1, align 452 %tobool.not.i = icmp eq i32 %0, 053 br i1 %tobool.not.i, label %for.cond1.i, label %n.exit54 55n.exit: ; preds = %for.body4.i56 %sub = or i32 %b.021.i, %add2157 %add = or i32 %sub, 158 %add2 = or i32 %b.021.i, 159 %add3 = add i32 %add2, %sub62360 %add4 = or i32 %add3, 161 %mul = shl i32 %b.021.i, 162 %sub6 = or i32 %mul, 163 br label %while.body64}65