llvm/test/Transforms/SLPVectorizer/X86/PR40310.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=slp-vectorizer -S -mtriple=x86_64-unknown-linux-gnu -mcpu=skylake < %s | FileCheck %s
   3
   4 define void @mainTest(i32 %param, ptr %vals, i32 %len) {
   5 ; CHECK-LABEL: @mainTest(
   6 ; CHECK-NEXT:  bci_15.preheader:
   7 ; CHECK-NEXT:    [[TMP0:%.*]] = insertelement <2 x i32> <i32 poison, i32 31>, i32 [[PARAM:%.*]], i32 0
   8 ; CHECK-NEXT:    br label [[BCI_15:%.*]]
   9 ; CHECK:       bci_15:
  10 ; CHECK-NEXT:    [[TMP1:%.*]] = phi <2 x i32> [ [[TMP7:%.*]], [[BCI_15]] ], [ [[TMP0]], [[BCI_15_PREHEADER:%.*]] ]
  11 ; CHECK-NEXT:    [[SHUFFLE:%.*]] = shufflevector <2 x i32> [[TMP1]], <2 x i32> poison, <16 x i32> <i32 0, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1>
  12 ; CHECK-NEXT:    [[TMP2:%.*]] = extractelement <16 x i32> [[SHUFFLE]], i32 1
  13 ; CHECK-NEXT:    [[TMP3:%.*]] = add <16 x i32> [[SHUFFLE]], <i32 -1, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>
  14 ; CHECK-NEXT:    [[TMP4:%.*]] = extractelement <16 x i32> [[SHUFFLE]], i32 0
  15 ; CHECK-NEXT:    store atomic i32 [[TMP4]], ptr [[VALS:%.*]] unordered, align 4
  16 ; CHECK-NEXT:    [[TMP5:%.*]] = call i32 @llvm.vector.reduce.and.v16i32(<16 x i32> [[TMP3]])
  17 ; CHECK-NEXT:    [[OP_RDX:%.*]] = and i32 [[TMP5]], [[TMP2]]
  18 ; CHECK-NEXT:    [[V44:%.*]] = add i32 [[TMP2]], 16
  19 ; CHECK-NEXT:    [[TMP6:%.*]] = insertelement <2 x i32> poison, i32 [[OP_RDX]], i32 0
  20 ; CHECK-NEXT:    [[TMP7]] = insertelement <2 x i32> [[TMP6]], i32 [[V44]], i32 1
  21 ; CHECK-NEXT:    br i1 true, label [[BCI_15]], label [[LOOPEXIT:%.*]]
  22 ; CHECK:       loopexit:
  23 ; CHECK-NEXT:    ret void
  24 ;
  25 bci_15.preheader:
  26   br label %bci_15
  27
  28 bci_15:                                       ; preds = %bci_15.preheader, %bci_15
  29   %local_0_ = phi i32 [ %v43, %bci_15 ], [ %param, %bci_15.preheader ]
  30   %local_4_ = phi i32 [ %v44, %bci_15 ], [ 31, %bci_15.preheader ]
  31   %v12 = add i32 %local_0_, -1
  32   store atomic i32 %local_0_, ptr %vals unordered, align 4
  33   %v13 = add i32 %local_4_, 1
  34   %v14 = and i32 %local_4_, %v12
  35   %v15 = add i32 %local_4_, 2
  36   %v16 = and i32 %v13, %v14
  37   %v17 = add i32 %local_4_, 3
  38   %v18 = and i32 %v15, %v16
  39   %v19 = add i32 %local_4_, 4
  40   %v20 = and i32 %v17, %v18
  41   %v21 = add i32 %local_4_, 5
  42   %v22 = and i32 %v19, %v20
  43   %v23 = add i32 %local_4_, 6
  44   %v24 = and i32 %v21, %v22
  45   %v25 = add i32 %local_4_, 7
  46   %v26 = and i32 %v23, %v24
  47   %v27 = add i32 %local_4_, 8
  48   %v28 = and i32 %v25, %v26
  49   %v29 = add i32 %local_4_, 9
  50   %v30 = and i32 %v27, %v28
  51   %v31 = add i32 %local_4_, 10
  52   %v32 = and i32 %v29, %v30
  53   %v33 = add i32 %local_4_, 11
  54   %v34 = and i32 %v31, %v32
  55   %v35 = add i32 %local_4_, 12
  56   %v36 = and i32 %v33, %v34
  57   %v37 = add i32 %local_4_, 13
  58   %v38 = and i32 %v35, %v36
  59   %v39 = add i32 %local_4_, 14
  60   %v40 = and i32 %v37, %v38
  61   %v41 = add i32 %local_4_, 15
  62   %v42 = and i32 %v39, %v40
  63   %v43 = and i32 %v41, %v42
  64   %v44 = add i32 %local_4_, 16
  65   br i1 true, label %bci_15, label %loopexit
  66
  67 loopexit:
  68   ret void
  69 }