llvm/test/Transforms/SLPVectorizer/X86/insertelement-uses-vectorized-index.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
   2 ; RUN: opt -S --passes=slp-vectorizer -slp-threshold=-10 < %s -mtriple=x86_64-pc-windows-msvc19.39.33523 | FileCheck %s
   3
   4 define void @test(ptr %0) {
   5 ; CHECK-LABEL: define void @test(
   6 ; CHECK-SAME: ptr [[TMP0:%.*]]) {
   7 ; CHECK-NEXT:  [[ENTRY:.*:]]
   8 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x ptr> <ptr null, ptr poison>, ptr [[TMP0]], i32 1
   9 ; CHECK-NEXT:    [[TMP2:%.*]] = ptrtoint <2 x ptr> [[TMP1]] to <2 x i64>
  10 ; CHECK-NEXT:    [[TMP3:%.*]] = trunc <2 x i64> [[TMP2]] to <2 x i32>
  11 ; CHECK-NEXT:    switch i32 0, label %[[NEWFUNCROOT994:.*]] [
  12 ; CHECK-NEXT:      i32 1, label %[[NEWFUNCROOT994]]
  13 ; CHECK-NEXT:      i32 0, label %[[NEWFUNCROOT584:.*]]
  14 ; CHECK-NEXT:    ]
  15 ; CHECK:       [[NEWFUNCROOT584]]:
  16 ; CHECK-NEXT:    [[TMP4:%.*]] = shufflevector <2 x i32> [[TMP3]], <2 x i32> poison, <4 x i32> <i32 0, i32 1, i32 poison, i32 poison>
  17 ; CHECK-NEXT:    ret void
  18 ; CHECK:       [[NEWFUNCROOT994]]:
  19 ; CHECK-NEXT:    [[TMP5:%.*]] = extractelement <2 x i32> [[TMP3]], i32 1
  20 ; CHECK-NEXT:    [[TMP6:%.*]] = extractelement <2 x i64> [[TMP2]], i32 0
  21 ; CHECK-NEXT:    [[TMP7:%.*]] = insertelement <4 x i32> zeroinitializer, i32 [[TMP5]], i64 [[TMP6]]
  22 ; CHECK-NEXT:    ret void
  23 ;
  24 entry:
  25   %1 = ptrtoint ptr %0 to i64
  26   %2 = trunc i64 %1 to i32
  27   %3 = ptrtoint ptr null to i64
  28   %4 = trunc i64 %3 to i32
  29   switch i32 0, label %newFuncRoot994 [
  30   i32 1, label %newFuncRoot994
  31   i32 0, label %newFuncRoot584
  32   ]
  33
  34 newFuncRoot584:
  35   %5 = insertelement <4 x i32> poison, i32 %4, i64 0
  36   %6 = insertelement <4 x i32> %5, i32 %2, i64 1
  37   ret void
  38
  39 newFuncRoot994:
  40   %7 = insertelement <4 x i32> zeroinitializer, i32 %2, i64 %3
  41   ret void
  42 }