From: Stephen Adams Date: Thu, 3 Aug 1995 00:17:40 +0000 (+0000) Subject: Repaginate. X-Git-Tag: 20090517-FFI~6075 X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=19ab53b11bc7ad53afd8a34075b9e5b6bda8904f;p=mit-scheme.git Repaginate. --- diff --git a/v8/src/compiler/midend/stackopt.scm b/v8/src/compiler/midend/stackopt.scm index f578bf8df..846b7be26 100644 --- a/v8/src/compiler/midend/stackopt.scm +++ b/v8/src/compiler/midend/stackopt.scm @@ -1,6 +1,6 @@ #| -*-Scheme-*- -$Id: stackopt.scm,v 1.10 1995/07/08 03:31:36 adams Exp $ +$Id: stackopt.scm,v 1.11 1995/08/03 00:17:40 adams Exp $ Copyright (c) 1994-1995 Massachusetts Institute of Technology @@ -83,6 +83,7 @@ the call. This is in addition to the requirement that the slot assignments for the parameters and values are fixed by the calling sequence. + THEOREM AND PROOF THEOREM: The stack slot assignments provided for the saved values in @@ -213,7 +214,7 @@ End of Big Note A |# ;; A better solution would be to separate the model tree from the ;; environment function of matching up the frame vectors for a ;; particular frame variable. - + (define-stack-optimizer CALL (state rator cont #!rest rands) (if (and (QUOTE/? rator) (eq? (quote/text rator) %stack-closure-ref)) @@ -866,7 +867,7 @@ End of Big Note A |# (else '())))) ; Wired but slot's not free pairs)))) (stackopt/model/children model)))) - + (call-with-values (lambda () (list-split (walk model