llvm/test/Transforms/SLPVectorizer/X86/insert-element-multiple-uses.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -passes=slp-vectorizer < %s | FileCheck %s
   3
   4 define void @main() {
   5 ; CHECK-LABEL: @main(
   6 ; CHECK-NEXT:  entry:
   7 ; CHECK-NEXT:    [[TMP0:%.*]] = load <2 x i64>, ptr undef, align 16
   8 ; CHECK-NEXT:    [[VEC_0_VEC_EXTRACT_I:%.*]] = extractelement <2 x i64> [[TMP0]], i32 0
   9 ; CHECK-NEXT:    [[ADD_I:%.*]] = add i64 [[VEC_0_VEC_EXTRACT_I]], 1
  10 ; CHECK-NEXT:    [[VEC_0_VEC_INSERT_I:%.*]] = insertelement <2 x i64> [[TMP0]], i64 [[ADD_I]], i32 0
  11 ; CHECK-NEXT:    [[CMP_I:%.*]] = icmp eq i64 [[ADD_I]], 0
  12 ; CHECK-NEXT:    [[VEC_8_VEC_EXTRACT_I:%.*]] = extractelement <2 x i64> [[TMP0]], i32 1
  13 ; CHECK-NEXT:    [[INC_I:%.*]] = add i64 [[VEC_8_VEC_EXTRACT_I]], 1
  14 ; CHECK-NEXT:    [[VEC_8_VEC_INSERT_I:%.*]] = insertelement <2 x i64> [[VEC_0_VEC_INSERT_I]], i64 [[INC_I]], i32 1
  15 ; 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]]
  16 ; CHECK-NEXT:    ret void
  17 ;
  18 entry:
  19   %0 = load <2 x i64>, ptr undef, align 16
  20   %vec.0.vec.extract.i = extractelement <2 x i64> %0, i32 0
  21   %add.i = add i64 %vec.0.vec.extract.i, 1
  22   %vec.0.vec.insert.i = insertelement <2 x i64> %0, i64 %add.i, i32 0
  23   %cmp.i = icmp eq i64 %add.i, 0
  24   %vec.8.vec.extract.i = extractelement <2 x i64> %0, i32 1
  25   %inc.i = add i64 %vec.8.vec.extract.i, 1
  26   %vec.8.vec.insert.i = insertelement <2 x i64> %vec.0.vec.insert.i, i64 %inc.i, i32 1
  27   %vec.0.i = select i1 %cmp.i, <2 x i64> %vec.8.vec.insert.i, <2 x i64> %vec.0.vec.insert.i
  28   ret void
  29 }
  30