1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4 2; RUN: opt -S --passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s 3 4define double @test() { 5; CHECK-LABEL: define double @test() { 6; CHECK-NEXT: entry: 7; CHECK-NEXT: [[TMP3:%.*]] = load double, ptr getelementptr inbounds ([13 x double], ptr null, i64 0, i64 6), align 16 8; CHECK-NEXT: [[TMP0:%.*]] = load <2 x double>, ptr getelementptr inbounds ([13 x double], ptr null, i64 0, i64 5), align 8 9; CHECK-NEXT: [[TMP2:%.*]] = load double, ptr getelementptr inbounds ([13 x double], ptr null, i64 0, i64 9), align 8 10; CHECK-NEXT: [[TMP1:%.*]] = load <2 x double>, ptr getelementptr inbounds ([13 x double], ptr null, i64 0, i64 8), align 16 11; CHECK-NEXT: [[TMP17:%.*]] = insertelement <4 x double> <double 0.000000e+00, double 0.000000e+00, double poison, double poison>, double [[TMP3]], i32 2 12; CHECK-NEXT: [[TMP4:%.*]] = insertelement <4 x double> [[TMP17]], double [[TMP2]], i32 3 13; CHECK-NEXT: [[TMP5:%.*]] = fmul <4 x double> zeroinitializer, [[TMP4]] 14; CHECK-NEXT: [[TMP6:%.*]] = call reassoc nsz double @llvm.vector.reduce.fadd.v4f64(double 0.000000e+00, <4 x double> [[TMP5]]) 15; CHECK-NEXT: [[TMP7:%.*]] = fmul double [[TMP6]], 0.000000e+00 16; CHECK-NEXT: store double [[TMP7]], ptr null, align 16 17; CHECK-NEXT: br label [[BB:%.*]] 18; CHECK: bb: 19; CHECK-NEXT: [[TMP8:%.*]] = fmul <2 x double> [[TMP1]], zeroinitializer 20; CHECK-NEXT: [[TMP9:%.*]] = extractelement <2 x double> [[TMP8]], i32 0 21; CHECK-NEXT: [[TMP10:%.*]] = extractelement <2 x double> [[TMP8]], i32 1 22; CHECK-NEXT: [[TMP11:%.*]] = fadd double [[TMP9]], [[TMP10]] 23; CHECK-NEXT: [[TMP12:%.*]] = fmul <2 x double> [[TMP0]], zeroinitializer 24; CHECK-NEXT: [[TMP13:%.*]] = extractelement <2 x double> [[TMP12]], i32 1 25; CHECK-NEXT: [[TMP14:%.*]] = fadd double [[TMP13]], [[TMP11]] 26; CHECK-NEXT: [[TMP15:%.*]] = extractelement <2 x double> [[TMP12]], i32 0 27; CHECK-NEXT: [[TMP16:%.*]] = fadd double [[TMP15]], [[TMP14]] 28; CHECK-NEXT: ret double [[TMP16]] 29; 30entry: 31 %0 = fmul double 0.000000e+00, 0.000000e+00 32 %1 = fmul double 0.000000e+00, 0.000000e+00 33 %2 = fadd reassoc nsz double %1, %0 34 %3 = load double, ptr getelementptr inbounds ([13 x double], ptr null, i64 0, i64 5), align 8 35 %4 = load double, ptr getelementptr inbounds ([13 x double], ptr null, i64 0, i64 6), align 16 36 %5 = fmul double %4, 0.000000e+00 37 %6 = fadd reassoc nsz double %5, %2 38 %7 = load double, ptr getelementptr inbounds ([13 x double], ptr null, i64 0, i64 8), align 16 39 %8 = load double, ptr getelementptr inbounds ([13 x double], ptr null, i64 0, i64 9), align 8 40 %9 = fmul double %8, 0.000000e+00 41 %10 = fadd reassoc nsz double %9, %6 42 %11 = fmul double %10, 0.000000e+00 43 store double %11, ptr null, align 16 44 br label %bb 45 46bb: 47 %12 = fmul double %8, 0.000000e+00 48 %13 = fmul double %7, 0.000000e+00 49 %14 = fadd double %13, %12 50 %15 = fmul double %4, 0.000000e+00 51 %16 = fadd double %15, %14 52 %17 = fmul double %3, 0.000000e+00 53 %18 = fadd double %17, %16 54 ret double %18 55} 56