Add ieee754/flt-32 and ieee754/dbl-64.

diff --git a/sysdeps/alpha/Implies b/sysdeps/alpha/Implies
index 37fee79d972974e8f587eacb10ef42e2ab8c50c5..2c6af5b7bbe7d4d3710719d53ddac38bbbc518e0 100644 (file)
--- a/sysdeps/alpha/Implies
+++ b/sysdeps/alpha/Implies
@@ -1,3 +1,4 @@
 wordsize-64
-# Alpha uses IEEE 754 floating point.
-ieee754
+# Alpha uses IEEE 754 single and double precision floating point.
+ieee754/flt-32
+ieee754/dbl-64

diff --git a/sysdeps/arm/Implies b/sysdeps/arm/Implies
index d6acf04a8274e124bd1f61ea91498eb1d2d484d2..780c4e2467693939f701fd79c20804bb8fffc04a 100644 (file)
--- a/sysdeps/arm/Implies
+++ b/sysdeps/arm/Implies
@@ -1,2 +1,3 @@
 wordsize-32
-ieee754
+ieee754/flt-32
+ieee754/dbl-64

diff --git a/sysdeps/i960/Implies b/sysdeps/i960/Implies
index f8c4079ab5f659be585421ccfd9db111c4cc14d8..1d569744abef9c69f1cd4c5f0c4d8ac09c0d01ca 100644 (file)
--- a/sysdeps/i960/Implies
+++ b/sysdeps/i960/Implies
@@ -1,2 +1,3 @@
 # i960 family uses IEEE 754 floating point.
-ieee754
+ieee754/flt-32
+ieee754/dbl-64