llvm/test/Transforms/SLPVectorizer/slp-max-reg-size.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=slp-vectorizer -slp-max-vf=8 -slp-min-reg-size=32 -slp-max-reg-size=160 -S | FileCheck  -check-prefix CHECK-VF8-160 %s
   3 ; RUN: opt < %s -passes=slp-vectorizer -slp-max-vf=4 -slp-min-reg-size=32 -slp-max-reg-size=160 -S | FileCheck  -check-prefix CHECK-VF4-160 %s
   4 ; RUN: opt < %s -passes=slp-vectorizer -slp-max-vf=2 -slp-min-reg-size=32 -slp-max-reg-size=160 -S | FileCheck  -check-prefix CHECK-VF2-160 %s
   5 ; RUN: opt < %s -passes=slp-vectorizer -slp-max-vf=8 -slp-min-reg-size=32 -slp-max-reg-size=128 -S | FileCheck -check-prefix CHECK-VF8-128 %s
   6 ; RUN: opt < %s -passes=slp-vectorizer -slp-max-vf=4 -slp-min-reg-size=32 -slp-max-reg-size=128 -S | FileCheck -check-prefix CHECK-VF4-128 %s
   7 ; RUN: opt < %s -passes=slp-vectorizer -slp-max-vf=2 -slp-min-reg-size=32 -slp-max-reg-size=128 -S | FileCheck -check-prefix CHECK-VF2-128 %s
   8 ; RUN: opt < %s -passes=slp-vectorizer -slp-max-vf=8 -slp-min-reg-size=32 -slp-max-reg-size=256 -S | FileCheck -check-prefix CHECK-VF8-256 %s
   9 ; RUN: opt < %s -passes=slp-vectorizer -slp-max-vf=2 -slp-min-reg-size=128 -slp-max-reg-size=128 -S | FileCheck -check-prefix CHECK-VF2-128-128 %s
  10
  11 ; This test case is checking if max register size (and max VF) is honored when
  12 ; vecorizing store chains in SLPVectorizer.
  13
  14 @X = external global [8 x i32], align 1
  15
  16 define void @foo() {
  17 ; CHECK-VF8-160-LABEL: @foo(
  18 ; CHECK-VF8-160-NEXT:    store <4 x i32> <i32 1, i32 2, i32 3, i32 4>, ptr @X, align 1
  19 ; CHECK-VF8-160-NEXT:    store <4 x i32> <i32 5, i32 6, i32 7, i32 8>, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 4), align 1
  20 ; CHECK-VF8-160-NEXT:    ret void
  21 ;
  22 ; CHECK-VF4-160-LABEL: @foo(
  23 ; CHECK-VF4-160-NEXT:    store <4 x i32> <i32 1, i32 2, i32 3, i32 4>, ptr @X, align 1
  24 ; CHECK-VF4-160-NEXT:    store <4 x i32> <i32 5, i32 6, i32 7, i32 8>, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 4), align 1
  25 ; CHECK-VF4-160-NEXT:    ret void
  26 ;
  27 ; CHECK-VF2-160-LABEL: @foo(
  28 ; CHECK-VF2-160-NEXT:    store <2 x i32> <i32 1, i32 2>, ptr @X, align 1
  29 ; CHECK-VF2-160-NEXT:    store <2 x i32> <i32 3, i32 4>, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 2), align 1
  30 ; CHECK-VF2-160-NEXT:    store <2 x i32> <i32 5, i32 6>, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 4), align 1
  31 ; CHECK-VF2-160-NEXT:    store <2 x i32> <i32 7, i32 8>, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 6), align 1
  32 ; CHECK-VF2-160-NEXT:    ret void
  33 ;
  34 ; CHECK-VF8-128-LABEL: @foo(
  35 ; CHECK-VF8-128-NEXT:    store <4 x i32> <i32 1, i32 2, i32 3, i32 4>, ptr @X, align 1
  36 ; CHECK-VF8-128-NEXT:    store <4 x i32> <i32 5, i32 6, i32 7, i32 8>, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 4), align 1
  37 ; CHECK-VF8-128-NEXT:    ret void
  38 ;
  39 ; CHECK-VF4-128-LABEL: @foo(
  40 ; CHECK-VF4-128-NEXT:    store <4 x i32> <i32 1, i32 2, i32 3, i32 4>, ptr @X, align 1
  41 ; CHECK-VF4-128-NEXT:    store <4 x i32> <i32 5, i32 6, i32 7, i32 8>, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 4), align 1
  42 ; CHECK-VF4-128-NEXT:    ret void
  43 ;
  44 ; CHECK-VF2-128-LABEL: @foo(
  45 ; CHECK-VF2-128-NEXT:    store <2 x i32> <i32 1, i32 2>, ptr @X, align 1
  46 ; CHECK-VF2-128-NEXT:    store <2 x i32> <i32 3, i32 4>, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 2), align 1
  47 ; CHECK-VF2-128-NEXT:    store <2 x i32> <i32 5, i32 6>, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 4), align 1
  48 ; CHECK-VF2-128-NEXT:    store <2 x i32> <i32 7, i32 8>, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 6), align 1
  49 ; CHECK-VF2-128-NEXT:    ret void
  50 ;
  51 ; CHECK-VF8-256-LABEL: @foo(
  52 ; CHECK-VF8-256-NEXT:    store <8 x i32> <i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8>, ptr @X, align 1
  53 ; CHECK-VF8-256-NEXT:    ret void
  54 ;
  55 ; CHECK-VF2-128-128-LABEL: @foo(
  56 ; CHECK-VF2-128-128-NEXT:    store i32 1, ptr @X, align 1
  57 ; CHECK-VF2-128-128-NEXT:    store i32 2, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 1), align 1
  58 ; CHECK-VF2-128-128-NEXT:    store i32 3, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 2), align 1
  59 ; CHECK-VF2-128-128-NEXT:    store i32 4, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 3), align 1
  60 ; CHECK-VF2-128-128-NEXT:    store i32 5, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 4), align 1
  61 ; CHECK-VF2-128-128-NEXT:    store i32 6, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 5), align 1
  62 ; CHECK-VF2-128-128-NEXT:    store i32 7, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 6), align 1
  63 ; CHECK-VF2-128-128-NEXT:    store i32 8, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 7), align 1
  64 ; CHECK-VF2-128-128-NEXT:    ret void
  65 ;
  66   store i32 1, ptr @X, align 1
  67   store i32 2, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 1), align 1
  68   store i32 3, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 2), align 1
  69   store i32 4, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 3), align 1
  70   store i32 5, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 4), align 1
  71   store i32 6, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 5), align 1
  72   store i32 7, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 6), align 1
  73   store i32 8, ptr getelementptr inbounds ([8 x i32], ptr @X, i16 0, i16 7), align 1
  74   ret void
  75 }