test/Transforms/SLPVectorizer/X86/PR40310.ll

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