/* PR target/88547 */
/* { dg-do compile } */
/* { dg-options "-O2 -mno-xop -mavx512vl -mno-avx512bw -mno-avx512dq" } */
/* { dg-final { scan-assembler-not "vpmingt\[bwdq]\[\t ]" } } */
/* { dg-final { scan-assembler-times "vpminub\[\t ]" 2 } } */
/* { dg-final { scan-assembler-times "vpminsb\[\t ]" 2 } } */
/* { dg-final { scan-assembler-times "vpminuw\[\t ]" 2 } } */
/* { dg-final { scan-assembler-times "vpminsw\[\t ]" 2 } } */
/* { dg-final { scan-assembler-times "vpminud\[\t ]" 2 } } */
/* { dg-final { scan-assembler-times "vpminsd\[\t ]" 2 } } */
/* { dg-final { scan-assembler-times "vpminuq\[\t ]" 2 } } */
/* { dg-final { scan-assembler-times "vpminsq\[\t ]" 2 } } */

#include "avx2-pr88547-1.c"