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

diff --git a/sysdeps/alpha/Implies b/sysdeps/alpha/Implies
index 37fee79..2c6af5b 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 d6acf04..780c4e2 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 f8c4079..1d56974 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