1  /* PR target/85328 */
       2  /* { dg-do assemble { target avx512f } } */
       3  /* { dg-options "-O3 -fno-caller-saves -mavx512f" } */
       4  
       5  typedef char U __attribute__((vector_size (64)));
       6  typedef int V __attribute__((vector_size (64)));
       7  U a, b;
       8  
       9  extern void bar (void);
      10  
      11  V
      12  foo (V f)
      13  {
      14    b <<= (U){(V){}[63]} & 7;
      15    bar ();
      16    a = (U)f & 7;
      17    return (V)b;
      18  }