1ddbc8f33SElvina Yakubova; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2*e0bd8d34SElvina Yakubova; RUN: %if x86-registered-target %{ opt < %s -passes=slp-vectorizer -slp-min-tree-size=2 -slp-threshold=-1000 -slp-max-look-ahead-depth=1 -slp-schedule-budget=27 -S -mtriple=x86_64-unknown-linux-gnu | FileCheck %s %} 3*e0bd8d34SElvina Yakubova; RUN: %if aarch64-registered-target %{ opt < %s -passes=slp-vectorizer -slp-min-tree-size=2 -slp-threshold=-1000 -slp-max-look-ahead-depth=1 -slp-schedule-budget=27 -S -mtriple=aarch64-unknown-linux-gnu | FileCheck %s %} 4ddbc8f33SElvina Yakubova 5ddbc8f33SElvina Yakubovadefine void @exceed(double %0, double %1) { 6ddbc8f33SElvina Yakubova; CHECK-LABEL: @exceed( 7ddbc8f33SElvina Yakubova; CHECK-NEXT: entry: 8ddbc8f33SElvina Yakubova; CHECK-NEXT: [[TMP2:%.*]] = insertelement <2 x double> poison, double [[TMP0:%.*]], i32 0 9ddbc8f33SElvina Yakubova; CHECK-NEXT: [[TMP3:%.*]] = shufflevector <2 x double> [[TMP2]], <2 x double> poison, <2 x i32> zeroinitializer 10ddbc8f33SElvina Yakubova; CHECK-NEXT: [[TMP4:%.*]] = insertelement <2 x double> poison, double [[TMP1:%.*]], i32 0 11ddbc8f33SElvina Yakubova; CHECK-NEXT: [[TMP5:%.*]] = shufflevector <2 x double> [[TMP4]], <2 x double> poison, <2 x i32> zeroinitializer 12ddbc8f33SElvina Yakubova; CHECK-NEXT: [[TMP6:%.*]] = fdiv fast <2 x double> [[TMP3]], [[TMP5]] 13ddbc8f33SElvina Yakubova; CHECK-NEXT: [[TMP7:%.*]] = extractelement <2 x double> [[TMP6]], i32 1 14ddbc8f33SElvina Yakubova; CHECK-NEXT: [[IX:%.*]] = fmul double [[TMP7]], undef 15ddbc8f33SElvina Yakubova; CHECK-NEXT: [[IXX0:%.*]] = fsub double undef, undef 16ddbc8f33SElvina Yakubova; CHECK-NEXT: [[IXX1:%.*]] = fsub double undef, undef 17ddbc8f33SElvina Yakubova; CHECK-NEXT: [[IXX2:%.*]] = fsub double undef, undef 18ddbc8f33SElvina Yakubova; CHECK-NEXT: [[IXX3:%.*]] = fsub double undef, undef 19ddbc8f33SElvina Yakubova; CHECK-NEXT: [[IXX4:%.*]] = fsub double undef, undef 20ddbc8f33SElvina Yakubova; CHECK-NEXT: [[IXX5:%.*]] = fsub double undef, undef 21ddbc8f33SElvina Yakubova; CHECK-NEXT: [[IX1:%.*]] = fmul double [[TMP7]], undef 22ddbc8f33SElvina Yakubova; CHECK-NEXT: [[IXX10:%.*]] = fsub double undef, undef 23ddbc8f33SElvina Yakubova; CHECK-NEXT: [[IXX11:%.*]] = fsub double undef, undef 24ddbc8f33SElvina Yakubova; CHECK-NEXT: [[IXX12:%.*]] = fsub double undef, undef 25ddbc8f33SElvina Yakubova; CHECK-NEXT: [[IXX13:%.*]] = fsub double undef, undef 26ddbc8f33SElvina Yakubova; CHECK-NEXT: [[IXX14:%.*]] = fsub double undef, undef 27ddbc8f33SElvina Yakubova; CHECK-NEXT: [[IXX15:%.*]] = fsub double undef, undef 28ddbc8f33SElvina Yakubova; CHECK-NEXT: [[IXX20:%.*]] = fsub double undef, undef 29ddbc8f33SElvina Yakubova; CHECK-NEXT: [[IXX21:%.*]] = fsub double undef, undef 30ddbc8f33SElvina Yakubova; CHECK-NEXT: [[IXX22:%.*]] = fsub double undef, undef 31ddbc8f33SElvina Yakubova; CHECK-NEXT: [[TMP8:%.*]] = extractelement <2 x double> [[TMP6]], i32 0 32ddbc8f33SElvina Yakubova; CHECK-NEXT: [[IX2:%.*]] = fmul double [[TMP8]], [[TMP8]] 33ddbc8f33SElvina Yakubova; CHECK-NEXT: [[TMP9:%.*]] = fadd fast <2 x double> [[TMP3]], [[TMP5]] 34ddbc8f33SElvina Yakubova; CHECK-NEXT: [[TMP10:%.*]] = shufflevector <2 x double> [[TMP3]], <2 x double> [[TMP5]], <2 x i32> <i32 0, i32 2> 35ddbc8f33SElvina Yakubova; CHECK-NEXT: [[TMP11:%.*]] = fadd fast <2 x double> [[TMP6]], [[TMP10]] 36ddbc8f33SElvina Yakubova; CHECK-NEXT: [[TMP12:%.*]] = fmul fast <2 x double> [[TMP11]], [[TMP9]] 37ddbc8f33SElvina Yakubova; CHECK-NEXT: [[IXX101:%.*]] = fsub double undef, undef 38ddbc8f33SElvina Yakubova; CHECK-NEXT: [[TMP13:%.*]] = shufflevector <2 x double> [[TMP6]], <2 x double> [[TMP5]], <2 x i32> <i32 1, i32 2> 39ddbc8f33SElvina Yakubova; CHECK-NEXT: [[TMP14:%.*]] = fmul fast <2 x double> [[TMP13]], undef 40ddbc8f33SElvina Yakubova; CHECK-NEXT: switch i32 undef, label [[BB1:%.*]] [ 41ddbc8f33SElvina Yakubova; CHECK-NEXT: i32 0, label [[BB2:%.*]] 42ddbc8f33SElvina Yakubova; CHECK-NEXT: ] 43ddbc8f33SElvina Yakubova; CHECK: bb1: 44ddbc8f33SElvina Yakubova; CHECK-NEXT: br label [[LABEL:%.*]] 45ddbc8f33SElvina Yakubova; CHECK: bb2: 46ddbc8f33SElvina Yakubova; CHECK-NEXT: br label [[LABEL]] 47ddbc8f33SElvina Yakubova; CHECK: label: 48ddbc8f33SElvina Yakubova; CHECK-NEXT: [[TMP15:%.*]] = phi <2 x double> [ [[TMP12]], [[BB1]] ], [ [[TMP14]], [[BB2]] ] 49ddbc8f33SElvina Yakubova; CHECK-NEXT: ret void 50ddbc8f33SElvina Yakubova; 51ddbc8f33SElvina Yakubovaentry: 52ddbc8f33SElvina Yakubova %i10 = fdiv fast double %0, %1 53ddbc8f33SElvina Yakubova %ix = fmul double %i10, undef 54ddbc8f33SElvina Yakubova %ixx0 = fsub double undef, undef 55ddbc8f33SElvina Yakubova %ixx1 = fsub double undef, undef 56ddbc8f33SElvina Yakubova %ixx2 = fsub double undef, undef 57ddbc8f33SElvina Yakubova %ixx3 = fsub double undef, undef 58ddbc8f33SElvina Yakubova %ixx4 = fsub double undef, undef 59ddbc8f33SElvina Yakubova %ixx5 = fsub double undef, undef 60ddbc8f33SElvina Yakubova %ix1 = fmul double %i10, undef 61ddbc8f33SElvina Yakubova %ixx10 = fsub double undef, undef 62ddbc8f33SElvina Yakubova %ixx11 = fsub double undef, undef 63ddbc8f33SElvina Yakubova %ixx12 = fsub double undef, undef 64ddbc8f33SElvina Yakubova %ixx13 = fsub double undef, undef 65ddbc8f33SElvina Yakubova %ixx14 = fsub double undef, undef 66ddbc8f33SElvina Yakubova %ixx15 = fsub double undef, undef 67ddbc8f33SElvina Yakubova %ixx20 = fsub double undef, undef 68ddbc8f33SElvina Yakubova %ixx21 = fsub double undef, undef 69ddbc8f33SElvina Yakubova %ixx22 = fsub double undef, undef 70ddbc8f33SElvina Yakubova %i11 = fdiv fast double %0, %1 71ddbc8f33SElvina Yakubova %ix2 = fmul double %i11, %i11 72ddbc8f33SElvina Yakubova %tmp1 = fadd fast double %i11, %0 73ddbc8f33SElvina Yakubova %tmp2 = fadd fast double %0, %1 74ddbc8f33SElvina Yakubova %tmp5 = fmul fast double %tmp1, %tmp2 75ddbc8f33SElvina Yakubova %tmp15 = fadd fast double %i10, %1 76ddbc8f33SElvina Yakubova %tmp25 = fadd fast double %0, %1 77ddbc8f33SElvina Yakubova %tmp6 = fmul fast double %tmp15, %tmp25 78ddbc8f33SElvina Yakubova %tmp555 = fmul fast double %i10, undef 79ddbc8f33SElvina Yakubova %ixx101 = fsub double undef, undef 80ddbc8f33SElvina Yakubova %tmp666 = fmul fast double %1, undef 81ddbc8f33SElvina Yakubova switch i32 undef, label %bb1 [ 82ddbc8f33SElvina Yakubova i32 0, label %bb2 83ddbc8f33SElvina Yakubova ] 84ddbc8f33SElvina Yakubova 85ddbc8f33SElvina Yakubovabb1: ; preds = %entry 86ddbc8f33SElvina Yakubova br label %label 87ddbc8f33SElvina Yakubova 88ddbc8f33SElvina Yakubovabb2: ; preds = %entry 89ddbc8f33SElvina Yakubova br label %label 90ddbc8f33SElvina Yakubova 91ddbc8f33SElvina Yakubovalabel: ; preds = %bb2, %bb1 92ddbc8f33SElvina Yakubova %phi1 = phi double [ %tmp5, %bb1 ], [ %tmp555, %bb2 ] 93ddbc8f33SElvina Yakubova %phi2 = phi double [ %tmp6, %bb1 ], [ %tmp666, %bb2 ] 94ddbc8f33SElvina Yakubova ret void 95ddbc8f33SElvina Yakubova} 96