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


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

#define N_ELEMS 8

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

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

    if ((k&1) || !k)
      v5.f32[0] = 1. / v1.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_rcp_sh(&exp, src1,  0x1, 0);
  res.xmmh[0] = _mm_rcp_sh(exp.xmmh[0], src1.xmmh[0]);
  check_results(&res, &exp, N_ELEMS, "_mm_rcp_sh");

  init_dest(&res, &exp);
  emulate_rcp_sh(&exp, src1,  0x1, 0);
  res.xmmh[0] = _mm_mask_rcp_sh(res.xmmh[0], 0x1, exp.xmmh[0], src1.xmmh[0]);
  check_results(&res, &exp, N_ELEMS, "_mm_mask_rcp_sh");

  emulate_rcp_sh(&exp, src1,  0x3, 1);
  res.xmmh[0] = _mm_maskz_rcp_sh(0x3, exp.xmmh[0], src1.xmmh[0]);
  check_results(&res, &exp, N_ELEMS, "_mm_maskz_rcp_sh");

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