Excised %machine-fixnum?
authorStephen Adams <edu/mit/csail/zurich/adams>
Thu, 31 Aug 1995 15:26:05 +0000 (15:26 +0000)
committerStephen Adams <edu/mit/csail/zurich/adams>
Thu, 31 Aug 1995 15:26:05 +0000 (15:26 +0000)
v8/src/compiler/midend/earlyrew.scm
v8/src/compiler/midend/laterew.scm
v8/src/compiler/midend/rtlgen.scm
v8/src/compiler/midend/triveval.scm

index 4d6d1b6f58187d3f1a8539e8a16aabe5b03a128c..f41e5599e5ac51e7307a5fa2135f048add097edf 100644 (file)
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: earlyrew.scm,v 1.13 1995/08/19 01:33:51 adams Exp $
+$Id: earlyrew.scm,v 1.14 1995/08/31 15:23:51 adams Exp $
 
 Copyright (c) 1994-1995 Massachusetts Institute of Technology
 
@@ -165,20 +165,13 @@ MIT in each case. |#
        (right-sided? (if (default-object? right-sided?)
                          false
                          right-sided?))
-       (%test (if (zero? n-bits)
-                  (lambda (name)
-                    `(CALL (QUOTE ,%machine-fixnum?)
-                           (QUOTE #F)
-                           (LOOKUP ,name)))
-                  (lambda (name)
-                    `(CALL (QUOTE ,%small-fixnum?)
-                           (QUOTE #F)
-                           (LOOKUP ,name)
-                           (QUOTE ,n-bits)))))
-       (test (if (zero? n-bits)
-                 machine-fixnum?
-                 (lambda (value)
-                   (small-fixnum? value n-bits)))))
+       (%test (lambda (name)
+                `(CALL (QUOTE ,%small-fixnum?)
+                       (QUOTE #F)
+                       (LOOKUP ,name)
+                       (QUOTE ,n-bits))))
+       (test (lambda (value)
+               (small-fixnum? value n-bits))))
     (lambda (form x y)
       (cond ((form/number? x)
             => (lambda (x-value)
index b78ecf75d33ec66184b3d739b065333673251790..d9a6aeb9e114b8d385c6f6613d1ed9d165c18797 100644 (file)
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: laterew.scm,v 1.14 1995/08/23 14:07:19 adams Exp $
+$Id: laterew.scm,v 1.15 1995/08/31 15:25:13 adams Exp $
 
 Copyright (c) 1994-1995 Massachusetts Institute of Technology
 
@@ -138,17 +138,6 @@ MIT in each case. |#
                             (LOOKUP ,name)
                             (QUOTE ,(n-bits constant-rand)))
                      `(QUOTE #F))))
-              #|                       ;
-              ;; Always open code as %small-fixnum?
-              ;; So that generic arithmetic can be
-              ;; recognized=>optimized at the RTL level
-              ((zero? n-bits)
-               (lambda (name constant-rand)
-                 constant-rand         ; ignored
-                 `(CALL (QUOTE ,%machine-fixnum?)
-                        (QUOTE #F)
-                        (LOOKUP ,name))))
-              |#
               (else
                (lambda (name constant-rand)
                  constant-rand         ; ignored                 
index e5fad1df0d415bd9ac5a67740503871d18e4ed70..bb30cfc1cfec053c54e2b252ff8f68e4015cd3bc 100644 (file)
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: rtlgen.scm,v 1.38 1995/08/19 15:33:00 adams Exp $
+$Id: rtlgen.scm,v 1.39 1995/08/31 15:25:40 adams Exp $
 
 Copyright (c) 1994-1995 Massachusetts Institute of Technology
 
@@ -3127,7 +3127,6 @@ MIT in each case. |#
   (define-simple-value-test/inverted 'NOT    'FALSE?  not)
   (define-simple-value-test/inverted 'FALSE? 'FALSE?  false?)
   (define-simple-value-test 'FIXNUM?         'FIXNUM?       fixnum?)
-  (define-simple-value-test %machine-fixnum? 'FIXNUM?       fixnum?)
   (define-simple-value-test 'INDEX-FIXNUM?   'INDEX-FIXNUM? index-fixnum?))
 
 (let ((define-simple-tag-test
index bc69130483e19d14e01f6328a9e1f8cfae9967a6..2ccdd7f50811fba10e71c3553d9c8fb33708106a 100644 (file)
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: triveval.scm,v 1.5 1995/06/22 15:09:07 adams Exp $
+$Id: triveval.scm,v 1.6 1995/08/31 15:26:05 adams Exp $
 
 Copyright (c) 1994 Massachusetts Institute of Technology
 
@@ -433,7 +433,6 @@ MIT in each case. |#
     ; (declare-operator %invoke-continuation identity-procedure)
     (declare-operator %vector-index vector-index)
 \f
-    (declare-operator %machine-fixnum? machine-fixnum?)
     (declare-operator %small-fixnum? small-fixnum?)
     (declare-operator %+ +)
     (declare-operator %- -)