1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
2 ; RUN: opt --passes=slp-vectorizer -S < %s -mtriple=x86_64-unknown-linux -mattr=+avx512vl | FileCheck %s
5 ; CHECK-LABEL: define i32 @test(
6 ; CHECK-SAME: ) #[[ATTR0:[0-9]+]] {
7 ; CHECK-NEXT: br label [[TMP1:%.*]]
9 ; CHECK-NEXT: [[TMP2:%.*]] = phi <4 x double> [ zeroinitializer, [[TMP0:%.*]] ], [ [[TMP6:%.*]], [[TMP1]] ]
10 ; CHECK-NEXT: [[TMP3:%.*]] = call <4 x double> @llvm.fma.v4f64(<4 x double> zeroinitializer, <4 x double> zeroinitializer, <4 x double> [[TMP2]])
11 ; CHECK-NEXT: [[TMP4:%.*]] = shufflevector <4 x double> [[TMP3]], <4 x double> poison, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison>
12 ; CHECK-NEXT: [[TMP5:%.*]] = shufflevector <8 x double> zeroinitializer, <8 x double> [[TMP4]], <4 x i32> <i32 0, i32 8, i32 poison, i32 8>
13 ; CHECK-NEXT: [[TMP6]] = shufflevector <4 x double> [[TMP5]], <4 x double> <double poison, double poison, double 0.000000e+00, double poison>, <4 x i32> <i32 0, i32 1, i32 6, i32 3>
14 ; CHECK-NEXT: br label [[TMP1]]
19 %.i489 = phi double [ 0.000000e+00, %0 ], [ 0.000000e+00, %1 ]
20 %.i1102 = phi double [ 0.000000e+00, %0 ], [ %.i1110, %1 ]
21 %.i4105 = phi double [ 0.000000e+00, %0 ], [ %.i4113, %1 ]
22 %.i14525 = call double @llvm.fma.f64(double 0.000000e+00, double 0.000000e+00, double %.i1102)
23 %.i24526 = call double @llvm.fma.f64(double 0.000000e+00, double 0.000000e+00, double %.i489)
24 %.i44529 = call double @llvm.fma.f64(double 0.000000e+00, double 0.000000e+00, double %.i4105)
25 %.upto16034 = insertelement <8 x double> zeroinitializer, double %.i14525, i64 1
26 %.upto26035 = insertelement <8 x double> %.upto16034, double %.i24526, i64 2
27 %.upto36036 = insertelement <8 x double> %.upto26035, double %.i14525, i64 3
28 %.upto46037 = insertelement <8 x double> %.upto36036, double %.i44529, i64 0
29 %.i1110 = extractelement <8 x double> %.upto46037, i64 0
30 %.i4113 = extractelement <8 x double> zeroinitializer, i64 0