[LLVM][IR] Use splat syntax when printing ConstantExpr based splats. (#116856)
[llvm-project.git] / llvm / test / Transforms / SLPVectorizer / X86 / extractelement-vecop-vectorized.ll
bloba7dbe7d0b43fe662180a5b944155eb20b13c8eba
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
4 define i32 @test() {
5 ; CHECK-LABEL: define i32 @test(
6 ; CHECK-SAME: ) #[[ATTR0:[0-9]+]] {
7 ; CHECK-NEXT:    br label [[TMP1:%.*]]
8 ; CHECK:       1:
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]]
16   br label %1
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
31   br label %1