54 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=slp-vectorizer -slp-vectorize-hor -slp-vectorize-hor-store -S < %s -mtriple=x86_64-unknown-linux-gnu -mcpu=haswell | FileCheck %s3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128-ni:1"4 5define void @test() #0 {6; CHECK-LABEL: @test(7; CHECK-NEXT: entry:8; CHECK-NEXT: br label [[LOOP:%.*]]9; CHECK: loop:10; CHECK-NEXT: [[DUMMY_PHI:%.*]] = phi i64 [ 1, [[ENTRY:%.*]] ], [ [[OP_RDX1:%.*]], [[LOOP]] ]11; CHECK-NEXT: [[TMP0:%.*]] = phi i64 [ 2, [[ENTRY]] ], [ [[TMP4:%.*]], [[LOOP]] ]12; CHECK-NEXT: [[TMP1:%.*]] = insertelement <4 x i64> poison, i64 [[TMP0]], i32 013; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <4 x i64> [[TMP1]], <4 x i64> poison, <4 x i32> zeroinitializer14; CHECK-NEXT: [[TMP3:%.*]] = add <4 x i64> [[TMP2]], <i64 3, i64 2, i64 1, i64 0>15; CHECK-NEXT: [[TMP4]] = extractelement <4 x i64> [[TMP3]], i32 316; CHECK-NEXT: [[DUMMY_ADD:%.*]] = add i16 0, 017; CHECK-NEXT: [[TMP5:%.*]] = extractelement <4 x i64> [[TMP3]], i32 018; CHECK-NEXT: [[DUMMY_SHL:%.*]] = shl i64 [[TMP5]], 3219; CHECK-NEXT: [[TMP6:%.*]] = add <4 x i64> splat (i64 1), [[TMP3]]20; CHECK-NEXT: [[TMP7:%.*]] = ashr exact <4 x i64> [[TMP6]], splat (i64 32)21; CHECK-NEXT: [[TMP8:%.*]] = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> [[TMP7]])22; CHECK-NEXT: [[OP_RDX:%.*]] = add i64 [[TMP8]], [[TMP4]]23; CHECK-NEXT: [[OP_RDX1]] = add i64 [[OP_RDX]], 024; CHECK-NEXT: br label [[LOOP]]25;26entry:27 br label %loop28 29loop:30 %dummy_phi = phi i64 [ 1, %entry ], [ %last, %loop ]31 %0 = phi i64 [ 2, %entry ], [ %fork, %loop ]32 %inc1 = add i64 %0, 133 %inc2 = add i64 %0, 234 %inc11 = add i64 1, %inc135 %exact1 = ashr exact i64 %inc11, 3236 %inc3 = add i64 %0, 337 %dummy_add = add i16 0, 038 %inc12 = add i64 1, %inc239 %exact2 = ashr exact i64 %inc12, 3240 %dummy_shl = shl i64 %inc3, 3241 %inc13 = add i64 1, %inc342 %exact3 = ashr exact i64 %inc13, 3243 %fork = add i64 %0, 044 %sum1 = add i64 %exact3, %exact245 %sum2 = add i64 %sum1, %exact146 %zsum = add i64 %sum2, 047 %sext22 = add i64 1, %fork48 %exact4 = ashr exact i64 %sext22, 3249 %join = add i64 %fork, %zsum50 %last = add i64 %join, %exact451 br label %loop52}53 54