/* PR tree-optimization/57233 */
/* { dg-do run { target avx512f } } */
/* { dg-options "-O2 -mavx512f" } */

#include "avx512f-check.h"

static void
avx512f_test (void)
{
  do_main ();
}

#undef main
#define main() do_main ()

#include "../../gcc.dg/pr57233.c"