1  /* PR tree-optimization/70509 */
       2  /* { dg-do run } */
       3  /* { dg-options "-O1 -mavx512bw" } */
       4  /* { dg-require-effective-target avx512bw } */
       5  
       6  #define AVX512BW
       7  #include "avx512f-helper.h"
       8  
       9  typedef char V __attribute__ ((vector_size (64)));
      10  
      11  int __attribute__ ((noinline, noclone))
      12  foo (V u, V v)
      13  {
      14    u /= v[0x20];
      15    return u[0];
      16  }
      17  
      18  void
      19  TEST (void)
      20  {
      21    int x = foo ((V) { 9 }, (V) { 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
      22  				2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
      23  				3 });
      24    if (x != 3)
      25      abort ();
      26  }