73 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-grtev4-linux-gnu -mattr="+aes,+avx,+cmov,+crc32,+cx16,+cx8,+fxsr,+mmx,+pclmul,+popcnt,+prfchw,+sse,+sse2,+sse3,+sse4.1,+sse4.2,+ssse3,+x87,+xsave" < %s | FileCheck %s3 4define void @test(i64 %v) {5; CHECK-LABEL: define void @test(6; CHECK-SAME: i64 [[V:%.*]]) #[[ATTR0:[0-9]+]] {7; CHECK-NEXT: [[BB:.*:]]8; CHECK-NEXT: [[TMP0:%.*]] = insertelement <2 x i64> <i64 0, i64 poison>, i64 [[V]], i32 19; CHECK-NEXT: [[TMP1:%.*]] = or <2 x i64> zeroinitializer, [[TMP0]]10; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <2 x i64> [[TMP1]], <2 x i64> poison, <8 x i32> <i32 1, i32 poison, i32 poison, i32 poison, i32 1, i32 poison, i32 poison, i32 poison>11; CHECK-NEXT: [[TMP3:%.*]] = shufflevector <8 x i64> [[TMP2]], <8 x i64> <i64 poison, i64 0, i64 0, i64 0, i64 poison, i64 0, i64 0, i64 0>, <8 x i32> <i32 0, i32 9, i32 10, i32 11, i32 4, i32 13, i32 14, i32 15>12; CHECK-NEXT: [[TMP4:%.*]] = icmp eq <8 x i64> zeroinitializer, [[TMP3]]13; CHECK-NEXT: [[TMP19:%.*]] = icmp ult i64 0, 014; CHECK-NEXT: [[TMP6:%.*]] = freeze <8 x i1> [[TMP4]]15; CHECK-NEXT: [[TMP18:%.*]] = call i1 @llvm.vector.reduce.and.v8i1(<8 x i1> [[TMP6]])16; CHECK-NEXT: [[TMP20:%.*]] = select i1 [[TMP19]], i1 [[TMP18]], i1 false17; CHECK-NEXT: [[TMP8:%.*]] = freeze i1 [[TMP20]]18; CHECK-NEXT: [[OP_RDX1:%.*]] = select i1 [[TMP8]], i1 false, i1 false19; CHECK-NEXT: br i1 [[OP_RDX1]], label %[[BB_I107_PREHEADER:.*]], label %[[BB_I27_I_PREHEADER:.*]]20; CHECK: [[BB_I107_PREHEADER]]:21; CHECK-NEXT: [[TMP21:%.*]] = extractelement <2 x i64> [[TMP1]], i32 022; CHECK-NEXT: [[DOTSROA_1278_10_EXTRACT_SHIFT83_I1622_1:%.*]] = xor i64 0, [[TMP21]]23; CHECK-NEXT: [[TMP22:%.*]] = xor <2 x i64> zeroinitializer, [[TMP1]]24; CHECK-NEXT: [[TMP23:%.*]] = or <2 x i64> [[TMP22]], zeroinitializer25; CHECK-NEXT: [[TMP24:%.*]] = or <2 x i64> splat (i64 1), [[TMP23]]26; CHECK-NEXT: [[TMP25:%.*]] = and <2 x i64> [[TMP24]], zeroinitializer27; CHECK-NEXT: [[TMP26:%.*]] = icmp eq <2 x i64> [[TMP25]], zeroinitializer28; CHECK-NEXT: ret void29; CHECK: [[BB_I27_I_PREHEADER]]:30; CHECK-NEXT: unreachable31;32bb:33 %.sroa.82529.14.insert.insert = or i64 0, 034 %.sroa.02528.sroa.0.0.insert.insert = or i64 %v, 035 %0 = icmp eq i64 0, %.sroa.02528.sroa.0.0.insert.insert36 %1 = icmp eq i64 0, 037 %2 = and i1 %0, %138 %3 = icmp eq i64 0, 039 %4 = and i1 %2, %340 %5 = icmp eq i64 0, 041 %6 = and i1 %4, %542 %7 = and i1 %6, false43 %8 = icmp eq i64 0, %.sroa.02528.sroa.0.0.insert.insert44 %9 = and i1 %7, %845 %10 = icmp eq i64 0, 046 %11 = and i1 %9, %1047 %12 = icmp eq i64 0, 048 %13 = and i1 %11, %1249 %14 = icmp eq i64 0, 050 %15 = and i1 %13, %1451 %16 = icmp ult i64 0, 052 %17 = select i1 %16, i1 %15, i1 false53 br i1 %17, label %bb.i107.preheader, label %bb.i27.i.preheader54 55bb.i107.preheader: ; preds = %bb56 %.sroa.1278.10.extract.shift83.i1622.1 = xor i64 0, %.sroa.82529.14.insert.insert57 %.sroa.076.2.extract.shift80.i1619.4 = xor i64 0, %.sroa.02528.sroa.0.0.insert.insert58 %.sroa.071.2.extract.shift86.i1625.4 = or i64 %.sroa.076.2.extract.shift80.i1619.4, 059 %.sroa.1278.10.extract.shift83.i1622.7 = xor i64 0, %.sroa.82529.14.insert.insert60 %.sroa.12.10.extract.shift89.i1634.7 = or i64 %.sroa.1278.10.extract.shift83.i1622.7, 061 %.sroa.02756.2.extract.shift6530 = or i64 %.sroa.071.2.extract.shift86.i1625.4, 162 %18 = and i64 %.sroa.02756.2.extract.shift6530, 063 %19 = icmp eq i64 %18, 064 %20 = or i64 1, %.sroa.12.10.extract.shift89.i1634.765 %21 = and i64 %20, 066 %22 = icmp eq i64 %21, 067 ret void68 69bb.i27.i.preheader: ; preds = %bb70 unreachable71}72 73