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

   1 /* { dg-require-effective-target vect_int } */
   2 /* { dg-require-effective-target vect_float } */
   3 /* { dg-add-options bind_pic_locally } */
   4 /* { dg-additional-options "-fdump-tree-optimized-details-blocks" } */
   5
   6 #include <stdarg.h>
   7 #include "tree-vect.h"
   8
   9 #define N 20
  10
  11 float a[N];
  12 float e[N];
  13 float b[N] = {0,3,6,9,12,15,18,21,24,27,30,33,36,39,42,45};
  14 float c[N] = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15};
  15 float d[N] = {0,2,4,6,8,10,12,14,16,18,20,22,24,26,28,30};
  16 int ic[N] = {0,3,6,9,12,15,18,21,24,27,30,33,36,39,42,45};
  17 int ib[N] = {0,3,6,9,12,15,18,21,24,27,30,33,36,39,42,45};
  18 int ia[N];
  19
  20 __attribute__ ((noinline)) int
  21 main1 ()
  22 {
  23   int i;
  24
  25   for (i = 0; i < N; i++)
  26     {
  27       a[i] = b[i] + c[i] + d[i];
  28       e[i] = b[i] + c[i] + d[i];
  29       ia[i] = ib[i] + ic[i];
  30     }
  31
  32   /* check results:  */
  33 #pragma GCC novector
  34   for (i = 0; i <N; i++)
  35     {
  36       float fres = b[i] + c[i] + d[i];
  37       int ires = ib[i] + ic[i];
  38       if (a[i] != fres || e[i] != fres || ia[i] != ires)
  39         abort ();
  40     }
  41
  42   return 0;
  43 }
  44
  45 int main (void)
  46 {
  47   check_vect ();
  48
  49   return main1 ();
  50 }
  51
  52 /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" } } */
  53 /* { dg-final { scan-tree-dump-times "Vectorizing an unaligned access" 0 "vect" } } */
  54 /* { dg-final { scan-tree-dump-not "Invalid sum" "optimized" } } */