1  /* PR tree-optimization/57233 */
       2  /* { dg-do compile { target avx } } */
       3  /* { dg-options "-O2 -mavx -mno-xop" } */
       4  
       5  typedef unsigned V4 __attribute__((vector_size(4 * sizeof (int))));
       6  V4 a;
       7  
       8  __attribute__((noinline)) void
       9  foo (void)
      10  {
      11    a = (a << 2) | (a >> 30);
      12  }
      13  
      14  /* { dg-final { scan-assembler "vpsrld\[^\n\r]*30" } } */
      15  /* { dg-final { scan-assembler "vpslld\[^\n\r]*2" } } */