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 =
sig

   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

end

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0