1  #define N 87
       2  #define M 7
       3  
       4  typedef signed char sc;
       5  typedef unsigned char uc;
       6  typedef signed short ss;
       7  typedef unsigned short us;
       8  typedef int si;
       9  typedef unsigned int ui;
      10  typedef signed long long sll;
      11  typedef unsigned long long ull;
      12  
      13  #define FOR_EACH_TYPE(M) \
      14    M (sc) M (uc) \
      15    M (ss) M (us) \
      16    M (si) M (ui) \
      17    M (sll) M (ull) \
      18    M (float) M (double)
      19  
      20  #define TEST_VALUE1(I) ((I) * 5 / 2)
      21  #define TEST_VALUE2(I) ((I) * 11 / 5)
      22  
      23  #define ADD_TEST(TYPE)					\
      24    void __attribute__((noinline, noclone))		\
      25    test_##TYPE (TYPE *restrict a, TYPE *restrict b,	\
      26  	       int step)				\
      27    {							\
      28      step = step & M;					\
      29      for (int i = 0; i < N; ++i)				\
      30        {							\
      31  	TYPE r1 = a[i * step + 0] += 1;			\
      32  	a[i * step + 1] += 2;				\
      33  	a[i * step + 2] += 4;				\
      34  	a[i * step + 3] += 8;				\
      35  	b[i] += r1;					\
      36        }							\
      37    }							\
      38  							\
      39    void __attribute__((noinline, noclone))		\
      40    ref_##TYPE (TYPE *restrict a, TYPE *restrict b,	\
      41  	      int step)					\
      42    {							\
      43      for (unsigned short i = 0; i < N; ++i)		\
      44        {							\
      45  	TYPE r1 = a[i * step + 0] += 1;			\
      46  	a[i * step + 1] += 2;				\
      47  	a[i * step + 2] += 4;				\
      48  	a[i * step + 3] += 8;				\
      49  	b[i] += r1;					\
      50  	asm volatile ("");				\
      51        }							\
      52    }
      53  
      54  #define DO_TEST(TYPE)					\
      55    for (int j = 0; j <= M; ++j)				\
      56      {							\
      57        TYPE a1[N * M], a2[N * M], b1[N], b2[N];		\
      58        for (int i = 0; i < N * M; ++i)			\
      59  	a1[i] = a2[i] = TEST_VALUE1 (i);		\
      60        for (int i = 0; i < N; ++i)			\
      61  	b1[i] = b2[i] = TEST_VALUE2 (i);		\
      62        test_##TYPE (a1, b1, j);				\
      63        ref_##TYPE (a2, b2, j);				\
      64        if (__builtin_memcmp (a1, a2, sizeof (a1)) != 0)	\
      65  	__builtin_abort ();				\
      66        if (__builtin_memcmp (b1, b2, sizeof (b1)) != 0)	\
      67  	__builtin_abort ();				\
      68      }
      69  
      70  FOR_EACH_TYPE (ADD_TEST)
      71  
      72  int
      73  main (void)
      74  {
      75    FOR_EACH_TYPE (DO_TEST)
      76    return 0;
      77  }
      78  
      79  /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* is outside \[0, 2\)} "vect" { target vect_int } } } */
      80  /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* is outside \[0, 3\)} "vect" { target vect_int } } } */
      81  /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* is outside \[0, 4\)} "vect" { target vect_int } } } */
      82  /* { dg-final { scan-tree-dump {run-time check [^\n]* unsigned \([^*]*\) >= 4} "vect" { target vect_int } } } */
      83  
      84  /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* \* 2[)]* is outside \[0, 4\)} "vect" { target vect_int } } } */
      85  /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* \* 2[)]* is outside \[0, 6\)} "vect" { target vect_int } } } */
      86  /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* \* 2[)]* is outside \[0, 8\)} "vect" { target vect_int } } } */
      87  /* { dg-final { scan-tree-dump {run-time check [^\n]* unsigned \([^*]* \* 2[)]* >= 8} "vect" { target vect_int } } } */
      88  
      89  /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* \* 4[)]* is outside \[0, 8\)} "vect" { target { vect_int || vect_float } }} } */
      90  /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* \* 4[)]* is outside \[0, 12\)} "vect" { target { vect_int || vect_float } }} } */
      91  /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* \* 4[)]* is outside \[0, 16\)} "vect" { target { vect_int || vect_float } }} } */
      92  /* { dg-final { scan-tree-dump {run-time check [^\n]* unsigned \([^*]* \* 4[)]* >= 16} "vect" { target { vect_int || vect_float } }} } */
      93  
      94  /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* \* 8[)]* is outside \[0, 16\)} "vect" { target vect_double } } } */
      95  /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* \* 8[)]* is outside \[0, 24\)} "vect" { target vect_double } } } */
      96  /* { dg-final { scan-tree-dump {no alias between [^\n]* when [^\n]* [_a-z][^ ]* \* 8[)]* is outside \[0, 32\)} "vect" { target vect_double } } } */
      97  /* { dg-final { scan-tree-dump {run-time check [^\n]* unsigned \([^*]* \* 8[)]* >= 32} "vect" { target vect_double } } } */
      98  
      99  /* { dg-final { scan-tree-dump-not "using an address-based" "vect" } } */
     100  /* { dg-final { scan-tree-dump-not "using an index-based" "vect" } } */