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