From: Chris Hanson <org/chris-hanson/cph>
Date: Thu, 14 May 1992 19:09:00 +0000 (+0000)
Subject: Eliminate rewriting rules that produce patterns with constant datum
X-Git-Tag: 20090517-FFI~9399
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=42042a5fcac19f0f5ad710fe9de94bf2f3345bb2;p=mit-scheme.git

Eliminate rewriting rules that produce patterns with constant datum
and register type.
---

diff --git a/v7/src/compiler/machines/spectrum/rulrew.scm b/v7/src/compiler/machines/spectrum/rulrew.scm
index 4fe00bfb0..8b1e422f2 100644
--- a/v7/src/compiler/machines/spectrum/rulrew.scm
+++ b/v7/src/compiler/machines/spectrum/rulrew.scm
@@ -1,8 +1,8 @@
 #| -*-Scheme-*-
 
-$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/compiler/machines/spectrum/rulrew.scm,v 1.7 1992/03/31 19:55:45 jinx Exp $
+$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/compiler/machines/spectrum/rulrew.scm,v 1.8 1992/05/14 19:09:00 cph Exp $
 
-Copyright (c) 1990-91 Massachusetts Institute of Technology
+Copyright (c) 1990-92 Massachusetts Institute of Technology
 
 This material was developed by the Scheme project at the Massachusetts
 Institute of Technology, Department of Electrical Engineering and
@@ -63,22 +63,6 @@ MIT in each case. |#
     (object-type (rtl:constant-value (rtl:object->type-expression datum))))
    datum))
 
-(define-rule rewriting
-  (CONS-POINTER (? type) (REGISTER (? datum register-known-value)))
-  (QUALIFIER (rtl:machine-constant? datum))
-  (rtl:make-cons-pointer type datum))
-
-(define-rule rewriting
-  (CONS-POINTER (? type) (REGISTER (? datum register-known-value)))
-  (QUALIFIER
-   (and (rtl:object->datum? datum)
-	(rtl:constant-non-pointer? (rtl:object->datum-expression datum))))
-  (rtl:make-cons-pointer
-   type
-   (rtl:make-machine-constant
-    (careful-object-datum
-     (rtl:constant-value (rtl:object->datum-expression datum))))))
-
 (define-rule rewriting
   (OBJECT->TYPE (REGISTER (? source register-known-value)))
   (QUALIFIER (rtl:constant? source))