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
9typedef unsigned char A __attribute__ ((vector_size (64)));
10typedef unsigned int B __attribute__ ((vector_size (64)));
11
12unsigned __attribute__ ((noinline, noclone))
13foo (A a, A b, B c)
14{
15  a *= b;
16  c[1] += a[8];
17  return c[1];
18}
19
20void
21TEST (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}
28