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

SCM Repository

[smlnj] Annotation of /sml/trunk/src/MLRISC/instructions/stream.sig
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/instructions/stream.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 410 - (view) (download) (as text)
Original Path: sml/branches/SMLNJ/src/MLRISC/instructions/stream.sig

1 : monnier 409 (*
2 :     * This is a generic instruction stream datatype.
3 :     * Components such as assemblers, machine code emitters, instruction
4 :     * selection modules communicate with each via this interface.
5 :     *
6 :     * -- Allen
7 :     *)
8 :    
9 :     signature INSTRUCTION_STREAM =
10 :     sig
11 :    
12 :     structure P : PSEUDO_OPS
13 :     structure B : BLOCK_NAMES
14 :    
15 :     datatype ('a,'b,'c) stream =
16 :     STREAM of
17 :     { init : int -> unit,
18 :     finish : 'c -> unit,
19 :     emit : (int -> int) -> 'a -> unit,
20 :     pseudoOp : P.pseudo_op -> unit,
21 :     defineLabel : Label.label -> unit,
22 :     entryLabel : Label.label -> unit,
23 :     comment : string -> unit,
24 :     blockName : B.name -> unit,
25 :     annotation : Annotations.annotation -> unit,
26 :     exitBlock : 'b -> unit
27 :     }
28 :    
29 :     end

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