X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FcodeGen%2FCgHeapery.lhs;h=16638460fdd4057862b2bf66a33c2ad312121ac0;hb=a5f7799965947977599a777dae10f103f9b9fd1a;hp=80d968f8ebf6671985923264b114ce578d822f4f;hpb=36c2d7c8e9da3b2e278d508ac25c7d53522f85f3;p=ghc-hetmet.git

diff --git a/ghc/compiler/codeGen/CgHeapery.lhs b/ghc/compiler/codeGen/CgHeapery.lhs
index 80d968f..1663846 100644
--- a/ghc/compiler/codeGen/CgHeapery.lhs
+++ b/ghc/compiler/codeGen/CgHeapery.lhs
@@ -1,14 +1,14 @@
 %
 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
 %
-% $Id: CgHeapery.lhs,v 1.17 1999/05/26 14:12:13 simonmar Exp $
+% $Id: CgHeapery.lhs,v 1.18 1999/06/24 13:04:19 simonmar Exp $
 %
 \section[CgHeapery]{Heap management functions}
 
 \begin{code}
 module CgHeapery (
 	fastEntryChecks, altHeapCheck, thunkChecks,
-	allocDynClosure
+	allocDynClosure, inPlaceAllocDynClosure
 
         -- new functions, basically inserting macro calls into Code -- HWL
         ,fetchAndReschedule, yield
@@ -468,11 +468,42 @@ allocDynClosure closure_info use_cc blame_cc amodes_with_offsets
   where
     closure_size = closureSize closure_info
     slop_size    = slopSize closure_info
+\end{code}
+
+Occasionally we can update a closure in place instead of allocating
+new space for it.  This is the function that does the business, assuming:
+
+	- node points to the closure to be overwritten
+
+	- the new closure doesn't contain any pointers if we're
+	  using a generational collector.
+
+\begin{code}
+inPlaceAllocDynClosure
+	:: ClosureInfo
+	-> CAddrMode		-- Pointer to beginning of closure
+	-> CAddrMode		-- Cost Centre to stick in the object
+
+	-> [(CAddrMode, VirtualHeapOffset)]	-- Offsets from start of the object
+						-- ie Info ptr has offset zero.
+	-> Code
+
+inPlaceAllocDynClosure closure_info head use_cc amodes_with_offsets
+  = let	-- do_move IS THE ASSIGNMENT FUNCTION
+	 do_move (amode, offset_from_start)
+	   = CAssign (CVal (CIndex head (mkIntCLit offset_from_start) WordRep)
+		     	(getAmodeRep amode))
+		     amode
+    in
+	-- GENERATE THE CODE
+    absC ( mkAbstractCs (
+	   [ CInitHdr closure_info head use_cc ]
+	   ++ (map do_move amodes_with_offsets)))
 
 -- Avoid hanging on to anything in the CC field when we're not profiling.
 
 cInitHdr closure_info amode cc 
-  | opt_SccProfilingOn = CInitHdr closure_info amode cc
-  | otherwise          = CInitHdr closure_info amode (panic "absent cc")
+  | opt_SccProfilingOn = CInitHdr closure_info (CAddr amode) cc
+  | otherwise          = CInitHdr closure_info (CAddr amode) (panic "absent cc")
 	
 \end{code}