gcc/testsuite/gcc.dg/vect/bb-slp-pr81635-4.c

   1 /* { dg-do compile } */
   2 /* { dg-additional-options "-fno-tree-loop-vectorize" } */
   3 /* { dg-require-effective-target lp64 } */
   4
   5 void
   6 f1 (double *p, double *q, unsigned int n)
   7 {
   8   p = (double *) __builtin_assume_aligned (p, sizeof (double) * 2);
   9   q = (double *) __builtin_assume_aligned (q, sizeof (double) * 2);
  10   for (unsigned int i = 0; i < n; i += 1)
  11     {
  12       double a = q[i] + p[i];
  13       double b = q[i + 1] + p[i + 1];
  14       q[i] = a;
  15       q[i + 1] = b;
  16     }
  17 }
  18
  19 void
  20 f2 (double *p, double *q, unsigned int n)
  21 {
  22   p = (double *) __builtin_assume_aligned (p, sizeof (double) * 2);
  23   q = (double *) __builtin_assume_aligned (q, sizeof (double) * 2);
  24   for (unsigned int i = 0; i < n; i += 3)
  25     {
  26       double a = q[i] + p[i];
  27       double b = q[i + 1] + p[i + 1];
  28       q[i] = a;
  29       q[i + 1] = b;
  30     }
  31 }
  32
  33 void
  34 f3 (double *p, double *q, unsigned int start, unsigned int n)
  35 {
  36   p = (double *) __builtin_assume_aligned (p, sizeof (double) * 2);
  37   q = (double *) __builtin_assume_aligned (q, sizeof (double) * 2);
  38   for (unsigned int i = start; i < n; i += 2)
  39     {
  40       double a = q[i] + p[i];
  41       double b = q[i + 1] + p[i + 1];
  42       q[i] = a;
  43       q[i + 1] = b;
  44     }
  45 }
  46
  47 /* { dg-final { scan-tree-dump-not "basic block vectorized" "slp1" } } */