xref: /llvm-project/llvm/test/Transforms/SLPVectorizer/insert-element-multiple-uses.ll (revision 706e71076e0276747e7ae94e3f8a7f73a45e5b6e)
1*706e7107SElvina Yakubova; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2*706e7107SElvina Yakubova; RUN: %if x86-registered-target %{ opt -S -passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s %}
3*706e7107SElvina Yakubova; RUN: %if aarch64-registered-target %{ opt -S -passes=slp-vectorizer -mtriple=aarch64-unknown-linux-gnu < %s | FileCheck %s %}
4*706e7107SElvina Yakubova
5*706e7107SElvina Yakubovadefine void @main() {
6*706e7107SElvina Yakubova; CHECK-LABEL: @main(
7*706e7107SElvina Yakubova; CHECK-NEXT:  entry:
8*706e7107SElvina Yakubova; CHECK-NEXT:    [[TMP0:%.*]] = load <2 x i64>, ptr undef, align 16
9*706e7107SElvina Yakubova; CHECK-NEXT:    [[VEC_0_VEC_EXTRACT_I:%.*]] = extractelement <2 x i64> [[TMP0]], i32 0
10*706e7107SElvina Yakubova; CHECK-NEXT:    [[ADD_I:%.*]] = add i64 [[VEC_0_VEC_EXTRACT_I]], 1
11*706e7107SElvina Yakubova; CHECK-NEXT:    [[VEC_0_VEC_INSERT_I:%.*]] = insertelement <2 x i64> [[TMP0]], i64 [[ADD_I]], i32 0
12*706e7107SElvina Yakubova; CHECK-NEXT:    [[CMP_I:%.*]] = icmp eq i64 [[ADD_I]], 0
13*706e7107SElvina Yakubova; CHECK-NEXT:    [[VEC_8_VEC_EXTRACT_I:%.*]] = extractelement <2 x i64> [[TMP0]], i32 1
14*706e7107SElvina Yakubova; CHECK-NEXT:    [[INC_I:%.*]] = add i64 [[VEC_8_VEC_EXTRACT_I]], 1
15*706e7107SElvina Yakubova; CHECK-NEXT:    [[VEC_8_VEC_INSERT_I:%.*]] = insertelement <2 x i64> [[VEC_0_VEC_INSERT_I]], i64 [[INC_I]], i32 1
16*706e7107SElvina Yakubova; CHECK-NEXT:    [[VEC_0_I:%.*]] = select i1 [[CMP_I]], <2 x i64> [[VEC_8_VEC_INSERT_I]], <2 x i64> [[VEC_0_VEC_INSERT_I]]
17*706e7107SElvina Yakubova; CHECK-NEXT:    ret void
18*706e7107SElvina Yakubova;
19*706e7107SElvina Yakubovaentry:
20*706e7107SElvina Yakubova  %0 = load <2 x i64>, ptr undef, align 16
21*706e7107SElvina Yakubova  %vec.0.vec.extract.i = extractelement <2 x i64> %0, i32 0
22*706e7107SElvina Yakubova  %add.i = add i64 %vec.0.vec.extract.i, 1
23*706e7107SElvina Yakubova  %vec.0.vec.insert.i = insertelement <2 x i64> %0, i64 %add.i, i32 0
24*706e7107SElvina Yakubova  %cmp.i = icmp eq i64 %add.i, 0
25*706e7107SElvina Yakubova  %vec.8.vec.extract.i = extractelement <2 x i64> %0, i32 1
26*706e7107SElvina Yakubova  %inc.i = add i64 %vec.8.vec.extract.i, 1
27*706e7107SElvina Yakubova  %vec.8.vec.insert.i = insertelement <2 x i64> %vec.0.vec.insert.i, i64 %inc.i, i32 1
28*706e7107SElvina Yakubova  %vec.0.i = select i1 %cmp.i, <2 x i64> %vec.8.vec.insert.i, <2 x i64> %vec.0.vec.insert.i
29*706e7107SElvina Yakubova  ret void
30*706e7107SElvina Yakubova}
31*706e7107SElvina Yakubova
32