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/mltree/mltreecomp.sig
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/mltree/mltreecomp.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 430 - (view) (download) (as text)

1 : monnier 245 (* mltreeComp.sig --- translate mltrees to a flowgraph of target machine code.
2 :     *
3 :     * COPYRIGHT (c) 1995 AT&T Bell Laboratories.
4 :     *)
5 : monnier 429 signature MLTREECOMP =
6 :     sig
7 : monnier 245 structure T : MLTREE
8 :     structure I : INSTRUCTIONS
9 : monnier 429 sharing T.Constant = I.Constant
10 : monnier 245
11 : monnier 411 (*
12 :     * The instruction selection phase converts an instruction stream
13 : monnier 429 * into a mltree stream. Please see the file "instructions/stream.sig"
14 :     * for description of the stream interface.
15 :     *
16 :     * Note: the mltree stream does NOT support direct instruction emission.
17 :     * For equivalent functionality, you can use the emit method
18 :     * of the instruction stream instead.
19 : monnier 411 *)
20 :     val selectInstructions :
21 : monnier 429 (I.instruction,I.C.regmap) T.stream -> (* instruction stream *)
22 :     (T.stm,I.C.regmap) T.stream (* mltree stream *)
23 : monnier 245 end

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