From: Chris Hanson Date: Thu, 31 Dec 1987 10:26:18 +0000 (+0000) Subject: Add missing rule for type-test of offset memory location. X-Git-Tag: 20090517-FFI~12960 X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=9e116b0fe1e5a424e812046ed414c77ee5f43552;p=mit-scheme.git Add missing rule for type-test of offset memory location. --- diff --git a/v7/src/compiler/machines/bobcat/rules2.scm b/v7/src/compiler/machines/bobcat/rules2.scm index 725b1e29c..ddf95d6d0 100644 --- a/v7/src/compiler/machines/bobcat/rules2.scm +++ b/v7/src/compiler/machines/bobcat/rules2.scm @@ -1,6 +1,6 @@ #| -*-Scheme-*- -$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/compiler/machines/bobcat/rules2.scm,v 4.1 1987/12/30 07:05:55 cph Exp $ +$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/compiler/machines/bobcat/rules2.scm,v 4.2 1987/12/31 10:26:18 cph Exp $ Copyright (c) 1987 Massachusetts Institute of Technology @@ -64,6 +64,12 @@ MIT in each case. |# (LAP (RO L L (& 8) ,reference) ,(test-byte type reference)))) +(define-rule predicate + (TYPE-TEST (OBJECT->TYPE (OFFSET (REGISTER (? register)) (? offset))) + (? type)) + (set-standard-branches! 'EQ) + (LAP ,(test-byte type (indirect-reference! register offset)))) + (define-rule predicate (UNASSIGNED-TEST (REGISTER (? register))) (set-standard-branches! 'EQ)