Fix the register*constant fixnum-multiply rule to match the change to
authorGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Thu, 12 Aug 1993 05:33:14 +0000 (05:33 +0000)
committerGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Thu, 12 Aug 1993 05:33:14 +0000 (05:33 +0000)
the corresponding rewrite rules.

v7/src/compiler/machines/spectrum/rulfix.scm

index c9473e048373b4757487fd94822a6e065b668d81..0963d0b58df53846d16bfcc17a21eed788bcbacd 100644 (file)
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: rulfix.scm,v 4.45 1993/07/01 03:24:03 gjr Exp $
+$Id: rulfix.scm,v 4.46 1993/08/12 05:33:14 gjr Exp $
 
 Copyright (c) 1989-1993 Massachusetts Institute of Technology
 
@@ -474,10 +474,15 @@ MIT in each case. |#
   fixnum-methods/2-args/register*constant
   (lambda (constant ovflw?)
     (let ((factor (abs constant)))
+      #|
       (or (integer-log-base-2? factor)
          (and (<= factor 64)
               (or (not ovflw?)
-                  (<= factor (expt 2 scheme-type-width)))))))
+                  (<= factor (expt 2 scheme-type-width)))))
+      |#
+      (or (not ovflw?)
+         (<= factor 64)
+         (integer-log-base-2? factor))))
 
   (lambda (tgt src constant overflow?)
     (guarantee-signed-fixnum constant)