gcc/testsuite/gcc.dg/vect/vect-live-3.c

   1 /* { dg-require-effective-target vect_int } */
   2
   3 #include "tree-vect.h"
   4
   5 /* Two Statements used outside the loop.  SCEV cannot hoist the stmt.  */
   6 __attribute__ ((noinline)) int
   7 liveloop (int start, int n, int *x, int *y)
   8 {
   9   int i = start;
  10   int j;
  11   int ret;
  12
  13   for (j = 0; j < n; ++j)
  14     {
  15       ret = x[j] + y[j];
  16       i += 1;
  17       x[j] = i;
  18     }
  19   return ret;
  20 }
  21
  22 #define MAX 173
  23 #define START 7
  24
  25 int
  26 main (void)
  27 {
  28   int a[MAX];
  29   int b[MAX];
  30   int i;
  31
  32   check_vect ();
  33
  34   for (i=0; i<MAX; i++)
  35     {
  36       __asm__ volatile ("");
  37       a[i] = i;
  38       b[i] = i * 2;
  39     }
  40
  41   int ret = liveloop (START, MAX, a, b);
  42
  43   if (ret != (MAX - 1) * 3)
  44     abort ();
  45
  46   for (i=0; i<MAX; i++)
  47     {
  48       __asm__ volatile ("");
  49       if (a[i] != i+START+1)
  50         abort ();
  51     }
  52 }
  53
  54 /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" } } */
  55 /* { dg-final { scan-tree-dump-times "vec_stmt_relevant_p: stmt live but not relevant" 2 "vect" } } */