1  /* PR tree-optimization/57233 */
       2  /* { dg-do run { target { ilp32 || lp64 } } } */
       3  /* { dg-options "-O2" } */
       4  /* { dg-additional-options "-fno-common" { target hppa*-*-hpux* } } */
       5  
       6  typedef unsigned V4 __attribute__((vector_size(4 * sizeof (int))));
       7  typedef unsigned V8 __attribute__((vector_size(8 * sizeof (int))));
       8  typedef unsigned V16 __attribute__((vector_size(16 * sizeof (int))));
       9  V4 a, b, g;
      10  V8 c, d, h;
      11  V16 e, f, j;
      12  
      13  __attribute__((noinline)) void
      14  f1 (void)
      15  {
      16    a = (a << 2) | (a >> 30);
      17  }
      18  
      19  __attribute__((noinline)) void
      20  f2 (void)
      21  {
      22    a = (a << 30) | (a >> 2);
      23  }
      24  
      25  __attribute__((noinline)) void
      26  f3 (void)
      27  {
      28    a = (a << b) | (a >> (32 - b));
      29  }
      30  
      31  __attribute__((noinline, noclone)) void
      32  f4 (int x)
      33  {
      34    a = (a << x) | (a >> (32 - x));
      35  }
      36  
      37  __attribute__((noinline)) void
      38  f5 (void)
      39  {
      40    c = (c << 2) | (c >> 30);
      41  }
      42  
      43  __attribute__((noinline)) void
      44  f6 (void)
      45  {
      46    c = (c << 30) | (c >> 2);
      47  }
      48  
      49  __attribute__((noinline)) void
      50  f7 (void)
      51  {
      52    c = (c << d) | (c >> (32 - d));
      53  }
      54  
      55  __attribute__((noinline, noclone)) void
      56  f8 (int x)
      57  {
      58    c = (c << x) | (c >> (32 - x));
      59  }
      60  
      61  __attribute__((noinline)) void
      62  f9 (void)
      63  {
      64    e = (e << 2) | (e >> 30);
      65  }
      66  
      67  __attribute__((noinline)) void
      68  f10 (void)
      69  {
      70    e = (e << 30) | (e >> 2);
      71  }
      72  
      73  __attribute__((noinline)) void
      74  f11 (void)
      75  {
      76    e = (e << f) | (e >> (32 - f));
      77  }
      78  
      79  __attribute__((noinline, noclone)) void
      80  f12 (int x)
      81  {
      82    e = (e << x) | (e >> (32 - x));
      83  }
      84  
      85  unsigned
      86  r (void)
      87  {
      88    static unsigned x = 0xdeadbeefU;
      89    static unsigned y = 0x12347654U;
      90    static unsigned z = 0x1a2b3c4dU;
      91    static unsigned w = 0x87654321U;
      92    unsigned t = x ^ (x << 11);
      93    x = y;
      94    y = z;
      95    z = w;
      96    w = w ^ (w >> 19) ^ t ^ (t >> 8);
      97    return w;
      98  }
      99  
     100  void
     101  init (unsigned int *p, int count, int mod)
     102  {
     103    int i;
     104    for (i = 0; i < count; i++)
     105      {
     106        unsigned int v = r ();
     107        if (mod)
     108  	v = (v % 31) + 1;
     109        p[i] = v;
     110      }
     111  }
     112  
     113  void
     114  check (unsigned int *p, unsigned int *q, int count, unsigned int *s, int ss)
     115  {
     116    int i;
     117    for (i = 0; i < count; i++)
     118      {
     119        if (s)
     120  	ss = s[i];
     121        if (p[i] != ((q[i] << ss) | (q[i] >> (32 - ss))))
     122  	__builtin_abort ();
     123      }
     124  }
     125  
     126  int
     127  main ()
     128  {
     129    init ((unsigned int *) &a, 4, 0);
     130    init ((unsigned int *) &b, 4, 1);
     131    init ((unsigned int *) &c, 8, 0);
     132    init ((unsigned int *) &d, 8, 1);
     133    init ((unsigned int *) &e, 16, 0);
     134    init ((unsigned int *) &f, 16, 1);
     135    g = a;
     136    h = c;
     137    j = e;
     138    f1 ();
     139    f5 ();
     140    f9 ();
     141    check ((unsigned int *) &a, (unsigned int *) &g, 4, 0, 2);
     142    check ((unsigned int *) &c, (unsigned int *) &h, 8, 0, 2);
     143    check ((unsigned int *) &e, (unsigned int *) &j, 16, 0, 2);
     144    g = a;
     145    h = c;
     146    j = e;
     147    f2 ();
     148    f6 ();
     149    f10 ();
     150    check ((unsigned int *) &a, (unsigned int *) &g, 4, 0, 30);
     151    check ((unsigned int *) &c, (unsigned int *) &h, 8, 0, 30);
     152    check ((unsigned int *) &e, (unsigned int *) &j, 16, 0, 30);
     153    g = a;
     154    h = c;
     155    j = e;
     156    f3 ();
     157    f7 ();
     158    f11 ();
     159    check ((unsigned int *) &a, (unsigned int *) &g, 4, (unsigned int *) &b, 0);
     160    check ((unsigned int *) &c, (unsigned int *) &h, 8, (unsigned int *) &d, 0);
     161    check ((unsigned int *) &e, (unsigned int *) &j, 16, (unsigned int *) &f, 0);
     162    g = a;
     163    h = c;
     164    j = e;
     165    f4 (5);
     166    f8 (5);
     167    f12 (5);
     168    check ((unsigned int *) &a, (unsigned int *) &g, 4, 0, 5);
     169    check ((unsigned int *) &c, (unsigned int *) &h, 8, 0, 5);
     170    check ((unsigned int *) &e, (unsigned int *) &j, 16, 0, 5);
     171    return 0;
     172  }