ILP32 math changes

	* sysdeps/aarch64/fpu/s_llrint.c (OREG_SIZE): New macro.
	* sysdeps/aarch64/fpu/s_llround.c (OREG_SIZE): Likewise.
	* sysdeps/aarch64/fpu/s_llrintf.c (OREGS, IREGS): Remove.
	(IREG_SIZE, OREG_SIZE): New macros.
	* sysdeps/aarch64/fpu/s_llroundf.c: (OREGS, IREGS): Remove.
	(IREG_SIZE, OREG_SIZE): New macros.
	* sysdeps/aarch64/fpu/s_lrintf.c (IREGS): Remove.
	(IREG_SIZE): New macro.
	* sysdeps/aarch64/fpu/s_lroundf.c (IREGS): Remove.
	(IREG_SIZE): New macro.
	* sysdeps/aarch64/fpu/s_lrint.c (get-rounding-mode.h, stdint.h):
	New includes.
	(IREG_SIZE, OREG_SIZE): Initialize if not already set.
	(OREGS, IREGS): Set based on IREG_SIZE and OREG_SIZE.
	(__CONCATX): Handle exceptions correctly on large values that may
	set FE_INVALID.
	* sysdeps/aarch64/fpu/s_lround.c (IREG_SIZE, OREG_SIZE):
	Initialize if not already set.
        (OREGS, IREGS): Set based on IREG_SIZE and OREG_SIZE.

diff --git a/ChangeLog b/ChangeLog
index a934c6939317b6e5b825895e35b38ec3f1d64102..4841dca473fa6499569f89249b6309f679a33ef9 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,26 @@
+2017-08-31  Steve Ellcey  <sellcey@cavium.com>
+           Richard Henderson <rth@twiddle.net>
+
+       * sysdeps/aarch64/fpu/s_llrint.c (OREG_SIZE): New macro.
+       * sysdeps/aarch64/fpu/s_llround.c (OREG_SIZE): Likewise.
+       * sysdeps/aarch64/fpu/s_llrintf.c (OREGS, IREGS): Remove.
+       (IREG_SIZE, OREG_SIZE): New macros.
+       * sysdeps/aarch64/fpu/s_llroundf.c: (OREGS, IREGS): Remove.
+       (IREG_SIZE, OREG_SIZE): New macros.
+       * sysdeps/aarch64/fpu/s_lrintf.c (IREGS): Remove.
+       (IREG_SIZE): New macro.
+       * sysdeps/aarch64/fpu/s_lroundf.c (IREGS): Remove.
+       (IREG_SIZE): New macro.
+       * sysdeps/aarch64/fpu/s_lrint.c (get-rounding-mode.h, stdint.h):
+       New includes.
+       (IREG_SIZE, OREG_SIZE): Initialize if not already set.
+       (OREGS, IREGS): Set based on IREG_SIZE and OREG_SIZE.
+       (__CONCATX): Handle exceptions correctly on large values that may
+       set FE_INVALID.
+       * sysdeps/aarch64/fpu/s_lround.c (IREG_SIZE, OREG_SIZE):
+       Initialize if not already set.
+        (OREGS, IREGS): Set based on IREG_SIZE and OREG_SIZE.
+
 2017-08-31  Adhemerval Zanella  <adhemerval.zanella@linaro.org>
 
        * sysdeps/generic/not-cancel.h (NO_CANCELLATION): Remove macro.

diff --git a/sysdeps/aarch64/fpu/s_llrint.c b/sysdeps/aarch64/fpu/s_llrint.c
index c0d0d0e879c145290370dfa13625f7325e6dc583..57821c02f86e7cd89ffcdbf68c5ce58546cf8e48 100644 (file)
--- a/sysdeps/aarch64/fpu/s_llrint.c
+++ b/sysdeps/aarch64/fpu/s_llrint.c
@@ -18,4 +18,5 @@
 
 #define FUNC llrint
 #define OTYPE long long int
+#define OREG_SIZE 64
 #include <s_lrint.c>

