/* Private floating point rounding and exceptions handling.  390/s390x version.

   Copyright (C) 2019 Free Software Foundation, Inc.

   This file is part of the GNU C Library.

   The GNU C Library is free software; you can redistribute it and/or

   modify it under the terms of the GNU Lesser General Public

   License as published by the Free Software Foundation; either

   version 2.1 of the License, or (at your option) any later version.

   The GNU C Library is distributed in the hope that it will be useful,

   but WITHOUT ANY WARRANTY; without even the implied warranty of

   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU

   Lesser General Public License for more details.

   You should have received a copy of the GNU Lesser General Public

   License along with the GNU C Library; if not, see

   <https://www.gnu.org/licenses/>.  */

#ifndef S390_FENV_PRIVATE_H

#define S390_FENV_PRIVATE_H 1

#include <fenv.h>

#include <fenv_libc.h>

#include <fpu_control.h>

static __always_inline void

libc_feholdexcept_s390 (fenv_t *envp)

{

  fpu_control_t fpc, fpc_new;

  /* Store the environment.  */

  _FPU_GETCW (fpc);

  envp->__fpc = fpc;

  /* Clear the current exception flags and dxc field.

     Hold from generating fpu exceptions temporarily.  */

  fpc_new = fpc & ~(FPC_FLAGS_MASK | FPC_DXC_MASK | FPC_EXCEPTION_MASK);

  /* Only set new environment if it has changed.  */

  if (fpc_new != fpc)

    _FPU_SETCW (fpc_new);

}

#define libc_feholdexcept  libc_feholdexcept_s390

#define libc_feholdexceptf libc_feholdexcept_s390

#define libc_feholdexceptl libc_feholdexcept_s390

static __always_inline void

libc_fesetround_s390 (int round)

{

  __asm__ __volatile__ ("srnm 0(%0)" : : "a" (round));

}

#define libc_fesetround  libc_fesetround_s390

#define libc_fesetroundf libc_fesetround_s390

#define libc_fesetroundl libc_fesetround_s390

static __always_inline void

libc_feholdexcept_setround_s390 (fenv_t *envp, int r)

{

  fpu_control_t fpc, fpc_new;

  _FPU_GETCW (fpc);

  envp->__fpc = fpc;

  /* Clear the current exception flags and dxc field.

     Hold from generating fpu exceptions temporarily.

     Reset rounding mode bits.  */

  fpc_new = fpc & ~(FPC_FLAGS_MASK | FPC_DXC_MASK | FPC_EXCEPTION_MASK

		    | FPC_RM_MASK);

  /* Set new rounding mode.  */

  fpc_new |= (r & FPC_RM_MASK);

  /* Only set new environment if it has changed.  */

  if (fpc_new != fpc)

    _FPU_SETCW (fpc_new);

}

#define libc_feholdexcept_setround  libc_feholdexcept_setround_s390

#define libc_feholdexcept_setroundf libc_feholdexcept_setround_s390

#define libc_feholdexcept_setroundl libc_feholdexcept_setround_s390

static __always_inline int

libc_fetestexcept_s390 (int excepts)

{

  int res;

  fexcept_t fpc;

  _FPU_GETCW (fpc);

  /* Get current exceptions.  */

  res = (fpc >> FPC_FLAGS_SHIFT) & FE_ALL_EXCEPT;

  if ((fpc & FPC_NOT_FPU_EXCEPTION) == 0)

    /* Bits 6, 7 of dxc-byte are zero,

       thus bits 0-5 of dxc-byte correspond to the flag-bits.

       Evaluate flags and last dxc-exception-code.  */

    res |= (fpc >> FPC_DXC_SHIFT) & FE_ALL_EXCEPT;

  return res & excepts;

}

#define libc_fetestexcept  libc_fetestexcept_s390

#define libc_fetestexceptf libc_fetestexcept_s390

#define libc_fetestexceptl libc_fetestexcept_s390

static __always_inline void

libc_fesetenv_s390 (const fenv_t *envp)

{

  _FPU_SETCW (envp->__fpc);

}

#define libc_fesetenv  libc_fesetenv_s390

#define libc_fesetenvf libc_fesetenv_s390

#define libc_fesetenvl libc_fesetenv_s390

static __always_inline int

libc_feupdateenv_test_s390 (const fenv_t *envp, int ex)

