1 /* PR target/85281 */
2 /* { dg-do assemble { target avx512bw } } */
3 /* { dg-require-effective-target int128 } */
4 /* { dg-require-effective-target masm_intel } */
5 /* { dg-options "-O -mavx512bw -masm=intel -w" } */
6 
7 typedef char V __attribute__ ((__vector_size__ (64)));
8 
9 V
foo(V v)10 foo (V v)
11 {
12   v[8] /= (unsigned __int128) 0;
13   v[0] -= ~255;
14   return v;
15 }
16