1/* PR target/70028 */
2/* { dg-do assemble { target avx512bw } } */
3/* { dg-require-effective-target int128 } */
4/* { dg-require-effective-target masm_intel } */
5/* { dg-options "-O2 -fno-forward-propagate -mavx512bw -masm=intel" } */
6
7typedef unsigned short A;
8typedef int B __attribute__ ((vector_size (32)));
9typedef unsigned __int128 C;
10typedef __int128 D __attribute__ ((vector_size (32)));
11
12C
13foo (A a, int b, unsigned c, C d, A e, unsigned f, B g, D h)
14{
15  g[1] ^= (A) ~ a;
16  a ^= (unsigned) g[0];
17  h %= (D) h | 1;
18  return a + b + c + d + e + g[0] + g[1] + h[1];
19}
20