72 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 -mcpu=skylake < %s | FileCheck %s3 4define void @test(ptr %0, i64 %1, i64 %2) {5; CHECK-LABEL: define void @test(6; CHECK-SAME: ptr [[TMP0:%.*]], i64 [[TMP1:%.*]], i64 [[TMP2:%.*]]) #[[ATTR0:[0-9]+]] {7; CHECK-NEXT: [[TMP4:%.*]] = insertelement <4 x ptr> poison, ptr [[TMP0]], i32 08; CHECK-NEXT: [[TMP5:%.*]] = shufflevector <4 x ptr> [[TMP4]], <4 x ptr> poison, <4 x i32> zeroinitializer9; CHECK-NEXT: [[TMP7:%.*]] = ptrtoint <4 x ptr> [[TMP5]] to <4 x i64>10; CHECK-NEXT: [[TMP8:%.*]] = shufflevector <4 x i64> [[TMP7]], <4 x i64> poison, <8 x i32> <i32 0, i32 0, i32 1, i32 2, i32 2, i32 1, i32 3, i32 1>11; CHECK-NEXT: [[TMP6:%.*]] = ptrtoint <4 x ptr> [[TMP5]] to <4 x i64>12; CHECK-NEXT: br [[DOTPREHEADER_LR_PH:label %.*]]13; CHECK: [[_PREHEADER_LR_PH:.*:]]14; CHECK-NEXT: br [[DOTPREHEADER_US_US_PREHEADER:label %.*]]15; CHECK: [[_PREHEADER_US_US_PREHEADER:.*:]]16; CHECK-NEXT: [[TMP9:%.*]] = insertelement <8 x i64> poison, i64 [[TMP1]], i32 017; CHECK-NEXT: [[TMP10:%.*]] = insertelement <8 x i64> [[TMP9]], i64 [[TMP2]], i32 118; CHECK-NEXT: [[TMP11:%.*]] = shufflevector <8 x i64> [[TMP10]], <8 x i64> poison, <8 x i32> <i32 0, i32 1, i32 0, i32 0, i32 poison, i32 poison, i32 poison, i32 poison>19; CHECK-NEXT: [[TMP16:%.*]] = shufflevector <4 x i64> [[TMP6]], <4 x i64> poison, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison>20; CHECK-NEXT: [[TMP12:%.*]] = shufflevector <8 x i64> [[TMP11]], <8 x i64> [[TMP16]], <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 8, i32 9, i32 10, i32 11>21; CHECK-NEXT: [[TMP13:%.*]] = or <8 x i64> [[TMP12]], [[TMP8]]22; CHECK-NEXT: br [[DOTPREHEADER_US_US:label %.*]]23; CHECK: [[_PREHEADER_US_US:.*:]]24; CHECK-NEXT: [[TMP14:%.*]] = icmp ult <8 x i64> [[TMP13]], splat (i64 32)25; CHECK-NEXT: [[TMP15:%.*]] = call i1 @llvm.vector.reduce.or.v8i1(<8 x i1> [[TMP14]])26; CHECK-NEXT: br i1 [[TMP15]], label %[[SCALAR_PH:.*]], [[DOTPREHEADER_US_US]]27; CHECK: [[SCALAR_PH]]:28; CHECK-NEXT: ret void29;30 %4 = ptrtoint ptr %0 to i6431 %5 = ptrtoint ptr %0 to i6432 %6 = ptrtoint ptr %0 to i6433 %7 = ptrtoint ptr %0 to i6434 %8 = ptrtoint ptr %0 to i6435 br label %.preheader.lr.ph36 37.preheader.lr.ph:38 br label %.preheader.us.us.preheader39 40.preheader.us.us.preheader:41 %9 = or i64 %1, %742 %10 = or i64 %2, %743 %11 = or i64 %1, %444 %12 = or i64 %1, %845 %13 = or i64 %5, %846 %14 = or i64 %8, %447 %15 = or i64 %5, %648 %16 = or i64 %6, %449 br label %.preheader.us.us50 51.preheader.us.us:52 %diff.check1 = icmp ult i64 %9, 3253 %diff.check2 = icmp ult i64 %10, 3254 %conflict.rdx3 = or i1 %diff.check1, %diff.check255 %diff.check4 = icmp ult i64 %11, 3256 %conflict.rdx5 = or i1 %conflict.rdx3, %diff.check457 %diff.check6 = icmp ult i64 %12, 3258 %conflict.rdx7 = or i1 %conflict.rdx5, %diff.check659 %diff.check8 = icmp ult i64 %13, 3260 %conflict.rdx9 = or i1 %conflict.rdx7, %diff.check861 %diff.check10 = icmp ult i64 %14, 3262 %conflict.rdx11 = or i1 %conflict.rdx9, %diff.check1063 %diff.check12 = icmp ult i64 %15, 3264 %conflict.rdx13 = or i1 %conflict.rdx11, %diff.check1265 %diff.check14 = icmp ult i64 %16, 3266 %conflict.rdx15 = or i1 %conflict.rdx13, %diff.check1467 br i1 %conflict.rdx15, label %scalar.ph, label %.preheader.us.us68 69scalar.ph:70 ret void71}72