Teach rtlgen to open-code flo:safe-negative? too.

Disabled on all machines for now.

diff --git a/src/compiler/machines/C/machin.scm b/src/compiler/machines/C/machin.scm
index ba76d135cce72764a609b0be536e39272c3690e1..bbb68bf81afb03637b8d2165d91eef7bf2d08545 100644 (file)
--- a/src/compiler/machines/C/machin.scm
+++ b/src/compiler/machines/C/machin.scm
@@ -305,4 +305,5 @@ USA.
     VECTOR-CONS STRING-ALLOCATE FLOATING-VECTOR-CONS
     FLONUM-IS-LESS? FLONUM-IS-LESS-OR-EQUAL?
     FLONUM-IS-GREATER? FLONUM-IS-GREATER-OR-EQUAL?
-    FLONUM-IS-LESS-OR-GREATER? FLONUM-IS-UNORDERED?))
\ No newline at end of file
+    FLONUM-IS-LESS-OR-GREATER? FLONUM-IS-UNORDERED?
+    FLONUM-IS-NEGATIVE?))
\ No newline at end of file

diff --git a/src/compiler/machines/i386/machin.scm b/src/compiler/machines/i386/machin.scm
index 10d5faeea39171300453cccdc7f46d28edaa76a1..703fdcd670f091dff08104058edde23d60d94b5f 100644 (file)
--- a/src/compiler/machines/i386/machin.scm
+++ b/src/compiler/machines/i386/machin.scm
@@ -358,4 +358,5 @@ USA.
                  VECTOR-CONS STRING-ALLOCATE FLOATING-VECTOR-CONS
                  FLONUM-IS-LESS? FLONUM-IS-LESS-OR-EQUAL?
                  FLONUM-IS-GREATER? FLONUM-IS-GREATER-OR-EQUAL?
-                 FLONUM-IS-LESS-OR-GREATER? FLONUM-IS-UNORDERED?))
\ No newline at end of file
+                 FLONUM-IS-LESS-OR-GREATER? FLONUM-IS-UNORDERED?
+                 FLONUM-IS-NEGATIVE?))
\ No newline at end of file

diff --git a/src/compiler/machines/svm/machine.scm b/src/compiler/machines/svm/machine.scm
index f996e28f740139ed53c4c1bcb5d342c9aad756a7..0a429640d8ca6e625f7860eb6ebb6964315f78fd 100644 (file)
--- a/src/compiler/machines/svm/machine.scm
+++ b/src/compiler/machines/svm/machine.scm
@@ -488,7 +488,8 @@ USA.
                  VECTOR-CONS STRING-ALLOCATE FLOATING-VECTOR-CONS
                  FLONUM-IS-LESS? FLONUM-IS-LESS-OR-EQUAL?
                  FLONUM-IS-GREATER? FLONUM-IS-GREATER-OR-EQUAL?
-                 FLONUM-IS-LESS-OR-GREATER? FLONUM-IS-UNORDERED?))
+                 FLONUM-IS-LESS-OR-GREATER? FLONUM-IS-UNORDERED?
+                 FLONUM-IS-NEGATIVE?))
 \f
 ;;;; Closure format
 

diff --git a/src/compiler/machines/x86-64/machin.scm b/src/compiler/machines/x86-64/machin.scm
index 3c2a7874c3245a0e70b1e9d335341082dc02467a..a6c44a36b78f551ef9de94b55e73a3c81731e4e5 100644 (file)
--- a/src/compiler/machines/x86-64/machin.scm
+++ b/src/compiler/machines/x86-64/machin.scm
@@ -420,4 +420,5 @@ USA.
     FLONUM-TAN FLONUM-TRUNCATE GCD-FIXNUM STRING-ALLOCATE VECTOR-CONS
     FLONUM-IS-LESS? FLONUM-IS-LESS-OR-EQUAL?
     FLONUM-IS-GREATER? FLONUM-IS-GREATER-OR-EQUAL?
-    FLONUM-IS-LESS-OR-GREATER? FLONUM-IS-UNORDERED?))
\ No newline at end of file
+    FLONUM-IS-LESS-OR-GREATER? FLONUM-IS-UNORDERED?
+    FLONUM-IS-NEGATIVE?))
\ No newline at end of file

diff --git a/src/compiler/rtlgen/opncod.scm b/src/compiler/rtlgen/opncod.scm
index 90e475e4928b20b754615022559014ea616cce80..745c069e8f9ed8666223786ba43e4890bac26b0b 100644 (file)
--- a/src/compiler/rtlgen/opncod.scm
+++ b/src/compiler/rtlgen/opncod.scm
@@ -1554,7 +1554,7 @@ USA.
           expressions)))
       '(0)
       internal-close-coding-for-type-checks)))
- '(FLONUM-ZERO? FLONUM-POSITIVE? FLONUM-NEGATIVE?))
+ '(FLONUM-ZERO? FLONUM-POSITIVE? FLONUM-NEGATIVE? FLONUM-IS-NEGATIVE?))
 
 (for-each
  (lambda (flonum-pred)