1  /* PR target/88547 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -mno-xop -mavx512vl -mavx512bw -mavx512dq" } */
       4  /* { dg-final { scan-assembler-not "vpmingt\[bwdq]\[\t ]" } } */
       5  /* { dg-final { scan-assembler-not "%k\[0-9\]" } } */
       6  /* { dg-final { scan-assembler-times "vpminub\[\t ]" 2 } } */
       7  /* { dg-final { scan-assembler-times "vpminsb\[\t ]" 2 } } */
       8  /* { dg-final { scan-assembler-times "vpminuw\[\t ]" 2 } } */
       9  /* { dg-final { scan-assembler-times "vpminsw\[\t ]" 2 } } */
      10  /* { dg-final { scan-assembler-times "vpminud\[\t ]" 2 } } */
      11  /* { dg-final { scan-assembler-times "vpminsd\[\t ]" 2 } } */
      12  /* { dg-final { scan-assembler-times "vpminuq\[\t ]" 2 } } */
      13  /* { dg-final { scan-assembler-times "vpminsq\[\t ]" 2 } } */
      14  #include "avx2-pr88547-1.c"