1  /* PR tree-optimization/70405 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -fcompare-debug" } */
       4  /* { dg-additional-options "-mavx512f" { target i?86-*-* x86_64-*-* } } */
       5  
       6  typedef short V __attribute__ ((vector_size (32)));
       7  
       8  int
       9  foo (V *p)
      10  {
      11    V v = *p;
      12    v >>= v;
      13    v -= v[0];
      14    return v[3];
      15  }