aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorWilco <wdijkstr@arm.com>2014-05-15 15:18:40 +0100
committerMarcus Shawcroft <marcus.shawcroft@arm.com>2014-05-15 15:23:27 +0100
commit1a2f40e5d14ed6450696feacf04fca5eeceae7ef (patch)
treef08d34c9426d8833b6daef1509a1ac431e0b3c0b
parentcf26a0cb6a0bbaca46a01ddad6662e5e5159a32a (diff)
downloadglibc-1a2f40e5d14ed6450696feacf04fca5eeceae7ef.tar
glibc-1a2f40e5d14ed6450696feacf04fca5eeceae7ef.tar.gz
glibc-1a2f40e5d14ed6450696feacf04fca5eeceae7ef.tar.bz2
glibc-1a2f40e5d14ed6450696feacf04fca5eeceae7ef.zip
ARM: Improve fenv implementation
-rw-r--r--ChangeLog19
-rw-r--r--sysdeps/arm/fclrexcpt.c27
-rw-r--r--sysdeps/arm/fedisblxcpt.c24
-rw-r--r--sysdeps/arm/feenablxcpt.c42
-rw-r--r--sysdeps/arm/fegetenv.c21
-rw-r--r--sysdeps/arm/fegetexcept.c14
-rw-r--r--sysdeps/arm/fegetround.c17
-rw-r--r--sysdeps/arm/feholdexcpt.c28
-rw-r--r--sysdeps/arm/fesetenv.c56
-rw-r--r--sysdeps/arm/fesetround.c39
-rw-r--r--sysdeps/arm/feupdateenv.c25
-rw-r--r--sysdeps/arm/fgetexcptflg.c19
-rw-r--r--sysdeps/arm/fraiseexcpt.c10
-rw-r--r--sysdeps/arm/fsetexcptflg.c27
-rw-r--r--sysdeps/arm/ftestexcept.c16
-rw-r--r--sysdeps/arm/get-rounding-mode.h16
-rw-r--r--sysdeps/arm/setfpucw.c23
17 files changed, 190 insertions, 233 deletions
diff --git a/ChangeLog b/ChangeLog
index 079e1ed0ac..83719ed450 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -895,6 +895,25 @@
* nptl/sysdeps/unix/sysv/linux/s390/bits/pthreadtypes.h
(pthread_mutex_t): Add lock elision support for s390.
+2014-05-14 Wilco <wdijkstr@arm.com>
+
+ * sysdeps/arm/fclrexcpt.c: Cleanup.
+ * sysdeps/arm/fedisblxcpt.c: Cleanup.
+ * sysdeps/arm/feenablxcpt.c: Cleanup.
+ * sysdeps/arm/fegetenv.c: Cleanup.
+ * sysdeps/arm/fegetexcept.c: Cleanup.
+ * sysdeps/arm/fegetround.c: Cleanup.
+ * sysdeps/arm/feholdexcpt.c: Cleanup.
+ * sysdeps/arm/fesetenv.c: Cleanup.
+ * sysdeps/arm/fesetround.c: Cleanup.
+ * sysdeps/arm/feupdateenv.c: Cleanup.
+ * sysdeps/arm/fgetexcptflg.c: Cleanup.
+ * sysdeps/arm/fraiseexcpt.c: Cleanup.
+ * sysdeps/arm/fsetexcptflg.c: Cleanup.
+ * sysdeps/arm/ftestexcept.c: Cleanup.
+ * sysdeps/arm/get-rounding-mode.h: Cleanup.
+ * sysdeps/arm/setfpucw.c: Cleanup.
+
2014-05-09 Will Newton <will.newton@linaro.org>
* sysdeps/arm/armv7/strcmp.S: New file.
diff --git a/sysdeps/arm/fclrexcpt.c b/sysdeps/arm/fclrexcpt.c
index 72eaab98de..cbf61a6f4a 100644
--- a/sysdeps/arm/fclrexcpt.c
+++ b/sysdeps/arm/fclrexcpt.c
@@ -24,27 +24,20 @@
int
feclearexcept (int excepts)
{
- if (ARM_HAVE_VFP)
- {
- unsigned long int temp;
+ fpu_control_t fpscr;
- /* Mask out unsupported bits/exceptions. */
- excepts &= FE_ALL_EXCEPT;
+ /* Fail if a VFP unit isn't present unless nothing needs to be done. */
+ if (!ARM_HAVE_VFP)
+ return (excepts != 0);
- /* Get the current floating point status. */
- _FPU_GETCW (temp);
+ _FPU_GETCW (fpscr);
+ excepts &= FE_ALL_EXCEPT;
- /* Clear the relevant bits. */
- temp = (temp & ~FE_ALL_EXCEPT) | (temp & FE_ALL_EXCEPT & ~excepts);
+ /* Clear the relevant bits. */
+ fpscr = (fpscr & ~FE_ALL_EXCEPT) | (fpscr & FE_ALL_EXCEPT & ~excepts);
- /* Put the new data in effect. */
- _FPU_SETCW (temp);
+ _FPU_SETCW (fpscr);
- /* Success. */
- return 0;
- }
-
- /* Unsupported, so fail unless nothing needs to be done. */
- return (excepts != 0);
+ return 0;
}
libm_hidden_def (feclearexcept)
diff --git a/sysdeps/arm/fedisblxcpt.c b/sysdeps/arm/fedisblxcpt.c
index 88da539439..f2956cd32a 100644
--- a/sysdeps/arm/fedisblxcpt.c
+++ b/sysdeps/arm/fedisblxcpt.c
@@ -25,23 +25,17 @@
int
fedisableexcept (int excepts)
{
- if (ARM_HAVE_VFP)
- {
- unsigned long int new_exc, old_exc;
+ fpu_control_t fpscr, new_fpscr;
- _FPU_GETCW(new_exc);
+ /* Fail if a VFP unit isn't present. */
+ if (!ARM_HAVE_VFP)
+ return -1;
- old_exc = (new_exc >> FE_EXCEPT_SHIFT) & FE_ALL_EXCEPT;
+ _FPU_GETCW (fpscr);
+ excepts &= FE_ALL_EXCEPT;
+ new_fpscr = fpscr & ~(excepts << FE_EXCEPT_SHIFT);
- excepts &= FE_ALL_EXCEPT;
+ _FPU_SETCW (new_fpscr);
- new_exc &= ~(excepts << FE_EXCEPT_SHIFT);
-
- _FPU_SETCW(new_exc);
-
- return old_exc;
- }
-
- /* Unsupported, so return -1 for failure. */
- return -1;
+ return (fpscr >> FE_EXCEPT_SHIFT) & FE_ALL_EXCEPT;
}
diff --git a/sysdeps/arm/feenablxcpt.c b/sysdeps/arm/feenablxcpt.c
index b286ec5565..afd8943638 100644
--- a/sysdeps/arm/feenablxcpt.c
+++ b/sysdeps/arm/feenablxcpt.c
@@ -25,35 +25,27 @@
int
feenableexcept (int excepts)
{
- if (ARM_HAVE_VFP)
- {
- unsigned long int new_exc, old_exc;
-
- _FPU_GETCW(new_exc);
-
- old_exc = (new_exc >> FE_EXCEPT_SHIFT) & FE_ALL_EXCEPT;
+ fpu_control_t fpscr, new_fpscr;
- excepts &= FE_ALL_EXCEPT;
+ /* Fail if a VFP unit isn't present. */
+ if (!ARM_HAVE_VFP)
+ return -1;
- new_exc |= (excepts << FE_EXCEPT_SHIFT);
+ _FPU_GETCW (fpscr);
+ excepts &= FE_ALL_EXCEPT;
+ new_fpscr = fpscr | (excepts << FE_EXCEPT_SHIFT);
- _FPU_SETCW(new_exc);
+ _FPU_SETCW (new_fpscr);
- if (excepts != 0)
- {
- /* VFPv3 and VFPv4 do not support trapping exceptions, so
- test whether the relevant bits were set and fail if
- not. */
- unsigned int temp;
- _FPU_GETCW (temp);
- if ((temp & (excepts << FE_EXCEPT_SHIFT))
- != (excepts << FE_EXCEPT_SHIFT))
- return -1;
- }
-
- return old_exc;
+ if (excepts != 0)
+ {
+ /* Not all VFP architectures support trapping exceptions, so
+ test whether the relevant bits were set and fail if not. */
+ _FPU_GETCW (new_fpscr);
+ if ((new_fpscr & (excepts << FE_EXCEPT_SHIFT))
+ != (excepts << FE_EXCEPT_SHIFT))
+ return -1;
}
- /* Unsupported, so return -1 for failure. */
- return -1;
+ return (fpscr >> FE_EXCEPT_SHIFT) & FE_ALL_EXCEPT;
}
diff --git a/sysdeps/arm/fegetenv.c b/sysdeps/arm/fegetenv.c
index a45c1af3cf..f390c0fdf7 100644
--- a/sysdeps/arm/fegetenv.c
+++ b/sysdeps/arm/fegetenv.c
@@ -24,17 +24,14 @@
int
fegetenv (fenv_t *envp)
{
- if (ARM_HAVE_VFP)
- {
- unsigned long int temp;
- _FPU_GETCW (temp);
- envp->__cw = temp;
-
- /* Success. */
- return 0;
- }
-
- /* Unsupported, so fail. */
- return 1;
+ fpu_control_t fpscr;
+
+ /* Fail if a VFP unit isn't present. */
+ if (!ARM_HAVE_VFP)
+ return 1;
+
+ _FPU_GETCW (fpscr);
+ envp->__cw = fpscr;
+ return 0;
}
libm_hidden_def (fegetenv)
diff --git a/sysdeps/arm/fegetexcept.c b/sysdeps/arm/fegetexcept.c
index 5974c63336..aa244d0928 100644
--- a/sysdeps/arm/fegetexcept.c
+++ b/sysdeps/arm/fegetexcept.c
@@ -25,15 +25,13 @@
int
fegetexcept (void)
{
- if (ARM_HAVE_VFP)
- {
- unsigned long temp;
+ fpu_control_t fpscr;
- _FPU_GETCW (temp);
+ /* Return with all exceptions disabled if a VFP unit isn't present. */
+ if (!ARM_HAVE_VFP)
+ return 0;
- return (temp >> FE_EXCEPT_SHIFT) & FE_ALL_EXCEPT;
- }
+ _FPU_GETCW (fpscr);
- /* Unsupported. Return all exceptions disabled. */
- return 0;
+ return (fpscr >> FE_EXCEPT_SHIFT) & FE_ALL_EXCEPT;
}
diff --git a/sysdeps/arm/fegetround.c b/sysdeps/arm/fegetround.c
index cb4cf1bce2..1c9c151a16 100644
--- a/sysdeps/arm/fegetround.c
+++ b/sysdeps/arm/fegetround.c
@@ -24,17 +24,14 @@
int
fegetround (void)
{
- if (ARM_HAVE_VFP)
- {
- unsigned int temp;
+ fpu_control_t fpscr;
- /* Get the current environment. */
- _FPU_GETCW (temp);
+ /* FE_TONEAREST is the only supported rounding mode
+ if a VFP unit isn't present. */
+ if (!ARM_HAVE_VFP)
+ return FE_TONEAREST;
- return temp & FE_TOWARDZERO;
- }
-
- /* The current soft-float implementation only handles TONEAREST. */
- return FE_TONEAREST;
+ _FPU_GETCW (fpscr);
+ return fpscr & FE_TOWARDZERO;
}
libm_hidden_def (fegetround)
diff --git a/sysdeps/arm/feholdexcpt.c b/sysdeps/arm/feholdexcpt.c
index 9ca673c6fb..258ba6637f 100644
--- a/sysdeps/arm/feholdexcpt.c
+++ b/sysdeps/arm/feholdexcpt.c
@@ -24,27 +24,23 @@
int
feholdexcept (fenv_t *envp)
{
- if (ARM_HAVE_VFP)
- {
- unsigned long int temp;
+ fpu_control_t fpscr;
- /* Store the environment. */
- _FPU_GETCW(temp);
- envp->__cw = temp;
+ /* Fail if a VFP unit isn't present. */
+ if (!ARM_HAVE_VFP)
+ return 1;
- /* Now set all exceptions to non-stop. */
- temp &= ~(FE_ALL_EXCEPT << FE_EXCEPT_SHIFT);
+ _FPU_GETCW (fpscr);
+ envp->__cw = fpscr;
- /* And clear all exception flags. */
- temp &= ~FE_ALL_EXCEPT;
+ /* Now set all exceptions to non-stop. */
+ fpscr &= ~(FE_ALL_EXCEPT << FE_EXCEPT_SHIFT);
- _FPU_SETCW(temp);
+ /* And clear all exception flags. */
+ fpscr &= ~FE_ALL_EXCEPT;
- return 0;
- }
-
- /* Unsupported, so fail. */
- return 1;
+ _FPU_SETCW (fpscr);
+ return 0;
}
libm_hidden_def (feholdexcept)
diff --git a/sysdeps/arm/fesetenv.c b/sysdeps/arm/fesetenv.c
index dabb88bb67..62031d596d 100644
--- a/sysdeps/arm/fesetenv.c
+++ b/sysdeps/arm/fesetenv.c
@@ -24,38 +24,36 @@
int
fesetenv (const fenv_t *envp)
{
- if (ARM_HAVE_VFP)
+ fpu_control_t fpscr;
+
+ /* Fail if a VFP unit isn't present. */
+ if (!ARM_HAVE_VFP)
+ return 1;
+
+ _FPU_GETCW (fpscr);
+
+ /* Preserve the reserved FPSCR flags. */
+ fpscr &= _FPU_RESERVED;
+
+ if (envp == FE_DFL_ENV)
+ fpscr |= _FPU_DEFAULT;
+ else if (envp == FE_NOMASK_ENV)
+ fpscr |= _FPU_IEEE;
+ else
+ fpscr |= envp->__cw & ~_FPU_RESERVED;
+
+ _FPU_SETCW (fpscr);
+
+ if (envp == FE_NOMASK_ENV)
{
- unsigned int temp;
-
- _FPU_GETCW (temp);
- temp &= _FPU_RESERVED;
-
- if (envp == FE_DFL_ENV)
- temp |= _FPU_DEFAULT;
- else if (envp == FE_NOMASK_ENV)
- temp |= _FPU_IEEE;
- else
- temp |= envp->__cw & ~_FPU_RESERVED;
-
- _FPU_SETCW (temp);
-
- if (envp == FE_NOMASK_ENV)
- {
- /* VFPv3 and VFPv4 do not support trapping exceptions, so
- test whether the relevant bits were set and fail if
- not. */
- _FPU_GETCW (temp);
- if ((temp & _FPU_IEEE) != _FPU_IEEE)
- return 1;
- }
-
- /* Success. */
- return 0;
+ /* Not all VFP architectures support trapping exceptions, so
+ test whether the relevant bits were set and fail if not. */
+ _FPU_GETCW (fpscr);
+ if ((fpscr & _FPU_IEEE) != _FPU_IEEE)
+ return 1;
}
- /* Unsupported, so fail. */
- return 1;
+ return 0;
}
libm_hidden_def (fesetenv)
diff --git a/sysdeps/arm/fesetround.c b/sysdeps/arm/fesetround.c
index 6f533d1992..d1b92dc255 100644
--- a/sysdeps/arm/fesetround.c
+++ b/sysdeps/arm/fesetround.c
@@ -24,30 +24,21 @@
int
fesetround (int round)
{
- if (ARM_HAVE_VFP)
- {
- fpu_control_t temp;
-
- switch (round)
- {
- case FE_TONEAREST:
- case FE_UPWARD:
- case FE_DOWNWARD:
- case FE_TOWARDZERO:
- _FPU_GETCW (temp);
- temp = (temp & ~FE_TOWARDZERO) | round;
- _FPU_SETCW (temp);
- return 0;
- default:
- return 1;
- }
- }
- else if (round == FE_TONEAREST)
- /* This is the only supported rounding mode for soft-fp. */
- return 0;
-
- /* Unsupported, so fail. */
- return 1;
+ fpu_control_t fpscr;
+
+ /* FE_TONEAREST is the only supported rounding mode
+ if a VFP unit isn't present. */
+ if (!ARM_HAVE_VFP)
+ return (round == FE_TONEAREST) ? 0 : 1;
+
+ /* Fail if the rounding mode is not valid. */
+ if (round & ~FE_TOWARDZERO)
+ return 1;
+
+ _FPU_GETCW (fpscr);
+ fpscr = (fpscr & ~FE_TOWARDZERO) | round;
+ _FPU_SETCW (fpscr);
+ return 0;
}
libm_hidden_def (fesetround)
diff --git a/sysdeps/arm/feupdateenv.c b/sysdeps/arm/feupdateenv.c
index f5deb60ade..55a15025c6 100644
--- a/sysdeps/arm/feupdateenv.c
+++ b/sysdeps/arm/feupdateenv.c
@@ -25,24 +25,19 @@
int
feupdateenv (const fenv_t *envp)
{
- if (ARM_HAVE_VFP)
- {
- unsigned int temp;
+ fpu_control_t fpscr;
- /* Get the current exception state. */
- _FPU_GETCW (temp);
+ /* Fail if a VFP unit isn't present. */
+ if (!ARM_HAVE_VFP)
+ return 1;
- /* Install new environment. */
- fesetenv (envp);
+ _FPU_GETCW (fpscr);
- /* Raise the saved exceptions. */
- feraiseexcept (temp & FE_ALL_EXCEPT);
+ /* Install new environment. */
+ fesetenv (envp);
- /* Success. */
- return 0;
- }
-
- /* Unsupported, so fail. */
- return 1;
+ /* Raise the saved exceptions. */
+ feraiseexcept (fpscr & FE_ALL_EXCEPT);
+ return 0;
}
libm_hidden_def (feupdateenv)
diff --git a/sysdeps/arm/fgetexcptflg.c b/sysdeps/arm/fgetexcptflg.c
index beb43be748..63fdfbf747 100644
--- a/sysdeps/arm/fgetexcptflg.c
+++ b/sysdeps/arm/fgetexcptflg.c
@@ -25,19 +25,14 @@
int
fegetexceptflag (fexcept_t *flagp, int excepts)
{
- if (ARM_HAVE_VFP)
- {
- unsigned long temp;
+ fpu_control_t fpscr;
- /* Get the current exceptions. */
- _FPU_GETCW (temp);
+ /* Fail if a VFP unit isn't present. */
+ if (!ARM_HAVE_VFP)
+ return 1;
- *flagp = temp & excepts & FE_ALL_EXCEPT;
+ _FPU_GETCW (fpscr);
- /* Success. */
- return 0;
- }
-
- /* Unsupported, so fail. */
- return 1;
+ *flagp = fpscr & excepts & FE_ALL_EXCEPT;
+ return 0;
}
diff --git a/sysdeps/arm/fraiseexcpt.c b/sysdeps/arm/fraiseexcpt.c
index 8b320651eb..a964cb01d4 100644
--- a/sysdeps/arm/fraiseexcpt.c
+++ b/sysdeps/arm/fraiseexcpt.c
@@ -25,9 +25,12 @@
int
feraiseexcept (int excepts)
{
- if (ARM_HAVE_VFP)
+ /* Fail if a VFP unit isn't present unless nothing needs to be done. */
+ if (!ARM_HAVE_VFP)
+ return (excepts != 0);
+ else
{
- int fpscr;
+ fpu_control_t fpscr;
const float fp_zero = 0.0, fp_one = 1.0, fp_max = FLT_MAX,
fp_min = FLT_MIN, fp_1e32 = 1.0e32f, fp_two = 2.0,
fp_three = 3.0;
@@ -98,9 +101,6 @@ feraiseexcept (int excepts)
/* Success. */
return 0;
}
-
- /* Unsupported, so fail unless nothing needs to be done. */
- return (excepts != 0);
}
libm_hidden_def (feraiseexcept)
diff --git a/sysdeps/arm/fsetexcptflg.c b/sysdeps/arm/fsetexcptflg.c
index 7e3d007e96..1a610ff912 100644
--- a/sysdeps/arm/fsetexcptflg.c
+++ b/sysdeps/arm/fsetexcptflg.c
@@ -25,24 +25,19 @@
int
fesetexceptflag (const fexcept_t *flagp, int excepts)
{
- if (ARM_HAVE_VFP)
- {
- fexcept_t temp;
+ fpu_control_t fpscr;
- /* Get the current environment. */
- _FPU_GETCW (temp);
+ /* Fail if a VFP unit isn't present unless nothing needs to be done. */
+ if (!ARM_HAVE_VFP)
+ return (excepts != 0);
- /* Set the desired exception mask. */
- temp &= ~(excepts & FE_ALL_EXCEPT);
- temp |= (*flagp & excepts & FE_ALL_EXCEPT);
+ _FPU_GETCW (fpscr);
- /* Save state back to the FPU. */
- _FPU_SETCW (temp);
+ /* Set the desired exception mask. */
+ fpscr &= ~(excepts & FE_ALL_EXCEPT);
+ fpscr |= (*flagp & excepts & FE_ALL_EXCEPT);
- /* Success. */
- return 0;
- }
-
- /* Unsupported, so fail unless nothing needs to be done. */
- return (excepts != 0);
+ /* Save state back to the FPU. */
+ _FPU_SETCW (fpscr);
+ return 0;
}
diff --git a/sysdeps/arm/ftestexcept.c b/sysdeps/arm/ftestexcept.c
index 9295c0fec2..de082b281a 100644
--- a/sysdeps/arm/ftestexcept.c
+++ b/sysdeps/arm/ftestexcept.c
@@ -24,17 +24,15 @@
int
fetestexcept (int excepts)
{
- if (ARM_HAVE_VFP)
- {
- fexcept_t temp;
+ fpu_control_t fpscr;
- /* Get current exceptions. */
- _FPU_GETCW(temp);
+ /* Return no exception flags if a VFP unit isn't present. */
+ if (!ARM_HAVE_VFP)
+ return 0;
- return temp & excepts & FE_ALL_EXCEPT;
- }
+ /* Get current exceptions. */
+ _FPU_GETCW (fpscr);
- /* Unsupported, return 0. */
- return 0;
+ return fpscr & excepts & FE_ALL_EXCEPT;
}
libm_hidden_def (fetestexcept)
diff --git a/sysdeps/arm/get-rounding-mode.h b/sysdeps/arm/get-rounding-mode.h
index 7d6054cd89..a1ecf51a46 100644
--- a/sysdeps/arm/get-rounding-mode.h
+++ b/sysdeps/arm/get-rounding-mode.h
@@ -28,15 +28,15 @@
static inline int
get_rounding_mode (void)
{
- if (ARM_HAVE_VFP)
- {
- fpu_control_t fc;
-
- _FPU_GETCW (fc);
- return fc & FE_TOWARDZERO;
- }
- else
+ fpu_control_t fpscr;
+
+ /* FE_TONEAREST is the only supported rounding mode
+ if a VFP unit isn't present. */
+ if (!ARM_HAVE_VFP)
return FE_TONEAREST;
+
+ _FPU_GETCW (fpscr);
+ return fpscr & FE_TOWARDZERO;
}
#endif /* get-rounding-mode.h */
diff --git a/sysdeps/arm/setfpucw.c b/sysdeps/arm/setfpucw.c
index 92333eb364..7416377f9e 100644
--- a/sysdeps/arm/setfpucw.c
+++ b/sysdeps/arm/setfpucw.c
@@ -24,20 +24,19 @@
void
__setfpucw (fpu_control_t set)
{
- if (ARM_HAVE_VFP)
- {
- fpu_control_t cw;
+ fpu_control_t fpscr;
- /* Fetch the current control word. */
- _FPU_GETCW (cw);
+ /* Do nothing if a VFP unit isn't present. */
+ if (!ARM_HAVE_VFP)
+ return;
- /* Preserve the reserved bits, and set the rest as the user
- specified (or the default, if the user gave zero). */
- cw &= _FPU_RESERVED;
- cw |= set & ~_FPU_RESERVED;
+ /* Fetch the current control word. */
+ _FPU_GETCW (fpscr);
- _FPU_SETCW (cw);
- }
+ /* Preserve the reserved bits, and set the rest as the user
+ specified (or the default, if the user gave zero). */
+ fpscr &= _FPU_RESERVED;
+ fpscr |= set & ~_FPU_RESERVED;
- /* Do nothing if a VFP unit isn't present. */
+ _FPU_SETCW (fpscr);
}