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

   1 /* { dg-require-effective-target vect_float } */
   2
   3 #include <stdarg.h>
   4 #include "tree-vect.h"
   5
   6 #define N 256
   7
   8 float pa[N] __attribute__ ((__aligned__(__BIGGEST_ALIGNMENT__)));
   9 float pb[N] __attribute__ ((__aligned__(__BIGGEST_ALIGNMENT__))) = {0,3,6,9,12,15,18,21,24,27,30,33,36,39,42,45,48,51,54,57};
  10 float pc[N] __attribute__ ((__aligned__(__BIGGEST_ALIGNMENT__))) = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19};
  11
  12 /* Check handling of unaligned accesses when the misalignment is
  13    known at compile time and different accesses have the same
  14    misalignment (e.g. peeling to align one access will align all
  15    accesses with the same misalignment.  Also, the number of
  16    peeled iterations is known in this case, and the vectorizer
  17    can use this information (generate prolog and epilog loops
  18    with known number of iterations, and only if needed).  */
  19
  20 #if VECTOR_BITS > 128
  21 #define NITER (VECTOR_BITS * 3 / 32)
  22 #else
  23 #define NITER 12
  24 #endif
  25
  26 __attribute__ ((noinline)) int
  27 main1 ()
  28 {
  29   int i;
  30
  31   for (i = 0; i < NITER - 2; i++)
  32     {
  33       pa[i+1] = pb[i+1] * pc[i+1];
  34     }
  35
  36   /* check results:  */
  37   for (i = 0; i < 10; i++)
  38     {
  39       if (pa[i+1] != (pb[i+1] * pc[i+1]))
  40         abort ();
  41     }
  42
  43   return 0;
  44 }
  45
  46 __attribute__ ((noinline)) int
  47 main2 ()
  48 {
  49   int i;
  50
  51   for (i = 0; i < NITER; i++)
  52     {
  53       pa[i+1] = pb[i+1] * pc[i+1];
  54     }
  55
  56   /* check results:  */
  57   for (i = 0; i < 12; i++)
  58     {
  59       if (pa[i+1] != (pb[i+1] * pc[i+1]))
  60         abort ();
  61     }
  62
  63   return 0;
  64 }
  65
  66 __attribute__ ((noinline)) int
  67 main3 (int n)
  68 {
  69   int i;
  70
  71   for (i = 0; i < n; i++)
  72     {
  73       pa[i+1] = pb[i+1] * pc[i+1];
  74     }
  75
  76   /* check results:  */
  77   for (i = 0; i < n; i++)
  78     {
  79       if (pa[i+1] != (pb[i+1] * pc[i+1]))
  80         abort ();
  81     }
  82
  83   return 0;
  84 }
  85
  86 int main (void)
  87 {
  88   int i;
  89
  90   check_vect ();
  91
  92   main1 ();
  93   main2 ();
  94   main3 (N-1);
  95
  96   return 0;
  97 }
  98
  99 /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 3 "vect" } } */
 100 /* { dg-final { scan-tree-dump-times "Vectorizing an unaligned access" 0 "vect" } } */
 101 /* { dg-final { scan-tree-dump-times "Alignment of access forced using peeling" 3 "vect" { xfail vect_element_align_preferred } } } */