CVS: sml-dist/src/compiler/CodeGen/main machine-gen.sml,1.18,1.19

Update of /cvsroot/smlnj/sml-dist/src/compiler/CodeGen/main
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv32259/src/compiler/CodeGen/main

Modified Files:
	machine-gen.sml 
Log Message:
     GC protocol checking phase added.


Index: machine-gen.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/CodeGen/main/machine-gen.sml,v
retrieving revision 1.18
retrieving revision 1.19
diff -C2 -d -r1.18 -r1.19
*** machine-gen.sml	23 Mar 2002 04:18:51 -0000	1.18
--- machine-gen.sml	4 May 2005 15:51:20 -0000	1.19
***************
*** 97,100 ****
--- 97,115 ----
  	  )
  
+    (*
+     * This module is used to check for gc bugs.
+     * It is turned off by default.   You can turn it on
+     * with the flag "check-gc", and turn on verbose debugging 
+     * with "debug-check-gc".
+     *)
+    structure CheckGC =
+       CheckGCFn
+           (structure Asm = Asm
+            structure CFG = CFG
+            structure InsnProps = InsnProps
+            structure CpsRegs   = CpsRegs
+            val gcParamRegs     = InvokeGC.gcParamRegs
+           )
+ 
     val graphical_view = 
        MLRiscControl.mkFlag
***************
*** 133,144 ****
     val omitfp     = phase "MLRISC omit frame pointer" omitFramePointer
     val expandCpys = phase "MLRISC expand copies" ExpandCpys.run
     
     val raPhase = ("ra",ra)
  
     val optimizerHook = 
!      ref [("compFreqs", compFreqs),
  	  ("ra", ra),
  	  ("omitfp", omitfp),
! 	  ("expand copies", expandCpys)
  	 ]
  
--- 148,162 ----
     val omitfp     = phase "MLRISC omit frame pointer" omitFramePointer
     val expandCpys = phase "MLRISC expand copies" ExpandCpys.run
+    val checkGC    = phase "MLRISC check GC" CheckGC.checkGC
     
     val raPhase = ("ra",ra)
  
     val optimizerHook = 
!      ref [("checkgc", checkGC),
!           ("compFreqs", compFreqs),
  	  ("ra", ra),
  	  ("omitfp", omitfp),
! 	  ("expand copies", expandCpys),
!           ("checkgc", checkGC)
  	 ]
  



-------------------------------------------------------
This SF.Net email is sponsored by: NEC IT Guy Games.
Get your fingers limbered up and give it your best shot. 4 great events, 4
opportunities to win big! Highest score wins.NEC IT Guy Games. Play to
win an NEC 61 plasma display. Visit http://www.necitguy.com/?r=20