From 1be45af7c4252df585f8d31fafe03f195c2b2c55 Mon Sep 17 00:00:00 2001 From: "Guillermo J. Rozas" Date: Wed, 16 Dec 1992 09:18:30 +0000 Subject: [PATCH] Generalize an identity from value-class=datum to value-class=immediate. --- v7/src/compiler/rtlopt/rinvex.scm | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/v7/src/compiler/rtlopt/rinvex.scm b/v7/src/compiler/rtlopt/rinvex.scm index e5b0ff583..706151af5 100644 --- a/v7/src/compiler/rtlopt/rinvex.scm +++ b/v7/src/compiler/rtlopt/rinvex.scm @@ -1,8 +1,8 @@ #| -*-Scheme-*- -$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/compiler/rtlopt/rinvex.scm,v 1.6 1991/10/25 00:15:37 cph Exp $ +$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/compiler/rtlopt/rinvex.scm,v 1.7 1992/12/16 09:18:30 gjr Exp $ -Copyright (c) 1989-91 Massachusetts Institute of Technology +Copyright (c) 1989-1992 Massachusetts Institute of Technology This material was developed by the Scheme project at the Massachusetts Institute of Technology, Department of Electrical Engineering and @@ -183,9 +183,10 @@ MIT in each case. |# (OBJECT->FLOAT ,rtl:object->float-expression)) (,value-class=address? (OBJECT->ADDRESS ,rtl:object->address-expression) (CONS-POINTER ,rtl:cons-pointer-datum)) - (,value-class=datum? (OBJECT->DATUM ,rtl:object->datum-expression) - (CONS-NON-POINTER ,rtl:cons-non-pointer-datum)) - ;; Perhaps this should be value-class=type + ;; The following are not value-class=datum? and value-class=type? + ;; because they are slightly more general. + (,value-class=immediate? (OBJECT->DATUM ,rtl:object->datum-expression) + (CONS-NON-POINTER ,rtl:cons-non-pointer-datum)) (,value-class=immediate? (OBJECT->TYPE ,rtl:object->type-expression) (CONS-POINTER ,rtl:cons-pointer-type)) (,value-class=immediate? (OBJECT->TYPE ,rtl:object->type-expression) -- 2.25.1