66 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu -S -slp-threshold=-14 < %s | FileCheck %s3 4define void @test(i32 %0, ptr %p) {5; CHECK-LABEL: define void @test(6; CHECK-SAME: i32 [[TMP0:%.*]], ptr [[P:%.*]]) {7; CHECK-NEXT: entry:8; CHECK-NEXT: [[TMP1:%.*]] = insertelement <4 x i32> <i32 0, i32 0, i32 0, i32 poison>, i32 [[TMP0]], i32 39; CHECK-NEXT: [[TMP5:%.*]] = xor <4 x i32> [[TMP1]], <i32 1, i32 1, i32 1, i32 0>10; CHECK-NEXT: [[TMP8:%.*]] = shufflevector <4 x i32> [[TMP5]], <4 x i32> poison, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 0, i32 1, i32 2, i32 3>11; CHECK-NEXT: [[OP_RDX:%.*]] = extractelement <8 x i32> [[TMP8]], i32 312; CHECK-NEXT: br i1 false, label [[EXIT:%.*]], label [[PH:%.*]]13; CHECK: ph:14; CHECK-NEXT: [[TMP6:%.*]] = insertelement <8 x i32> <i32 0, i32 0, i32 0, i32 0, i32 poison, i32 0, i32 0, i32 0>, i32 [[TMP0]], i32 415; CHECK-NEXT: br label [[EXIT]]16; CHECK: exit:17; CHECK-NEXT: [[TMP9:%.*]] = phi <8 x i32> [ [[TMP8]], [[ENTRY:%.*]] ], [ [[TMP6]], [[PH]] ]18; CHECK-NEXT: [[TMP7:%.*]] = phi <4 x i32> [ [[TMP5]], [[ENTRY]] ], [ zeroinitializer, [[PH]] ]19; CHECK-NEXT: [[TMP10:%.*]] = shufflevector <8 x i32> [[TMP9]], <8 x i32> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 3>20; CHECK-NEXT: [[RDX_OP:%.*]] = or <4 x i32> [[TMP10]], [[TMP7]]21; CHECK-NEXT: [[TMP12:%.*]] = shufflevector <4 x i32> [[RDX_OP]], <4 x i32> poison, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison>22; CHECK-NEXT: [[TMP11:%.*]] = shufflevector <8 x i32> [[TMP9]], <8 x i32> [[TMP12]], <8 x i32> <i32 8, i32 9, i32 10, i32 11, i32 4, i32 5, i32 6, i32 7>23; CHECK-NEXT: [[OP_RDX5:%.*]] = call i32 @llvm.vector.reduce.or.v8i32(<8 x i32> [[TMP11]])24; CHECK-NEXT: [[OP_RDX2:%.*]] = or i32 [[OP_RDX5]], [[OP_RDX]]25; CHECK-NEXT: store i32 [[OP_RDX2]], ptr [[P]], align 426; CHECK-NEXT: ret void27;28entry:29 %xor.1.i = xor i32 1, 030 %xor.2.i = xor i32 1, 031 %xor.3.i = xor i32 1, 032 %xor.4.i = xor i32 %0, 033 br i1 false, label %exit, label %ph34 35ph:36 br label %exit37 38exit:39 %p1 = phi i32 [ %xor.1.i, %entry ], [ 0, %ph ]40 %p2 = phi i32 [ %xor.2.i, %entry ], [ 0, %ph ]41 %p3 = phi i32 [ %xor.3.i, %entry ], [ 0, %ph ]42 %p4 = phi i32 [ %xor.4.i, %entry ], [ 0, %ph ]43 %p5 = phi i32 [ %xor.1.i, %entry ], [ %0, %ph ]44 %p6 = phi i32 [ %xor.2.i, %entry ], [ 0, %ph ]45 %p7 = phi i32 [ %xor.3.i, %entry ], [ 0, %ph ]46 %p8 = phi i32 [ %xor.4.i, %entry ], [ 0, %ph ]47 %p9 = phi i32 [ %xor.4.i, %entry ], [ 0, %ph ]48 %p10 = phi i32 [ %xor.3.i, %entry ], [ 0, %ph ]49 %p11 = phi i32 [ %xor.2.i, %entry ], [ 0, %ph ]50 %p12 = phi i32 [ %xor.1.i, %entry ], [ 0, %ph ]51 %or.1.1.i = or i32 %xor.4.i, %p152 %or.2.1.i = or i32 %or.1.1.i, %p253 %or.3.1.i = or i32 %or.2.1.i, %p354 %or.4.1.i = or i32 %or.3.1.i, %p455 %or.1.2.i = or i32 %or.4.1.i, %p556 %or.2.2.i = or i32 %or.1.2.i, %p657 %or.3.2.i = or i32 %or.2.2.i, %p758 %or.4.2.i = or i32 %or.3.2.i, %p859 %or.326.i = or i32 %or.4.2.i, %p960 %or.1.3.i = or i32 %or.326.i, %p1061 %or.2.3.i = or i32 %or.1.3.i, %p1162 %or.3.3.i = or i32 %or.2.3.i, %p1263 store i32 %or.3.3.i, ptr %p, align 464 ret void65}66