/* { dg-do run { target avx512fp16 } } */
/* { dg-options "-O2 -mavx512fp16 -mavx512dq" } */


#define AVX512FP16
#include "avx512fp16-helper.h"

#define N_ELEMS 8

void NOINLINE
emulate_getmant_sh(V512 * dest, V512 op1,
                  __mmask32 k, int zero_mask)
{
    V512 v0, v1, v2, v5, v6, v7, v8;
    int i;

    unpack_ph_2twops(op1, &v1, &v2);
    unpack_ph_2twops(*dest, &v7, &v8);

    v0.xmm[0] = _mm_getmant_round_ss (v1.xmm[0], v1.xmm[0], 2, 0, _ROUND_CUR);

    if ((k&1) || !k)
      v5.f32[0] = v0.f32[0];
    else if (zero_mask)
      v5.f32[0] = 0;
    else
      v5.f32[0] = v7.f32[0];

    for (i = 1; i < 8; i++)
      v5.f32[i] = v1.f32[i];
    *dest = pack_twops_2ph(v5, v6);
}

void
test_512 (void)
{
  V512 res;
  V512 exp;

  init_src();

  emulate_getmant_sh(&exp, src1,  0x1, 0);
  res.xmmh[0] = _mm_getmant_round_sh(src1.xmmh[0], exp.xmmh[0],
				     2, 0, _ROUND_CUR);
  check_results(&res, &exp, 1, "_mm_getmant_round_sh");

  init_dest(&res, &exp);
  emulate_getmant_sh(&exp, src1,  0x1, 0);
  res.xmmh[0] = _mm_mask_getmant_round_sh(res.xmmh[0], 0x1, src1.xmmh[0],
					  exp.xmmh[0], 2, 0, _ROUND_CUR);
  check_results(&res, &exp, 1, "_mm_mask_getmant_round_sh");

  emulate_getmant_sh(&exp, src1,  0x3, 1);
  res.xmmh[0] = _mm_maskz_getmant_round_sh(0x3, src1.xmmh[0], exp.xmmh[0],
					   2, 0, _ROUND_CUR);
  check_results(&res, &exp, 1, "_mm_maskz_getmant_round_sh");

  if (n_errs != 0) {
      abort ();
  }
}