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

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