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 8b5d90793fc7bd30a0eef281f3cb0cd68d314061..d430e4673b2b72f0040d61b3f55151bb7a2210b8 100644 (file)
--- 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 cee80886c1aedb689fda7d7d9434c1b1f3e2f297..15762870bfdfa4c8216da94eb2e10760234519ce 100644 (file)
--- 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 */