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 /MLRISC/trunk/instructions/stream.sml
ViewVC logotype

View of /MLRISC/trunk/instructions/stream.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2126 - (download) (annotate)
Thu Nov 2 16:11:29 2006 UTC (12 years, 8 months ago) by blume
File size: 1162 byte(s)
moved MLRISC to toplevel
(*
 * This is a generic instruction stream datatype.
 * Components such as assemblers, machine code emitters, instruction
 * selection modules communicate with each via this interface.
 *
 * -- Allen
 *)

functor InstructionStream(P : PSEUDO_OPS) : INSTRUCTION_STREAM =
struct

   structure P = P

   datatype ('a,'b,'c,'d) stream =
      STREAM of
      { beginCluster: int -> unit,             (* start new compilation unit *)
        endCluster  : 'b -> 'd,                      (* end compilation unit *)
        emit        : 'a -> unit,                        (* emit instruction *)
        pseudoOp    : P.pseudo_op -> unit,               (* emit a pseudo op *)
        defineLabel : Label.label -> unit,           (* define a local label *)
        entryLabel  : Label.label -> unit,       (* define an external label *)
        comment     : string -> unit,                        (* emit comment *)
        annotation  : Annotations.annotation -> unit,      (* add annotation *)
        getAnnotations : unit -> Annotations.propList ref, (* get annotations*)
        exitBlock   : 'c -> unit              (* mark the end of a procedure *)
      }

end

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