From: ssmith <ssmith>
Date: Wed, 1 Nov 1995 21:04:32 +0000 (+0000)
Subject: Added (TYPE-TEST (OBJECT->TYPE (REGISTER (? reg))) 0) rule.
X-Git-Tag: 20090517-FFI~5795
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=7452429211178c124406e85053bc912744fe7227;p=mit-scheme.git

Added (TYPE-TEST (OBJECT->TYPE (REGISTER (? reg))) 0) rule.
---

diff --git a/v8/src/compiler/machines/i386/rules2.scm b/v8/src/compiler/machines/i386/rules2.scm
index 3730ad4c3..4d6923e39 100644
--- a/v8/src/compiler/machines/i386/rules2.scm
+++ b/v8/src/compiler/machines/i386/rules2.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: rules2.scm,v 1.3 1995/05/24 00:19:54 ssmith Exp $
+$Id: rules2.scm,v 1.4 1995/11/01 21:04:32 ssmith Exp $
 
 Copyright (c) 1992-1993 Massachusetts Institute of Technology
 
@@ -54,6 +54,13 @@ MIT in each case. |#
   (set-equal-branches!)
   (LAP (CMP B ,(reference-alias-register! register 'GENERAL) (&U ,type))))
 
+(define-rule predicate
+  ;; Branch if virtual register contains the specified type number
+  (TYPE-TEST (OBJECT->TYPE (REGISTER (? register))) 0)
+  (set-specific-branches! 'JB 'JAE)
+  (LAP (CMP W ,(reference-alias-register! register 'GENERAL) (&U ,signed-fixnum/upper-limit))))
+
+
 (define-rule predicate
   (EQ-TEST (REGISTER (? register-1)) (REGISTER (? register-2)))
   (set-equal-branches!)