diff --git a/sysdeps/aarch64/fpu/s_llrintf.c b/sysdeps/aarch64/fpu/s_llrintf.c
index 67724c6d477dd042c770d67df240167d067a1b1b..98ed4f864ef75e523427f6cf8cdd4401f5da2f41 100644 (file)
--- a/sysdeps/aarch64/fpu/s_llrintf.c
+++ b/sysdeps/aarch64/fpu/s_llrintf.c
@@ -18,6 +18,7 @@
 
 #define FUNC llrintf
 #define ITYPE float
-#define IREGS "s"
+#define IREG_SIZE 32
 #define OTYPE long long int
+#define OREG_SIZE 64
 #include <s_lrint.c>

diff --git a/sysdeps/aarch64/fpu/s_llround.c b/sysdeps/aarch64/fpu/s_llround.c
index ed4b192d5c9d5bd10c1ec1cef25cce125fc483ae..ef7aedf36b64984f785616aca5a033c72ee6cd29 100644 (file)
--- a/sysdeps/aarch64/fpu/s_llround.c
+++ b/sysdeps/aarch64/fpu/s_llround.c
@@ -18,4 +18,5 @@
 
 #define FUNC llround
 #define OTYPE long long int
+#define OREG_SIZE 64
 #include <s_lround.c>

diff --git a/sysdeps/aarch64/fpu/s_llroundf.c b/sysdeps/aarch64/fpu/s_llroundf.c
index 360ce8b4c5de5401ffb275a51176668f3a944c79..294f0f4761454f3e015da3f482af4952b4a736e3 100644 (file)
--- a/sysdeps/aarch64/fpu/s_llroundf.c
+++ b/sysdeps/aarch64/fpu/s_llroundf.c
@@ -18,6 +18,7 @@
 
 #define FUNC llroundf
 #define ITYPE float
-#define IREGS "s"
+#define IREG_SIZE 32
 #define OTYPE long long int
+#define OREG_SIZE 64
 #include <s_lround.c>

diff --git a/sysdeps/aarch64/fpu/s_lrint.c b/sysdeps/aarch64/fpu/s_lrint.c
index 8c61a039bf1ecdc7f6d6782c618768f95aa64576..6ef64e22bfeda20a2bfa52167145d638c37e265b 100644 (file)
--- a/sysdeps/aarch64/fpu/s_lrint.c
+++ b/sysdeps/aarch64/fpu/s_lrint.c
@@ -17,6 +17,8 @@
    <http://www.gnu.org/licenses/>.  */
 
 #include <math.h>
+#include <get-rounding-mode.h>
+#include <stdint.h>
 
 #ifndef FUNC
 # define FUNC lrint
@@ -24,18 +26,37 @@
 
 #ifndef ITYPE
 # define ITYPE double
-# define IREGS "d"
+# define IREG_SIZE 64
 #else
-# ifndef IREGS
-#  error IREGS not defined
+# ifndef IREG_SIZE
+#  error IREG_SIZE not defined
 # endif
 #endif
 
 #ifndef OTYPE
 # define OTYPE long int
+# ifdef __ILP32__
+#  define OREG_SIZE 32
+# else
+#  define OREG_SIZE 64
+# endif
+#else
+# ifndef OREG_SIZE
+#  error OREG_SIZE not defined
+# endif
 #endif
 
-#define OREGS "x"
+#if IREG_SIZE == 32
+# define IREGS "s"
+#else
+# define IREGS "d"
+#endif
+
+#if OREG_SIZE == 32
+# define OREGS "w"
+#else
+# define OREGS "x"
+#endif
 
 #define __CONCATX(a,b) __CONCAT(a,b)
 
