1  /* Originally from gcc.dg/vect/vect-alias-check-10.c.  */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -ftree-vectorize -msve-vector-bits=512" } */
       4  
       5  #define N 87
       6  #define M 6
       7  
       8  typedef signed char sc;
       9  typedef unsigned char uc;
      10  typedef signed short ss;
      11  typedef unsigned short us;
      12  typedef int si;
      13  typedef unsigned int ui;
      14  typedef signed long long sll;
      15  typedef unsigned long long ull;
      16  
      17  #define FOR_EACH_TYPE(M) \
      18    M (sc) M (uc) \
      19    M (ss) M (us) \
      20    M (si) M (ui) \
      21    M (sll) M (ull) \
      22    M (float) M (double)
      23  
      24  #define TEST_VALUE(I) ((I) * 5 / 2)
      25  
      26  #define ADD_TEST(TYPE)				\
      27    void __attribute__((noinline, noclone))	\
      28    test_##TYPE (TYPE *a, int step)		\
      29    {						\
      30      for (int i = 0; i < N; ++i)			\
      31        {						\
      32  	a[i * step + 0] = a[i * step + 0] + 1;	\
      33  	a[i * step + 1] = a[i * step + 1] + 2;	\
      34  	a[i * step + 2] = a[i * step + 2] + 4;	\
      35  	a[i * step + 3] = a[i * step + 3] + 8;	\
      36        }						\
      37    }						\
      38    void __attribute__((noinline, noclone))	\
      39    ref_##TYPE (TYPE *a, int step)		\
      40    {						\
      41      for (int i = 0; i < N; ++i)			\
      42        {						\
      43  	a[i * step + 0] = a[i * step + 0] + 1;	\
      44  	a[i * step + 1] = a[i * step + 1] + 2;	\
      45  	a[i * step + 2] = a[i * step + 2] + 4;	\
      46  	a[i * step + 3] = a[i * step + 3] + 8;	\
      47  	asm volatile ("");			\
      48        }						\
      49    }
      50  
      51  #define DO_TEST(TYPE)					\
      52    for (int j = -M; j <= M; ++j)				\
      53      {							\
      54        TYPE a[N * M], b[N * M];				\
      55        for (int i = 0; i < N * M; ++i)			\
      56  	a[i] = b[i] = TEST_VALUE (i);			\
      57        int offset = (j < 0 ? N * M - 4 : 0);		\
      58        test_##TYPE (a + offset, j);			\
      59        ref_##TYPE (b + offset, j);			\
      60        if (__builtin_memcmp (a, b, sizeof (a)) != 0)	\
      61  	__builtin_abort ();				\
      62      }
      63  
      64  FOR_EACH_TYPE (ADD_TEST)
      65  
      66  int
      67  main (void)
      68  {
      69    FOR_EACH_TYPE (DO_TEST)
      70    return 0;
      71  }