/* { dg-do run } */
/* { dg-options "-O0 -mavx512f" } */
/* { dg-require-effective-target avx512f } */

#include "avx512f-vfnmaddXXXsd-2.c"