@@ -44,6 +65,37 @@ __CONCATX(__,FUNC) (ITYPE x)
 {
   OTYPE result;
   ITYPE temp;
+
+#if IREG_SIZE == 64 && OREG_SIZE == 32
+  if (__builtin_fabs (x) > INT32_MAX)
+    {
+      /* Converting large values to a 32 bit int may cause the frintx/fcvtza
+        sequence to set both FE_INVALID and FE_INEXACT.  To avoid this
+        check the rounding mode and do a single instruction with the
+        appropriate rounding mode.  */
+
+      switch (get_rounding_mode ())
+       {
+       case FE_TONEAREST:
+         asm volatile ("fcvtns" "\t%" OREGS "0, %" IREGS "1"
+                       : "=r" (result) : "w" (x));
+         break;
+       case FE_UPWARD:
+         asm volatile ("fcvtps" "\t%" OREGS "0, %" IREGS "1"
+                       : "=r" (result) : "w" (x));
+         break;
+       case FE_DOWNWARD:
+         asm volatile ("fcvtms" "\t%" OREGS "0, %" IREGS "1"
+                       : "=r" (result) : "w" (x));
+         break;
+       case FE_TOWARDZERO:
+       default:
+         asm volatile ("fcvtzs" "\t%" OREGS "0, %" IREGS "1"
+                       : "=r" (result) : "w" (x));
+       }
+      return result;
+    }
+#endif
   asm ( "frintx" "\t%" IREGS "1, %" IREGS "2\n\t"
         "fcvtzs" "\t%" OREGS "0, %" IREGS "1"
         : "=r" (result), "=w" (temp) : "w" (x) );

diff --git a/sysdeps/aarch64/fpu/s_lrintf.c b/sysdeps/aarch64/fpu/s_lrintf.c
index a995e4b96ff4253d90d8aeae59709b8ecfa6ed74..2e7327149781e830e57eead00d651ed1f197487e 100644 (file)
--- a/sysdeps/aarch64/fpu/s_lrintf.c
+++ b/sysdeps/aarch64/fpu/s_lrintf.c
@@ -18,5 +18,5 @@
 
 #define FUNC lrintf
 #define ITYPE float
-#define IREGS "s"
+#define IREG_SIZE 32
 #include <s_lrint.c>

diff --git a/sysdeps/aarch64/fpu/s_lround.c b/sysdeps/aarch64/fpu/s_lround.c
index 9be9e7fb0f8ecda6fca916a428696fd4d328ec76..1f77d82e338b97902f1811233eb372924dcd88ac 100644 (file)
--- a/sysdeps/aarch64/fpu/s_lround.c
+++ b/sysdeps/aarch64/fpu/s_lround.c
@@ -24,18 +24,37 @@
 
 #ifndef ITYPE
 # define ITYPE double
-# define IREGS "d"
+# define IREG_SIZE 64
 #else
-# ifndef IREGS
-#  error IREGS not defined
+# ifndef IREG_SIZE
+#  error IREG_SIZE not defined
 # endif
 #endif
 
 #ifndef OTYPE
 # define OTYPE long int
+# ifdef __ILP32__
+#  define OREG_SIZE 32
+# else
+#  define OREG_SIZE 64
+# endif
+#else
+# ifndef OREG_SIZE
+#  error OREG_SIZE not defined
+# endif
+#endif
+
+#if IREG_SIZE == 32
+# define IREGS "s"
+#else
+# define IREGS "d"
 #endif
 
-#define OREGS "x"
+#if OREG_SIZE == 32
+# define OREGS "w"
+#else
+# define OREGS "x"
+#endif
 
 #define __CONCATX(a,b) __CONCAT(a,b)
 

diff --git a/sysdeps/aarch64/fpu/s_lroundf.c b/sysdeps/aarch64/fpu/s_lroundf.c
index 4a066d4816063e240913b03170d941e98030324c..b30ddb6dbb7d705cc956b24966beec4d4e45f17f 100644 (file)
--- a/sysdeps/aarch64/fpu/s_lroundf.c
+++ b/sysdeps/aarch64/fpu/s_lroundf.c
@@ -18,5 +18,5 @@
 
 #define FUNC lroundf
 #define ITYPE float
-#define IREGS "s"
+#define IREG_SIZE 32
 #include <s_lround.c>