1*706e7107SElvina Yakubova; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2*706e7107SElvina Yakubova; RUN: %if x86_64-registered-target %{ opt -S -passes=slp-vectorizer -mtriple=x86_64-grtev4-linux-gnu -o - < %s | FileCheck %s %} 3*706e7107SElvina Yakubova; RUN: %if aarch64-registered-target %{ opt -S -passes=slp-vectorizer -mtriple=aarch64-unknown-linux-gnu -o - < %s | FileCheck %s %} 4*706e7107SElvina Yakubova 5*706e7107SElvina Yakubovadefine i32 @crash() { 6*706e7107SElvina Yakubova; CHECK-LABEL: @crash( 7*706e7107SElvina Yakubova; CHECK-NEXT: label: 8*706e7107SElvina Yakubova; CHECK-NEXT: [[ADD:%.*]] = fadd <2 x double> zeroinitializer, zeroinitializer 9*706e7107SElvina Yakubova; CHECK-NEXT: [[SHUFFLE:%.*]] = shufflevector <2 x double> [[ADD]], <2 x double> poison, <2 x i32> <i32 1, i32 0> 10*706e7107SElvina Yakubova; CHECK-NEXT: [[TMP0:%.*]] = shufflevector <2 x double> zeroinitializer, <2 x double> [[SHUFFLE]], <2 x i32> <i32 2, i32 1> 11*706e7107SElvina Yakubova; CHECK-NEXT: [[TMP1:%.*]] = fmul <2 x double> [[SHUFFLE]], zeroinitializer 12*706e7107SElvina Yakubova; CHECK-NEXT: [[TMP2:%.*]] = extractelement <2 x double> [[TMP1]], i32 0 13*706e7107SElvina Yakubova; CHECK-NEXT: [[TMP3:%.*]] = extractelement <2 x double> [[TMP1]], i32 1 14*706e7107SElvina Yakubova; CHECK-NEXT: [[ADD1:%.*]] = fadd double [[TMP2]], [[TMP3]] 15*706e7107SElvina Yakubova; CHECK-NEXT: [[MUL1:%.*]] = fmul double [[ADD1]], 0.000000e+00 16*706e7107SElvina Yakubova; CHECK-NEXT: store double [[MUL1]], ptr null, align 16 17*706e7107SElvina Yakubova; CHECK-NEXT: ret i32 0 18*706e7107SElvina Yakubova; 19*706e7107SElvina Yakubovalabel: 20*706e7107SElvina Yakubova %0 = extractelement <2 x double> zeroinitializer, i64 1 21*706e7107SElvina Yakubova %1 = extractelement <2 x double> zeroinitializer, i64 0 22*706e7107SElvina Yakubova %add = fadd <2 x double> zeroinitializer, zeroinitializer 23*706e7107SElvina Yakubova %extract1 = extractelement <2 x double> %add, i64 1 24*706e7107SElvina Yakubova %2 = fmul double %extract1, %1 25*706e7107SElvina Yakubova %insert = insertelement <2 x double> zeroinitializer, double %extract1, i64 0 26*706e7107SElvina Yakubova %extract0 = extractelement <2 x double> %add, i64 0 27*706e7107SElvina Yakubova %mul = fmul double %extract0, %0 28*706e7107SElvina Yakubova %add1 = fadd double %2, %mul 29*706e7107SElvina Yakubova %mul1 = fmul double %add1, 0.000000e+00 30*706e7107SElvina Yakubova store double %mul1, ptr null, align 16 31*706e7107SElvina Yakubova ret i32 0 32*706e7107SElvina Yakubova} 33