1  /* PR target/70329 */
       2  /* { dg-do run } */
       3  /* { dg-options "-O0 -mavx512bw" } */
       4  /* { dg-require-effective-target avx512bw } */
       5  
       6  #define AVX512BW
       7  #include "avx512f-helper.h"
       8  
       9  typedef unsigned char A __attribute__ ((vector_size (64)));
      10  typedef unsigned int B __attribute__ ((vector_size (64)));
      11  
      12  unsigned __attribute__ ((noinline, noclone))
      13  foo (A a, A b, B c)
      14  {
      15    a *= b;
      16    c[1] += a[8];
      17    return c[1];
      18  }
      19  
      20  void
      21  TEST (void)
      22  {
      23    A a = (A) { 1, 2, 3, 4, 5, 6, 7, 8, 9 };
      24    unsigned x = foo (a, a, (B) { 1, 2 });
      25    if (x != 83)
      26      abort ();
      27  }