/* { dg-do compile } */
/* { dg-options "-O0 -mavx512f" } */

#include "avx512f-vcmppd-1.c"