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