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

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