gcc/testsuite/gcc.target/i386/pr85281.c

   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 }