gcc/testsuite/gcc.dg/vect/vect-alias-check-18.c

   1 #define N 200
   2 #define DIST 32
   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_VALUE(I) ((I) * 11 / 2)
  21
  22 #define ADD_TEST(TYPE)                          \
  23   TYPE a_##TYPE[N * 2];                         \
  24   void __attribute__((noinline, noclone))       \
  25   test_##TYPE (int x, int y)                    \
  26   {                                             \
  27     for (int i = 0; i < N; ++i)                 \
  28       a_##TYPE[x - i] += a_##TYPE[y - i];       \
  29   }
  30
  31 #define DO_TEST(TYPE)                                           \
  32   for (int i = 0; i < DIST * 2; ++i)                            \
  33     {                                                           \
  34       for (int j = 0; j < N + DIST * 2; ++j)                    \
  35         a_##TYPE[j] = TEST_VALUE (j);                           \
  36       test_##TYPE (i + N - 1, DIST + N - 1);                    \
  37       _Pragma("GCC novector")                                   \
  38       for (int j = 0; j < N + DIST * 2; ++j)                    \
  39         {                                                       \
  40           TYPE expected;                                        \
  41           if (j < i || j >= i + N)                              \
  42             expected = TEST_VALUE (j);                          \
  43           else if (i >= DIST)                                   \
  44             expected = ((TYPE) TEST_VALUE (j)                   \
  45                         + (TYPE) TEST_VALUE (j + DIST - i));    \
  46           else                                                  \
  47             expected = ((TYPE) TEST_VALUE (j)                   \
  48                         + a_##TYPE[j + DIST - i]);              \
  49           if (expected != a_##TYPE[j])                          \
  50             __builtin_abort ();                                 \
  51         }                                                       \
  52     }
  53
  54 FOR_EACH_TYPE (ADD_TEST)
  55
  56 int
  57 main (void)
  58 {
  59   FOR_EACH_TYPE (DO_TEST)
  60   return 0;
  61 }
  62
  63 /* { dg-final { scan-tree-dump {flags: *WAR\n} "vect" { target vect_int } } } */
  64 /* { dg-final { scan-tree-dump "using an index-based WAR/WAW test" "vect" { target { vect_int && vect_perm } } } } */
  65 /* { dg-final { scan-tree-dump-not "using an address-based" "vect" } } */