gcc/testsuite/gcc.dg/vect/vect-42.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 __attribute__ ((noinline))
   9 void bar (float *pa, float *pb, float *pc)
  10 {
  11   int i;
  12
  13   /* check results:  */
  14   for (i = 0; i < N; i++)
  15     {
  16       if (pa[i] != (pb[i] * pc[i]))
  17         abort ();
  18     }
  19
  20   return;
  21 }
  22
  23 /* Unaligned write access, aligned read accesses.
  24    Since we are handling an unaligned store by peeling the loop,
  25    the loads will become unaligned.
  26    The loop bound is known and divisible by the vectorization factor.
  27    No aliasing problems.  */
  28
  29 __attribute__ ((noinline)) int
  30 main1 (float * __restrict__ pa, float *pb, float *pc)
  31 {
  32   float b[N] __attribute__ ((__aligned__(__BIGGEST_ALIGNMENT__)));
  33   float c[N] __attribute__ ((__aligned__(__BIGGEST_ALIGNMENT__)));
  34   int i;
  35
  36   /* We also vectorize this loop.  */
  37   for (i = 0; i < N; i++)
  38     {
  39       b[i] = pb[i];
  40       c[i] = pc[i];
  41     }
  42
  43   for (i = 0; i < N; i++)
  44     {
  45       pa[i] = b[i] * c[i];
  46     }
  47
  48   return 0;
  49 }
  50
  51 int main (void)
  52 {
  53   int i;
  54   float a[N] __attribute__ ((__aligned__(__BIGGEST_ALIGNMENT__)));
  55   float b[N] = {0,3,6,9,12,15,18,21,24,27,30,33,36,39,42,45,48,51,54,57};
  56   float c[N] = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19};
  57
  58   check_vect ();
  59
  60   main1 (a,b,c);
  61   bar (a,b,c);
  62   return 0;
  63 }
  64
  65 /* { dg-final { scan-tree-dump-times "vectorized 2 loops" 1 "vect" } } */
  66 /* { dg-final { scan-tree-dump-times "Alignment of access forced using versioning" 3 "vect" { target vect_no_align } } } */
  67 /* { dg-final { scan-tree-dump-times "Alignment of access forced using versioning" 1 "vect" { target { { ! vector_alignment_reachable } && { ! vect_hw_misalign } } } } } */
  68 /* { dg-final { scan-tree-dump-times "Vectorizing an unaligned access" 4 "vect" { xfail { vect_no_align || { ! vector_alignment_reachable } } } } } */
  69 /* { dg-final { scan-tree-dump-times "Alignment of access forced using peeling" 1 "vect" { xfail { vect_no_align || { ! vector_alignment_reachable } } } } } */
  70 /* { dg-final { cleanup-tree-dump "vect" } } */