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 
7 typedef unsigned short A;
8 typedef int B __attribute__ ((vector_size (32)));
9 typedef unsigned __int128 C;
10 typedef __int128 D __attribute__ ((vector_size (32)));
11 
12 C
foo(A a,int b,unsigned c,C d,A e,unsigned f,B g,D h)13 foo (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