From: Guillermo J. Rozas <edu/mit/csail/zurich/gjr>
Date: Sat, 27 Feb 1993 21:42:15 +0000 (+0000)
Subject: Eliminate spurious ZDEPs.
X-Git-Tag: 20090517-FFI~8446
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=2db0bf7f43e3ea4e4ae8276bd42f548c19289553;p=mit-scheme.git

Eliminate spurious ZDEPs.
---

diff --git a/v7/src/compiler/machines/spectrum/rulrew.scm b/v7/src/compiler/machines/spectrum/rulrew.scm
index 8b1e422f2..abbd69579 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.8 1992/05/14 19:09:00 cph Exp $
+$Id: rulrew.scm,v 1.9 1993/02/27 21:42:15 gjr Exp $
 
-Copyright (c) 1990-92 Massachusetts Institute of Technology
+Copyright (c) 1990-1993 Massachusetts Institute of Technology
 
 This material was developed by the Scheme project at the Massachusetts
 Institute of Technology, Department of Electrical Engineering and
@@ -63,6 +63,14 @@ 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:object->datum? datum))
+  ;; Since we use DEP/DEPI, there is no need to clear the old bits
+  (rtl:make-cons-pointer
+   type
+   (rtl:object->datum-expression datum)))
+
 (define-rule rewriting
   (OBJECT->TYPE (REGISTER (? source register-known-value)))
   (QUALIFIER (rtl:constant? source))