From: Guillermo J. Rozas <edu/mit/csail/zurich/gjr>
Date: Thu, 2 May 1991 06:11:10 +0000 (+0000)
Subject: Add a comment about improving the cache flushing code in
X-Git-Tag: 20090517-FFI~10698
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=9ef8881d1d832ec9fb2c92915908f154de328dfc;p=mit-scheme.git

Add a comment about improving the cache flushing code in
enter_compiled_expression.
---

diff --git a/v7/src/microcode/cmpint.c b/v7/src/microcode/cmpint.c
index 8b5d90793..d430e4673 100644
--- a/v7/src/microcode/cmpint.c
+++ b/v7/src/microcode/cmpint.c
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/cmpint.c,v 1.34 1991/03/28 05:23:11 jinx Exp $
+$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/cmpint.c,v 1.35 1991/05/02 06:11:10 jinx Exp $
 
 Copyright (c) 1989-1991 Massachusetts Institute of Technology
 
@@ -439,6 +439,10 @@ DEFUN_VOID (enter_compiled_expression)
   environment = (block_address [length]);
   if (!(ENVIRONMENT_P (environment)))
   {
+    /* We could actually flush just the non-marked section.
+       The uuo-section will be flushed when linked.
+     */
+
     PUSH_D_CACHE_REGION (block_address, (length + 1));
   }
 #endif /* SPLIT_CACHES */
diff --git a/v8/src/microcode/cmpint.c b/v8/src/microcode/cmpint.c
index cee80886c..15762870b 100644
--- a/v8/src/microcode/cmpint.c
+++ b/v8/src/microcode/cmpint.c
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v8/src/microcode/cmpint.c,v 1.34 1991/03/28 05:23:11 jinx Exp $
+$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v8/src/microcode/cmpint.c,v 1.35 1991/05/02 06:11:10 jinx Exp $
 
 Copyright (c) 1989-1991 Massachusetts Institute of Technology
 
@@ -439,6 +439,10 @@ DEFUN_VOID (enter_compiled_expression)
   environment = (block_address [length]);
   if (!(ENVIRONMENT_P (environment)))
   {
+    /* We could actually flush just the non-marked section.
+       The uuo-section will be flushed when linked.
+     */
+
     PUSH_D_CACHE_REGION (block_address, (length + 1));
   }
 #endif /* SPLIT_CACHES */