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

#include "avx512f-check.h"
#include "avx512f-mask-type.h"

static int
__attribute__ ((noinline, unused))
test (__m128d x)
{
  return _mm_cvttsd_i32 (x);
}

static void
avx512f_test (void)
{
  union128d s1;
  int res, res_ref;

  s1.x = _mm_set_pd (123.321, 456.987);
  res = test (s1.x);
  res_ref = (int) s1.a[0];

  if (res != res_ref)
    abort ();
}