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-props.sig
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log

Revision 427 - (download) (as text) (annotate)
Wed Sep 8 09:40:08 1999 UTC (19 years, 10 months ago) by monnier
File size: 620 byte(s)
Initial revision
 * This is the abstract interface for propagating gc info from an 
 * instruction set.

signature GC_PROPERTIES =

   structure I  : INSTRUCTIONS
   structure GC : GC_TYPE

    * This function is responsible for propagating gc type information
    * from the input operands to the output operands of an instruction.
    * The propagation is performed conservatively; that is, when in doubt,
    * we leave the gc-type unspecified. 

   val propagate : { lookup : I.C.cell -> GC.gctype,
                     update : I.C.cell * GC.gctype -> unit
                   } -> I.instruction -> unit


ViewVC Help
Powered by ViewVC 1.0.0