From: Stephen Adams Date: Thu, 16 Mar 1995 05:52:05 +0000 (+0000) Subject: *** empty log message *** X-Git-Tag: 20090517-FFI~6527 X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=924d3e33f1aebcd7a08da130dbbf53393963fa93;p=mit-scheme.git *** empty log message *** --- diff --git a/v8/src/compiler/machines/spectrum/rulrew.scm b/v8/src/compiler/machines/spectrum/rulrew.scm index ccdbcd816..cf1c4345c 100644 --- a/v8/src/compiler/machines/spectrum/rulrew.scm +++ b/v8/src/compiler/machines/spectrum/rulrew.scm @@ -1,6 +1,6 @@ #| -*-Scheme-*- -$Id: rulrew.scm,v 1.2 1995/03/16 05:27:46 adams Exp $ +$Id: rulrew.scm,v 1.3 1995/03/16 05:52:05 adams Exp $ Copyright (c) 1990-1993 Massachusetts Institute of Technology @@ -150,9 +150,8 @@ MIT in each case. |# (non-pointer-object? (rtl:constant-value expression)))) -;;; These rules are losers (i.e. have no effect) because there's no -;;; abstract way to cons a statement or a predicate without also -;;; getting some CFG structure. +;;; These rules are losers because there's no abstract way to cons a +;;; statement or a predicate without also getting some CFG structure. (define-rule rewriting ;; Use register 0, always 0. @@ -172,13 +171,13 @@ MIT in each case. |# (QUALIFIER (rtl:immediate-zero-constant? comparand)) (list 'EQ-TEST source (rtl:make-machine-constant 0))) -(define-rule add-pre-cse-rewriting-rule! +(define-rule rewriting (EQ-TEST (REGISTER (? comparand register-known-fixnum-constant)) (? source)) (QUALIFIER (fits-in-5-bits-signed? (known-fixnum-constant/fixnum-value comparand))) (list `EQ-TEST comparand source)) -(define-rule add-pre-cse-rewriting-rule! +(define-rule rewriting (EQ-TEST (? source) (REGISTER (? comparand register-known-fixnum-constant))) (QUALIFIER (fits-in-5-bits-signed? (known-fixnum-constant/fixnum-value comparand)))