modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.0/gcc/testsuite/gcc.c-torture/execute/pr53645-2.c (about)

     1  /* PR tree-optimization/53645 */
     2  /* { dg-options "-std=gnu89" } */
     3  
     4  typedef unsigned short int UV __attribute__((vector_size (16)));
     5  typedef short int SV __attribute__((vector_size (16)));
     6  extern void abort (void);
     7  
     8  #define TEST(a, b, c, d, e, f, g, h) \
     9  __attribute__((noinline)) void			\
    10  uq##a##b##c##d##e##f##g##h (UV *x, UV *y) 	\
    11  {						\
    12    *x = *y / ((UV) { a, b, c, d, e, f, g, h });	\
    13  }						\
    14  						\
    15  __attribute__((noinline)) void			\
    16  ur##a##b##c##d##e##f##g##h (UV *x, UV *y) 	\
    17  {						\
    18    *x = *y % ((UV) { a, b, c, d, e, f, g, h });	\
    19  }						\
    20  						\
    21  __attribute__((noinline)) void			\
    22  sq##a##b##c##d##e##f##g##h (SV *x, SV *y) 	\
    23  {						\
    24    *x = *y / ((SV) { a, b, c, d, e, f, g, h });	\
    25  }						\
    26  						\
    27  __attribute__((noinline)) void			\
    28  sr##a##b##c##d##e##f##g##h (SV *x, SV *y) 	\
    29  {						\
    30    *x = *y % ((SV) { a, b, c, d, e, f, g, h });	\
    31  }
    32  
    33  #define TESTS \
    34  TEST (4, 4, 4, 4, 4, 4, 4, 4)		\
    35  TEST (1, 4, 2, 8, 16, 64, 32, 128)	\
    36  TEST (3, 3, 3, 3, 3, 3, 3, 3)		\
    37  TEST (6, 5, 6, 5, 6, 5, 6, 5)		\
    38  TEST (14, 14, 14, 6, 14, 6, 14, 14)	\
    39  TEST (7, 7, 7, 7, 7, 7, 7, 7)		\
    40  
    41  TESTS
    42  
    43  UV u[] =
    44    { ((UV) { 73U, 65531U, 0U, 174U, 921U, 65535U, 17U, 178U }),
    45      ((UV) { 1U, 8173U, 65535U, 65472U, 12U, 29612U, 128U, 8912U }) };
    46  SV s[] =
    47    { ((SV) { 73, -9123, 32761, 8191, 16371, 1201, 12701, 9999 }),
    48      ((SV) { 9903, -1, -7323, 0, -7, -323, 9124, -9199 }) };
    49  
    50  int
    51  main ()
    52  {
    53    UV ur, ur2;
    54    SV sr, sr2;
    55    int i;
    56  #undef TEST
    57  #define TEST(a, b, c, d, e, f, g, h)			\
    58      uq##a##b##c##d##e##f##g##h (&ur, u + i);		\
    59      if (ur[0] != u[i][0] / a || ur[3] != u[i][3] / d)	\
    60       abort ();						\
    61      asm volatile ("" : : "r" (&ur) : "memory");		\
    62      if (ur[2] != u[i][2] / c || ur[1] != u[i][1] / b)	\
    63       abort ();						\
    64      asm volatile ("" : : "r" (&ur) : "memory");		\
    65      if (ur[4] != u[i][4] / e || ur[7] != u[i][7] / h)	\
    66       abort ();						\
    67      asm volatile ("" : : "r" (&ur) : "memory");		\
    68      if (ur[6] != u[i][6] / g || ur[5] != u[i][5] / f)	\
    69       abort ();						\
    70      asm volatile ("" : : "r" (&ur) : "memory");		\
    71      ur##a##b##c##d##e##f##g##h (&ur, u + i);		\
    72      if (ur[0] != u[i][0] % a || ur[3] != u[i][3] % d)	\
    73       abort ();						\
    74      asm volatile ("" : : "r" (&ur) : "memory");		\
    75      if (ur[2] != u[i][2] % c || ur[1] != u[i][1] % b)	\
    76       abort ();						\
    77      asm volatile ("" : : "r" (&ur) : "memory");		\
    78      if (ur[4] != u[i][4] % e || ur[7] != u[i][7] % h)	\
    79       abort ();						\
    80      asm volatile ("" : : "r" (&ur) : "memory");		\
    81      if (ur[6] != u[i][6] % g || ur[5] != u[i][5] % f)	\
    82       abort ();						\
    83      asm volatile ("" : : "r" (&ur) : "memory");
    84    for (i = 0; i < sizeof (u) / sizeof (u[0]); i++)
    85      {
    86        TESTS
    87      }
    88  #undef TEST
    89  #define TEST(a, b, c, d, e, f, g, h)			\
    90      sq##a##b##c##d##e##f##g##h (&sr, s + i);		\
    91      if (sr[0] != s[i][0] / a || sr[3] != s[i][3] / d)	\
    92       abort ();						\
    93      asm volatile ("" : : "r" (&sr) : "memory");		\
    94      if (sr[2] != s[i][2] / c || sr[1] != s[i][1] / b)	\
    95       abort ();						\
    96      asm volatile ("" : : "r" (&sr) : "memory");		\
    97      if (sr[4] != s[i][4] / e || sr[7] != s[i][7] / h)	\
    98       abort ();						\
    99      asm volatile ("" : : "r" (&sr) : "memory");		\
   100      if (sr[6] != s[i][6] / g || sr[5] != s[i][5] / f)	\
   101       abort ();						\
   102      asm volatile ("" : : "r" (&sr) : "memory");		\
   103      sr##a##b##c##d##e##f##g##h (&sr, s + i);		\
   104      if (sr[0] != s[i][0] % a || sr[3] != s[i][3] % d)	\
   105       abort ();						\
   106      asm volatile ("" : : "r" (&sr) : "memory");		\
   107      if (sr[2] != s[i][2] % c || sr[1] != s[i][1] % b)	\
   108       abort ();						\
   109      asm volatile ("" : : "r" (&sr) : "memory");		\
   110      if (sr[4] != s[i][4] % e || sr[7] != s[i][7] % h)	\
   111       abort ();						\
   112      asm volatile ("" : : "r" (&sr) : "memory");		\
   113      if (sr[6] != s[i][6] % g || sr[5] != s[i][5] % f)	\
   114       abort ();						\
   115      asm volatile ("" : : "r" (&sr) : "memory");
   116    for (i = 0; i < sizeof (s) / sizeof (s[0]); i++)
   117      {
   118        TESTS
   119      }
   120    return 0;
   121  }