From: Stephen Adams <edu/mit/csail/zurich/adams>
Date: Tue, 22 Nov 1994 19:45:34 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Tag: 20090517-FFI~6989
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=1de56182d6a3cc8e6b0166ce171fc434c29c7741;p=mit-scheme.git

*** empty log message ***
---

diff --git a/v8/src/compiler/midend/compat.scm b/v8/src/compiler/midend/compat.scm
index 67781040e..f3cea10cd 100644
--- a/v8/src/compiler/midend/compat.scm
+++ b/v8/src/compiler/midend/compat.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: compat.scm,v 1.1 1994/11/19 02:04:29 adams Exp $
+$Id: compat.scm,v 1.2 1994/11/22 19:45:34 adams Exp $
 
 Copyright (c) 1994 Massachusetts Institute of Technology
 
@@ -36,7 +36,7 @@ MIT in each case. |#
 ;;   Decides which parameters are passed on the stack. Primitives get all
 ;;   their parameters on the stack in an interpreter-like stack-frame.
 ;;   Procedures get some arguments in registers and the rest on the
-;;   stack, with earlier arguments begin deeper to facilitate lexprs.
+;;   stack, with earlier arguments deeper to facilitate lexprs.
 ;;   The number of parameters passed in registers is determined by the
 ;;   back-end (*rtlgen/arguments-registers*)
 
@@ -104,14 +104,16 @@ MIT in each case. |#
   (let ((place (assq name env)))
     (if (not place)
 	`(LOOKUP ,name)
-	(cadr place))))
+	;; Important to copy value so that different debugging info
+	;; can be attached to each copy, since each variable reference
+	;; might have had different debugging info.
+	(form/copy (cadr place)))))
 
 (define-compatibility-rewrite LAMBDA (env lambda-list body)
   env					; ignored
   (compat/rewrite-lambda lambda-list body 
 			 (compat/choose-stack-formals 1 lambda-list)))
 
-
 (define-compatibility-rewrite LET (env bindings body)
   `(LET ,(lmap (lambda (binding)
 		 (list (car binding)
@@ -146,7 +148,6 @@ MIT in each case. |#
   (compat/rewrite-call env rator cont rands))
 
 (define (compat/rewrite-call env rator cont rands)
-
   (define (possibly-pass-some-args-on-stack)
     (compat/standard-call-handler env rator cont rands))
 
@@ -166,11 +167,13 @@ MIT in each case. |#
 	(args. in registers) calling convention.  This is not a
 	problem because they have fixed arity.
 	((and (operator/satisfies? (quote/text rator) '(OUT-OF-LINE-HOOK))
-	      (not (operator/satisfies? (quote/text rator) '(SPECIAL-INTERFACE)))
+	      (not (operator/satisfies? (quote/text rator)
+					'(SPECIAL-INTERFACE)))
 	      (not (equal? cont '(QUOTE #F))))
 	 (compat/out-of-line env rator cont rands))
 	|#
-	(else (dont-split-cookie-call))))
+	(else
+	 (dont-split-cookie-call))))
 
 (define (compat/expr env expr)
   (if (not (pair? expr))
@@ -209,9 +212,7 @@ MIT in each case. |#
 	  (internal-error "No continuation variable found" lambda-list))
       (list->vector (cons first (reverse (cdr names)))))))
 
-
 (define (compat/rewrite-lambda formals body formals-on-stack)
-
   (define (compat/new-env frame-variable old-frame-vector new-frame-vector)
     ;; The new environment maps names to %stack-closure-refs and %vector-index
     ;; vectors to new, extended vectors
@@ -247,7 +248,8 @@ MIT in each case. |#
 	    ,(compat/expr '() body)))
 	((form/match compat/frame-pattern body)
 	 => (lambda (match)
-	      (let* ((old-frame-vector (cadr(assq compat/?frame-vector match))) 
+	      (let* ((old-frame-vector
+		      (cadr (assq compat/?frame-vector match)))
 		     (new-frame-vector 
 		      (list->vector (append (vector->list old-frame-vector)
 					    formals-on-stack))))
@@ -299,7 +301,6 @@ MIT in each case. |#
 	 (quote/text (CALL/%stack-closure-ref/name expr)))
 	(else
 	 (compat/new-name 'ARG))))
-
 
 (define (compat/uniquify-append prefix addends)
   ;; append addends, ensuring that each is a unique name