gcc/testsuite/gcc.dg/vect/vect-live-slp-2.c

   1 /* { dg-require-effective-target vect_int } */
   2 /* { dg-additional-options "-fno-tree-scev-cprop" } */
   3
   4 #include "tree-vect.h"
   5
   6 /* Statement in SLP vectorization used outside the loop.
   7    NOTE: SCEV disabled to ensure the live operation is not removed before
   8    vectorization.  */
   9 #define LIVELOOP(RET) \
  10 __attribute__ ((noinline)) int \
  11 liveloop##RET (int n, int *x, int *y) \
  12 { \
  13   int n0, n1, j; \
  14   for (j = 0; j < n; ++j) \
  15     { \
  16       n0 = x[(j*2)]; \
  17       n1 = x[(j*2)+1]; \
  18       y[(j*2)] = n0 + 1; \
  19       y[(j*2)+1] = n1 + 2; \
  20     } \
  21   return n##RET; \
  22 }
  23
  24 LIVELOOP (0)
  25 LIVELOOP (1)
  26 typedef int (*FP)(int n, int *x, int *y);
  27 const FP llf[]= {&liveloop0, &liveloop1};
  28
  29 #define MAX 137
  30
  31 int
  32 main (void)
  33 {
  34   int a[MAX*4];
  35   int b[MAX*4];
  36   int i;
  37
  38   check_vect ();
  39
  40   for (i=0; i<MAX*2; i++)
  41     {
  42       __asm__ volatile ("");
  43       a[i] = i;
  44     }
  45
  46   for (i=0; i<2; i++)
  47     {
  48       __asm__ volatile ("");
  49
  50       int ret = llf[i] (MAX, a, b);
  51
  52       if (ret != (MAX * 2) - 2 + i)
  53         abort ();
  54
  55       for (i=0; i<MAX*2; i++)
  56         {
  57           __asm__ volatile ("");
  58           if (b[i] != i + (i%2) + 1)
  59             abort ();
  60         }
  61     }
  62 }
  63
  64 /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 2 "vect" } } */
  65 /* { dg-final { scan-tree-dump-times "vectorizing stmts using SLP" 2 "vect" } } */
  66 /* { dg-final { scan-tree-dump-times "vec_stmt_relevant_p: stmt live but not relevant" 2 "vect" } } */