Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/MLRISC/gc-safety/gc-gen.sig
ViewVC logotype

View of /sml/trunk/src/MLRISC/gc-safety/gc-gen.sig

Parent Directory Parent Directory | Revision Log Revision Log

Revision 775 - (download) (as text) (annotate)
Fri Jan 12 01:17:51 2001 UTC (19 years, 10 months ago) by leunga
File size: 1070 byte(s)

    Merging the types labexp and mltree.
    tag leunga-20010111-labexp=mltree
 * This module is reponsible for generating garbage collection 
 * code for all gc-points in the program.  That is, we delay the generation
 * of garbage collection code until all optimizations have been performed.
 * A callback is invoked at all GC safe-points with the appropriate type 
 * information.  The callback is responsible for generating the appropriate
 * code to save and restore all roots and call the garbage collector.
signature GC_CALLBACK =
   structure C  : CELLS
   structure GC : GC_TYPE
   structure T  : MLTREE
   val callgcCallback :  
        { id          : int,                        (* basic block id *)
          msg         : string,                     (* some auxiliary text *)
          gcLabel     : Label.label,                (* label of gc block *)
          returnLabel : Label.label,                (* label of return block *)
          roots       : (C.cell * GC.gctype) list,  (* root set *)
          stream      : (T.stm,T.mlrisc list) T.stream 
                          (* code generator *)
        } -> unit

ViewVC Help
Powered by ViewVC 1.0.0