gcc/testsuite/gcc.dg/vect/slp-13.c

   1 /* { dg-require-effective-target vect_int } */
   2
   3 #include <stdarg.h>
   4 #include "tree-vect.h"
   5
   6 #define N 8
   7
   8 int
   9 main1 ()
  10 {
  11   int i;
  12   unsigned short out[N*8];
  13   unsigned short in[N*8] = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63};
  14   unsigned int in2[N*8] = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63};
  15   unsigned int out2[N*8];
  16
  17   /* Induction is SLPable.  */
  18   for (i = 0; i < N; i++)
  19     {
  20       out[i*8] = in[i*8] + i;
  21       out[i*8 + 1] = in[i*8 + 1] + i;
  22       out[i*8 + 2] = in[i*8 + 2] + i;
  23       out[i*8 + 3] = in[i*8 + 3] + i;
  24       out[i*8 + 4] = in[i*8 + 4] + i;
  25       out[i*8 + 5] = in[i*8 + 5] + i;
  26       out[i*8 + 6] = in[i*8 + 6] + i;
  27       out[i*8 + 7] = in[i*8 + 7] + i;
  28     }
  29
  30   /* check results:  */
  31   for (i = 0; i < N; i++)
  32     {
  33       if (out[i*8] !=  in[i*8] + i
  34          || out[i*8 + 1] != in[i*8 + 1] + i
  35          || out[i*8 + 2] != in[i*8 + 2] + i
  36          || out[i*8 + 3] != in[i*8 + 3] + i
  37          || out[i*8 + 4] != in[i*8 + 4] + i
  38          || out[i*8 + 5] != in[i*8 + 5] + i
  39          || out[i*8 + 6] != in[i*8 + 6] + i
  40          || out[i*8 + 7] != in[i*8 + 7] + i)
  41         abort ();
  42     }
  43
  44   /* Induction is SLPable.  */
  45   for (i = 0; i < N/2; i++)
  46     {
  47       out2[i*12] = in2[i*12] + i;
  48       out2[i*12 + 1] = in2[i*12 + 1] + i;
  49       out2[i*12 + 2] = in2[i*12 + 2] + i;
  50       out2[i*12 + 3] = in2[i*12 + 3] + i;
  51       out2[i*12 + 4] = in2[i*12 + 4] + i;
  52       out2[i*12 + 5] = in2[i*12 + 5] + i;
  53       out2[i*12 + 6] = in2[i*12 + 6] + i;
  54       out2[i*12 + 7] = in2[i*12 + 7] + i;
  55       out2[i*12 + 8] = in2[i*12 + 8] + i;
  56       out2[i*12 + 9] = in2[i*12 + 9] + i;
  57       out2[i*12 + 10] = in2[i*12 + 10] + i;
  58       out2[i*12 + 11] = in2[i*12 + 11] + i;
  59     }
  60
  61   /* check results:  */
  62   for (i = 0; i < N/2; i++)
  63     {
  64         if (out2[i*12] != in2[i*12] + i
  65             || out2[i*12 + 1] != in2[i*12 + 1] + i
  66             || out2[i*12 + 2] != in2[i*12 + 2] + i
  67             || out2[i*12 + 3] != in2[i*12 + 3] + i
  68             || out2[i*12 + 4] != in2[i*12 + 4] + i
  69             || out2[i*12 + 5] != in2[i*12 + 5] + i
  70             || out2[i*12 + 6] != in2[i*12 + 6] + i
  71             || out2[i*12 + 7] != in2[i*12 + 7] + i
  72             || out2[i*12 + 8] != in2[i*12 + 8] + i
  73             || out2[i*12 + 9] != in2[i*12 + 9] + i
  74             || out2[i*12 + 10] != in2[i*12 + 10] + i
  75             || out2[i*12 + 11] != in2[i*12 + 11] + i)
  76           abort ();
  77     }
  78
  79   /* Not power of 2 but SLPable.  */
  80   for (i = 0; i < N/2; i++)
  81     {
  82       out2[i*12] = in2[i*12] + 1;
  83       out2[i*12 + 1] = in2[i*12 + 1] + 2;
  84       out2[i*12 + 2] = in2[i*12 + 2] + 3;
  85       out2[i*12 + 3] = in2[i*12 + 3] + 4;
  86       out2[i*12 + 4] = in2[i*12 + 4] + 5;
  87       out2[i*12 + 5] = in2[i*12 + 5] + 6;
  88       out2[i*12 + 6] = in2[i*12 + 6] + 7;
  89       out2[i*12 + 7] = in2[i*12 + 7] + 8;
  90       out2[i*12 + 8] = in2[i*12 + 8] + 9;
  91       out2[i*12 + 9] = in2[i*12 + 9] + 10;
  92       out2[i*12 + 10] = in2[i*12 + 10] + 11;
  93       out2[i*12 + 11] = in2[i*12 + 11] + 12;
  94     }
  95
  96   /* check results:  */
  97   for (i = 0; i < N/2; i++)
  98     {
  99         if (out2[i*12] != in2[i*12] + 1
 100             || out2[i*12 + 1] != in2[i*12 + 1] + 2
 101             || out2[i*12 + 2] != in2[i*12 + 2] + 3
 102             || out2[i*12 + 3] != in2[i*12 + 3] + 4
 103             || out2[i*12 + 4] != in2[i*12 + 4] + 5
 104             || out2[i*12 + 5] != in2[i*12 + 5] + 6
 105             || out2[i*12 + 6] != in2[i*12 + 6] + 7
 106             || out2[i*12 + 7] != in2[i*12 + 7] + 8
 107             || out2[i*12 + 8] != in2[i*12 + 8] + 9
 108             || out2[i*12 + 9] != in2[i*12 + 9] + 10
 109             || out2[i*12 + 10] != in2[i*12 + 10] + 11
 110             || out2[i*12 + 11] != in2[i*12 + 11] + 12)
 111           abort ();
 112     }
 113
 114
 115
 116   return 0;
 117 }
 118
 119 int main (void)
 120 {
 121   check_vect ();
 122
 123   main1 ();
 124
 125   return 0;
 126 }
 127
 128 /* { dg-final { scan-tree-dump-times "vectorized 2 loops" 1 "vect" { target { { vect_interleave && vect_extract_even_odd } && { ! vect_pack_trunc } } } } } */
 129 /* { dg-final { scan-tree-dump-times "vectorizing stmts using SLP" 2 "vect" { target { ! vect_pack_trunc } } } } */
 130 /* { dg-final { scan-tree-dump-times "vectorized 3 loops" 1 "vect" { target { { vect_interleave && vect_extract_even_odd } && vect_pack_trunc } } } } */
 131 /* { dg-final { scan-tree-dump-times "vectorizing stmts using SLP" 3 "vect" { target vect_pack_trunc xfail vect_variable_length } } } */