gcc/testsuite/gcc.target/s390/zvector/autovec-double-signaling-gt-z13.c

/* { dg-do compile } */
/* { dg-options "-O3 -march=z13 -mzvector -mzarch" } */

#include "autovec.h"

AUTOVEC_DOUBLE (SIGNALING_GT);

/* z13 does not have signaling vector comparison instructions.  */
/* { dg-final { scan-assembler {\n\tkdb\t} } } */