Blame sysdeps/arm/fesetmode.c

Packit Service 82fcde
/* Install given floating-point control modes.  ARM version.
Packit Service 82fcde
   Copyright (C) 2016-2018 Free Software Foundation, Inc.
Packit Service 82fcde
   This file is part of the GNU C Library.
Packit Service 82fcde
Packit Service 82fcde
   The GNU C Library is free software; you can redistribute it and/or
Packit Service 82fcde
   modify it under the terms of the GNU Lesser General Public
Packit Service 82fcde
   License as published by the Free Software Foundation; either
Packit Service 82fcde
   version 2.1 of the License, or (at your option) any later version.
Packit Service 82fcde
Packit Service 82fcde
   The GNU C Library is distributed in the hope that it will be useful,
Packit Service 82fcde
   but WITHOUT ANY WARRANTY; without even the implied warranty of
Packit Service 82fcde
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
Packit Service 82fcde
   Lesser General Public License for more details.
Packit Service 82fcde
Packit Service 82fcde
   You should have received a copy of the GNU Lesser General Public
Packit Service 82fcde
   License along with the GNU C Library; if not, see
Packit Service 82fcde
   <http://www.gnu.org/licenses/>.  */
Packit Service 82fcde
Packit Service 82fcde
#include <fenv.h>
Packit Service 82fcde
#include <fpu_control.h>
Packit Service 82fcde
#include <arm-features.h>
Packit Service 82fcde
Packit Service 82fcde
/* NZCV flags, QC bit, IDC bit and bits for IEEE exception status.  */
Packit Service 82fcde
#define FPU_STATUS_BITS 0xf800009f
Packit Service 82fcde
Packit Service 82fcde
int
Packit Service 82fcde
fesetmode (const femode_t *modep)
Packit Service 82fcde
{
Packit Service 82fcde
  fpu_control_t fpscr, new_fpscr;
Packit Service 82fcde
Packit Service 82fcde
  if (!ARM_HAVE_VFP)
Packit Service 82fcde
    /* Nothing to do.  */
Packit Service 82fcde
    return 0;
Packit Service 82fcde
Packit Service 82fcde
  _FPU_GETCW (fpscr);
Packit Service 82fcde
  if (modep == FE_DFL_MODE)
Packit Service 82fcde
    new_fpscr = (fpscr & (_FPU_RESERVED | FPU_STATUS_BITS)) | _FPU_DEFAULT;
Packit Service 82fcde
  else
Packit Service 82fcde
    new_fpscr = (fpscr & FPU_STATUS_BITS) | (*modep & ~FPU_STATUS_BITS);
Packit Service 82fcde
Packit Service 82fcde
  if (((new_fpscr ^ fpscr) & ~_FPU_MASK_NZCV) != 0)
Packit Service 82fcde
    _FPU_SETCW (new_fpscr);
Packit Service 82fcde
Packit Service 82fcde
  return 0;
Packit Service 82fcde
}