test/Transforms/SLPVectorizer/X86/PR32086.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -slp-vectorizer -slp-vectorize-hor -slp-vectorize-hor-store -S < %s -mtriple=x86_64-unknown-linux-gnu -mcpu=bdver2 | FileCheck %s
   3
   4 define void @i64_simplified(i64* noalias %st, i64* noalias %ld) {
   5 ; CHECK-LABEL: @i64_simplified(
   6 ; CHECK-NEXT:    [[ARRAYIDX1:%.*]] = getelementptr inbounds i64, i64* [[LD:%.*]], i64 1
   7 ; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i64* [[LD]] to <2 x i64>*
   8 ; CHECK-NEXT:    [[TMP2:%.*]] = load <2 x i64>, <2 x i64>* [[TMP1]], align 8
   9 ; CHECK-NEXT:    [[SHUFFLE:%.*]] = shufflevector <2 x i64> [[TMP2]], <2 x i64> undef, <4 x i32> <i32 0, i32 1, i32 0, i32 1>
  10 ; CHECK-NEXT:    [[ARRAYIDX3:%.*]] = getelementptr inbounds i64, i64* [[ST:%.*]], i64 1
  11 ; CHECK-NEXT:    [[ARRAYIDX4:%.*]] = getelementptr inbounds i64, i64* [[ST]], i64 2
  12 ; CHECK-NEXT:    [[ARRAYIDX5:%.*]] = getelementptr inbounds i64, i64* [[ST]], i64 3
  13 ; CHECK-NEXT:    [[TMP3:%.*]] = bitcast i64* [[ST]] to <4 x i64>*
  14 ; CHECK-NEXT:    store <4 x i64> [[SHUFFLE]], <4 x i64>* [[TMP3]], align 8
  15 ; CHECK-NEXT:    ret void
  16 ;
  17   %arrayidx1 = getelementptr inbounds i64, i64* %ld, i64 1
  18
  19   %t0 = load i64, i64* %ld, align 8
  20   %t1 = load i64, i64* %arrayidx1, align 8
  21
  22   %arrayidx3 = getelementptr inbounds i64, i64* %st, i64 1
  23   %arrayidx4 = getelementptr inbounds i64, i64* %st, i64 2
  24   %arrayidx5 = getelementptr inbounds i64, i64* %st, i64 3
  25
  26   store i64 %t0, i64* %st, align 8
  27   store i64 %t1, i64* %arrayidx3, align 8
  28   store i64 %t0, i64* %arrayidx4, align 8
  29   store i64 %t1, i64* %arrayidx5, align 8
  30   ret void
  31 }
  32
  33 define void @i64_simplifiedi_reversed(i64* noalias %st, i64* noalias %ld) {
  34 ; CHECK-LABEL: @i64_simplifiedi_reversed(
  35 ; CHECK-NEXT:    [[ARRAYIDX1:%.*]] = getelementptr inbounds i64, i64* [[LD:%.*]], i64 1
  36 ; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i64* [[LD]] to <2 x i64>*
  37 ; CHECK-NEXT:    [[TMP2:%.*]] = load <2 x i64>, <2 x i64>* [[TMP1]], align 8
  38 ; CHECK-NEXT:    [[TMP3:%.*]] = shufflevector <2 x i64> [[TMP2]], <2 x i64> undef, <2 x i32> <i32 1, i32 0>
  39 ; CHECK-NEXT:    [[SHUFFLE:%.*]] = shufflevector <2 x i64> [[TMP3]], <2 x i64> undef, <4 x i32> <i32 0, i32 1, i32 0, i32 1>
  40 ; CHECK-NEXT:    [[ARRAYIDX3:%.*]] = getelementptr inbounds i64, i64* [[ST:%.*]], i64 1
  41 ; CHECK-NEXT:    [[ARRAYIDX4:%.*]] = getelementptr inbounds i64, i64* [[ST]], i64 2
  42 ; CHECK-NEXT:    [[ARRAYIDX5:%.*]] = getelementptr inbounds i64, i64* [[ST]], i64 3
  43 ; CHECK-NEXT:    [[TMP4:%.*]] = bitcast i64* [[ST]] to <4 x i64>*
  44 ; CHECK-NEXT:    store <4 x i64> [[SHUFFLE]], <4 x i64>* [[TMP4]], align 8
  45 ; CHECK-NEXT:    ret void
  46 ;
  47   %arrayidx1 = getelementptr inbounds i64, i64* %ld, i64 1
  48
  49   %t0 = load i64, i64* %ld, align 8
  50   %t1 = load i64, i64* %arrayidx1, align 8
  51
  52   %arrayidx3 = getelementptr inbounds i64, i64* %st, i64 1
  53   %arrayidx4 = getelementptr inbounds i64, i64* %st, i64 2
  54   %arrayidx5 = getelementptr inbounds i64, i64* %st, i64 3
  55
  56   store i64 %t1, i64* %st, align 8
  57   store i64 %t0, i64* %arrayidx3, align 8
  58   store i64 %t1, i64* %arrayidx4, align 8
  59   store i64 %t0, i64* %arrayidx5, align 8
  60   ret void
  61 }
  62
  63 define void @i64_simplifiedi_extract(i64* noalias %st, i64* noalias %ld) {
  64 ; CHECK-LABEL: @i64_simplifiedi_extract(
  65 ; CHECK-NEXT:    [[ARRAYIDX1:%.*]] = getelementptr inbounds i64, i64* [[LD:%.*]], i64 1
  66 ; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i64* [[LD]] to <2 x i64>*
  67 ; CHECK-NEXT:    [[TMP2:%.*]] = load <2 x i64>, <2 x i64>* [[TMP1]], align 8
  68 ; CHECK-NEXT:    [[SHUFFLE:%.*]] = shufflevector <2 x i64> [[TMP2]], <2 x i64> undef, <4 x i32> <i32 0, i32 0, i32 0, i32 1>
  69 ; CHECK-NEXT:    [[ARRAYIDX3:%.*]] = getelementptr inbounds i64, i64* [[ST:%.*]], i64 1
  70 ; CHECK-NEXT:    [[ARRAYIDX4:%.*]] = getelementptr inbounds i64, i64* [[ST]], i64 2
  71 ; CHECK-NEXT:    [[ARRAYIDX5:%.*]] = getelementptr inbounds i64, i64* [[ST]], i64 3
  72 ; CHECK-NEXT:    [[TMP3:%.*]] = bitcast i64* [[ST]] to <4 x i64>*
  73 ; CHECK-NEXT:    store <4 x i64> [[SHUFFLE]], <4 x i64>* [[TMP3]], align 8
  74 ; CHECK-NEXT:    [[TMP4:%.*]] = extractelement <4 x i64> [[SHUFFLE]], i32 3
  75 ; CHECK-NEXT:    store i64 [[TMP4]], i64* [[LD]], align 8
  76 ; CHECK-NEXT:    ret void
  77 ;
  78   %arrayidx1 = getelementptr inbounds i64, i64* %ld, i64 1
  79
  80   %t0 = load i64, i64* %ld, align 8
  81   %t1 = load i64, i64* %arrayidx1, align 8
  82
  83   %arrayidx3 = getelementptr inbounds i64, i64* %st, i64 1
  84   %arrayidx4 = getelementptr inbounds i64, i64* %st, i64 2
  85   %arrayidx5 = getelementptr inbounds i64, i64* %st, i64 3
  86
  87   store i64 %t0, i64* %st, align 8
  88   store i64 %t0, i64* %arrayidx3, align 8
  89   store i64 %t0, i64* %arrayidx4, align 8
  90   store i64 %t1, i64* %arrayidx5, align 8
  91   store i64 %t1, i64* %ld, align 8
  92   ret void
  93 }
  94