From bb819f1824dd420a984d3e0faca5bee536576ea0 Mon Sep 17 00:00:00 2001
From: Stephen Adams <edu/mit/csail/zurich/adams>
Date: Thu, 31 Aug 1995 15:26:05 +0000
Subject: [PATCH] Excised %machine-fixnum?

---
 v8/src/compiler/midend/earlyrew.scm | 23 ++++++++---------------
 v8/src/compiler/midend/laterew.scm  | 13 +------------
 v8/src/compiler/midend/rtlgen.scm   |  3 +--
 v8/src/compiler/midend/triveval.scm |  3 +--
 4 files changed, 11 insertions(+), 31 deletions(-)

diff --git a/v8/src/compiler/midend/earlyrew.scm b/v8/src/compiler/midend/earlyrew.scm
index 4d6d1b6f5..f41e5599e 100644
--- a/v8/src/compiler/midend/earlyrew.scm
+++ b/v8/src/compiler/midend/earlyrew.scm
@@ -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)
diff --git a/v8/src/compiler/midend/laterew.scm b/v8/src/compiler/midend/laterew.scm
index b78ecf75d..d9a6aeb9e 100644
--- a/v8/src/compiler/midend/laterew.scm
+++ b/v8/src/compiler/midend/laterew.scm
@@ -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		  
diff --git a/v8/src/compiler/midend/rtlgen.scm b/v8/src/compiler/midend/rtlgen.scm
index e5fad1df0..bb30cfc1c 100644
--- a/v8/src/compiler/midend/rtlgen.scm
+++ b/v8/src/compiler/midend/rtlgen.scm
@@ -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
diff --git a/v8/src/compiler/midend/triveval.scm b/v8/src/compiler/midend/triveval.scm
index bc6913048..2ccdd7f50 100644
--- a/v8/src/compiler/midend/triveval.scm
+++ b/v8/src/compiler/midend/triveval.scm
@@ -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)
 
-    (declare-operator %machine-fixnum? machine-fixnum?)
     (declare-operator %small-fixnum? small-fixnum?)
     (declare-operator %+ +)
     (declare-operator %- -)
-- 
2.25.1