gcc/testsuite/gcc.dg/vect/vect-strided-a-u8-i2-gap.c

   1 /* { dg-require-effective-target vect_int } */
   2
   3 #include <stdarg.h>
   4 #include "tree-vect.h"
   5
   6 #define N 64
   7
   8 typedef struct {
   9    unsigned char a;
  10    unsigned char b;
  11 } s;
  12
  13 __attribute__ ((noinline)) int
  14 main1 ()
  15 {
  16   s arr[N];
  17   s *ptr = arr;
  18   s res[N];
  19   int i;
  20
  21   for (i = 0; i < N; i++)
  22     {
  23       arr[i].a = i;
  24       arr[i].b = i * 2;
  25       asm volatile ("" ::: "memory");
  26     }
  27
  28   for (i = 0; i < N; i++)
  29     {
  30       res[i].a = ptr->a;
  31       res[i].b = ptr->a;
  32       ptr++;
  33     }
  34
  35   /* check results:  */
  36   for (i = 0; i < N; i++)
  37     {
  38       if (res[i].a != arr[i].a
  39           || res[i].b != arr[i].a)
  40         abort ();
  41     }
  42
  43   ptr = arr;
  44   /* gap in store, use strided stores  */
  45   for (i = 0; i < N; i++)
  46     {
  47       res[i].a = ptr->b;
  48       ptr++;
  49     }
  50
  51   /* check results:  */
  52   for (i = 0; i < N; i++)
  53     {
  54       if (res[i].a != arr[i].b)
  55         abort ();
  56     }
  57
  58
  59   return 0;
  60 }
  61
  62 int main (void)
  63 {
  64   check_vect ();
  65
  66   main1 ();
  67
  68   return 0;
  69 }
  70
  71 /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect"  { target { vect_strided2 && { ! vect_hw_misalign } } } } } */
  72 /* { dg-final { scan-tree-dump-times "vectorized 2 loops" 1 "vect"  { target { vect_strided2 && vect_hw_misalign } } } } */
  73