gcc/testsuite/gcc.dg/vect/no-vfa-vect-57.c

   1 /* { dg-require-effective-target vect_float } */
   2 /* { dg-additional-options "--param vect-max-version-for-alias-checks=0" } */
   3
   4 #include <stdarg.h>
   5 #include <string.h>
   6 #include "tree-vect.h"
   7
   8 #define N 256
   9
  10 __attribute__ ((noinline))
  11 void bar (float *pa, float *pb, float *pc)
  12 {
  13   int i;
  14
  15   /* check results:  */
  16 #pragma GCC novector
  17   for (i = 0; i < N/2; i++)
  18     {
  19       if (pa[i] != (pb[i+1] * pc[i+1]))
  20         abort ();
  21     }
  22
  23   return;
  24 }
  25
  26 __attribute__ ((noinline))
  27 void foo (float *pb, float *pc)
  28 {
  29   float b[N] = {0,3,6,9,12,15,18,21,24,27,30,33,36,39,42,45,48,51,54,57};
  30   float c[N] = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19};
  31   memcpy (pb, b, sizeof (b));
  32   memcpy (pc, c, sizeof (c));
  33 }
  34
  35 /* Unaligned pointer read accesses with known alignment,
  36    and an unaligned write access with unknown alignment.
  37    The loop bound is known and divisible by the vectorization factor.
  38    Can't prove that the pointers don't alias.
  39    vect-61.c is similar to this one with one difference:
  40         the loop bound is unknown.
  41    vect-56.c is similar to this one with two differences:
  42         aliasing is a problem, and the write access is aligned.  */
  43
  44 __attribute__ ((noinline)) int
  45 main1 (float *pa)
  46 {
  47   int i;
  48   float b[N] __attribute__ ((__aligned__(__BIGGEST_ALIGNMENT__)));
  49   float c[N] __attribute__ ((__aligned__(__BIGGEST_ALIGNMENT__)));
  50   float *pb = b;
  51   float *pc = c;
  52
  53   foo (pb, pc);
  54
  55   for (i = 0; i < N/2; i++)
  56     {
  57       pa[i] = pb[i+1] * pc[i+1];
  58     }
  59
  60   bar (pa, pb, pc);
  61
  62   return 0;
  63 }
  64
  65 int main (void)
  66 {
  67   int i;
  68   float a[N] __attribute__ ((__aligned__(__BIGGEST_ALIGNMENT__)));
  69
  70   check_vect ();
  71   main1 (a);
  72
  73   return 0;
  74 }
  75
  76 /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { xfail { vect_no_align && { ! vect_hw_misalign } } } } } */