/* PR tree-optimization/57233 */
/* { dg-do compile { target avx } } */
/* { dg-options "-O2 -mavx -mno-xop" } */

typedef unsigned V4 __attribute__((vector_size(4 * sizeof (int))));
V4 a;

__attribute__((noinline)) void
foo (void)
{
  a = (a << 2) | (a >> 30);
}

/* { dg-final { scan-assembler "vpsrld\[^\n\r]*30" } } */
/* { dg-final { scan-assembler "vpslld\[^\n\r]*2" } } */