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)10foo (V v) 11 { 12 v[8] /= (unsigned __int128) 0; 13 v[0] -= ~255; 14 return v; 15 } 16