{

  /* Get the currently raised exceptions.  */

  int excepts;

  fexcept_t fpc_old;

  _FPU_GETCW (fpc_old);

  /* Get current exceptions.  */

  excepts = (fpc_old >> FPC_FLAGS_SHIFT) & FE_ALL_EXCEPT;

  if ((fpc_old & FPC_NOT_FPU_EXCEPTION) == 0)

    /* Bits 6, 7 of dxc-byte are zero,

       thus bits 0-5 of dxc-byte correspond to the flag-bits.

       Evaluate flags and last dxc-exception-code.  */

    excepts |= (fpc_old >> FPC_DXC_SHIFT) & FE_ALL_EXCEPT;

  /* Merge the currently raised exceptions with those in envp.  */

  fpu_control_t fpc_new = envp->__fpc;

  fpc_new |= excepts << FPC_FLAGS_SHIFT;

  /* Install the new fpc from envp.  */

  if (fpc_new != fpc_old)

    _FPU_SETCW (fpc_new);

  /* Raise the exceptions if enabled in new fpc.  */

  if (__glibc_unlikely ((fpc_new >> FPC_EXCEPTION_MASK_SHIFT) & excepts))

    __feraiseexcept (excepts);

  return excepts & ex;

}

#define libc_feupdateenv_test  libc_feupdateenv_test_s390

#define libc_feupdateenv_testf libc_feupdateenv_test_s390

#define libc_feupdateenv_testl libc_feupdateenv_test_s390

static __always_inline void

libc_feupdateenv_s390 (const fenv_t *envp)

{

  libc_feupdateenv_test_s390 (envp, 0);

}

#define libc_feupdateenv  libc_feupdateenv_s390

#define libc_feupdateenvf libc_feupdateenv_s390

#define libc_feupdateenvl libc_feupdateenv_s390

static __always_inline fenv_t

libc_handle_user_fenv_s390 (const fenv_t *envp)

{

  fenv_t env;

  if (envp == FE_DFL_ENV)

    {

      env.__fpc = _FPU_DEFAULT;

    }

  else if (envp == FE_NOMASK_ENV)

    {

      env.__fpc = FPC_EXCEPTION_MASK;

    }

  else

    env = (*envp);

  return env;

}

/* We have support for rounding mode context.  */

#define HAVE_RM_CTX 1

static __always_inline void

libc_feholdsetround_s390_ctx (struct rm_ctx *ctx, int r)

{

  fpu_control_t fpc;

  int round;

  _FPU_GETCW (fpc);

  ctx->env.__fpc = fpc;

  /* Check whether rounding modes are different.  */

  round = fpc & FPC_RM_MASK;

  /* Set the rounding mode if changed.  */

  if (__glibc_unlikely (round != r))

    {

      ctx->updated_status = true;

      libc_fesetround_s390 (r);

    }

  else

    ctx->updated_status = false;

}

#define libc_feholdsetround_ctx		libc_feholdsetround_s390_ctx

#define libc_feholdsetroundf_ctx	libc_feholdsetround_s390_ctx

#define libc_feholdsetroundl_ctx	libc_feholdsetround_s390_ctx

static __always_inline void

libc_feresetround_s390_ctx (struct rm_ctx *ctx)

{

  /* Restore the rounding mode if updated.  */

  if (__glibc_unlikely (ctx->updated_status))

    {

      fpu_control_t fpc;

      _FPU_GETCW (fpc);

      fpc = ctx->env.__fpc | (fpc & FPC_FLAGS_MASK);

      _FPU_SETCW (fpc);

    }

}

#define libc_feresetround_ctx		libc_feresetround_s390_ctx

#define libc_feresetroundf_ctx		libc_feresetround_s390_ctx

#define libc_feresetroundl_ctx		libc_feresetround_s390_ctx

static __always_inline void

libc_feholdsetround_noex_s390_ctx (struct rm_ctx *ctx, int r)

{

  libc_feholdexcept_setround_s390 (&ctx->env, r);

}

#define libc_feholdsetround_noex_ctx	libc_feholdsetround_noex_s390_ctx

#define libc_feholdsetround_noexf_ctx	libc_feholdsetround_noex_s390_ctx

#define libc_feholdsetround_noexl_ctx	libc_feholdsetround_noex_s390_ctx

static __always_inline void

libc_feresetround_noex_s390_ctx (struct rm_ctx *ctx)

{

  /* Restore exception flags and rounding mode.  */

  libc_fesetenv_s390 (&ctx->env);

}

#define libc_feresetround_noex_ctx	libc_feresetround_noex_s390_ctx

#define libc_feresetround_noexf_ctx	libc_feresetround_noex_s390_ctx

#define libc_feresetround_noexl_ctx	libc_feresetround_noex_s390_ctx

#endif