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

SCM Repository

[smlnj] Diff of /sml/trunk/src/MLRISC/mltree/mltreecomp.sig
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 983, Wed Nov 21 18:44:55 2001 UTC revision 984, Wed Nov 21 19:00:08 2001 UTC
# Line 9  Line 9 
9  signature MLTREE_EXTENSION_COMP =  signature MLTREE_EXTENSION_COMP =
10  sig  sig
11     structure T : MLTREE     structure T : MLTREE
12       structure TS : MLTREE_STREAM where T = T
13     structure I : INSTRUCTIONS     structure I : INSTRUCTIONS
14     structure CFG : CONTROL_FLOW_GRAPH     structure CFG : CONTROL_FLOW_GRAPH
15                  where I = I and P = T.PseudoOp                  where I = I
16                      and P = TS.S.P
17     (*     (*
18      * The reducer is given to the client during the compilation of      * The reducer is given to the client during the compilation of
19      * the user extensions.      * the user extensions.
20      *)      *)
21     type reducer =     type reducer =
22       (I.instruction,I.C.cellset,I.operand,I.addressing_mode,CFG.cfg) T.reducer       (I.instruction,I.C.cellset,I.operand,I.addressing_mode,CFG.cfg) TS.reducer
23    
24     val compileSext : reducer -> {stm:T.sext, an:T.an list} -> unit     val compileSext : reducer -> {stm:T.sext, an:T.an list} -> unit
25     val compileRext : reducer -> {e:T.ty * T.rext, rd:CellsBasis.cell, an:T.an list} -> unit     val compileRext : reducer -> {e:T.ty * T.rext, rd:CellsBasis.cell, an:T.an list} -> unit
# Line 26  Line 27 
27     val compileCCext : reducer -> {e:T.ty * T.ccext, ccd:CellsBasis.cell, an:T.an list} -> unit     val compileCCext : reducer -> {e:T.ty * T.ccext, ccd:CellsBasis.cell, an:T.an list} -> unit
28  end  end
29    
30    
31    
32    
33  signature MLTREECOMP =  signature MLTREECOMP =
34  sig  sig
35     structure T : MLTREE     structure TS : MLTREE_STREAM
36     structure I : INSTRUCTIONS     structure I : INSTRUCTIONS
    structure Gen : MLTREEGEN  
                 where T = T  
37     structure CFG : CONTROL_FLOW_GRAPH     structure CFG : CONTROL_FLOW_GRAPH
38                  where I = I and P = T.PseudoOp                  where I = I
39                      and P = TS.S.P
40       structure Gen : MLTREEGEN
41                    where T = TS.T
42    
43     type instrStream = (I.instruction, I.C.cellset, CFG.cfg) T.stream     type instrStream = (I.instruction, I.C.cellset, CFG.cfg) TS.stream
44     type mltreeStream = (T.stm, T.mlrisc list, CFG.cfg) T.stream     type mltreeStream = (TS.T.stm, TS.T.mlrisc list, CFG.cfg) TS.stream
45    
46      (*      (*
47       * The instruction selection phase converts an instruction stream       * The instruction selection phase converts an instruction stream
# Line 49  Line 54 
54       *)       *)
55     val selectInstructions : instrStream -> mltreeStream     val selectInstructions : instrStream -> mltreeStream
56  end  end
57    
58    
59    
60    

Legend:
Removed from v.983  
changed lines
  Added in v.984

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