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

#define AVX512F

#include "avx512f-helper.h"

#define SIZE (AVX512F_LEN / 64)
#include "avx512f-mask-type.h"
#define SIZE_HALF (AVX512F_LEN_HALF / 32)
#include <limits.h>

void
CALC (int *r, long long *s, int mem)
{
  int i;
  int len = mem ? SIZE : SIZE_HALF; 
  for (i = 0; i < len; i++)
    {
      if (i < SIZE)
	{
	  if (s[i] < INT_MIN)
	    r[i] = INT_MIN;
	  else if (s[i] > INT_MAX)
	    r[i] = INT_MAX;
	  else
	    r[i] = s[i];
	}
      else
	r[i] = 0;
    }
}

void
TEST (void)
{
  int i, sign;
  UNION_TYPE (AVX512F_LEN_HALF, i_d) res1, res2, res3;
  int res4[SIZE_HALF];
  UNION_TYPE (AVX512F_LEN, i_q) src;
  MASK_TYPE mask = MASK_VALUE;
  int res_ref[SIZE_HALF];
  int res_ref2[SIZE_HALF];

  sign = -1;
  for (i = 0; i < SIZE; i++)
    {
      src.a[i] = 1 + 34 * i * sign;
      sign = sign * -1;
      res2.a[i] = DEFAULT_VALUE;
      res4[i] = DEFAULT_VALUE;
    }

  for (i = SIZE; i < SIZE_HALF; i++)
    {
      res4[i] = DEFAULT_VALUE * 2;
      res_ref2[i] = DEFAULT_VALUE * 2;
    }

  res1.x = INTRINSIC (_cvtsepi64_epi32) (src.x);
  res2.x = INTRINSIC (_mask_cvtsepi64_epi32) (res2.x, mask, src.x);
  res3.x = INTRINSIC (_maskz_cvtsepi64_epi32) (mask, src.x);

  CALC (res_ref, src.a, 0);

  if (UNION_CHECK (AVX512F_LEN_HALF, i_d) (res1, res_ref))
    abort ();

  MASK_MERGE (i_d) (res_ref, mask, SIZE);
  if (UNION_CHECK (AVX512F_LEN_HALF, i_d) (res2, res_ref))
    abort ();

  MASK_ZERO (i_d) (res_ref, mask, SIZE);
  if (UNION_CHECK (AVX512F_LEN_HALF, i_d) (res3, res_ref))
    abort ();

  INTRINSIC (_mask_cvtsepi64_storeu_epi32) (res4, mask, src.x);
  CALC (res_ref2, src.a, 1);

  MASK_MERGE (i_d) (res_ref2, mask, SIZE);
  if (checkVi (res4, res_ref2, SIZE_HALF))
    abort ();
}