/* PR target/85281 */
/* { dg-do assemble { target avx512bw } } */
/* { dg-require-effective-target int128 } */
/* { dg-require-effective-target masm_intel } */
/* { dg-options "-O -mavx512bw -masm=intel -w" } */

typedef char V __attribute__ ((__vector_size__ (64)));

V
foo (V v)
{
  v[8] /= (unsigned __int128) 0;
  v[0] -= ~255;
  return v;
}