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/x86/mltree/x86.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/x86/mltree/x86.sml

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

revision 933, Wed Sep 19 19:31:19 2001 UTC revision 984, Wed Nov 21 19:00:08 2001 UTC
# Line 43  Line 43 
43                          where T = X86Instr.T                          where T = X86Instr.T
44     structure ExtensionComp : MLTREE_EXTENSION_COMP     structure ExtensionComp : MLTREE_EXTENSION_COMP
45                          where I = X86Instr and T = X86Instr.T                          where I = X86Instr and T = X86Instr.T
46       structure MLTreeStream : MLTREE_STREAM
47                            where T = ExtensionComp.T
48      datatype arch = Pentium | PentiumPro | PentiumII | PentiumIII      datatype arch = Pentium | PentiumPro | PentiumII | PentiumIII
49      val arch : arch ref      val arch : arch ref
50      val cvti2f :      val cvti2f :
# Line 65  Line 67 
67  struct  struct
68    structure I = X86Instr    structure I = X86Instr
69    structure T = I.T    structure T = I.T
70    structure S = T.Stream    structure TS = ExtensionComp.TS
71    structure C = I.C    structure C = I.C
72    structure Shuffle = Shuffle(I)    structure Shuffle = Shuffle(I)
73    structure W32 = Word32    structure W32 = Word32
   structure LE = I.LabelExp  
74    structure A = MLRiscAnnotations    structure A = MLRiscAnnotations
75    structure CFG = ExtensionComp.CFG    structure CFG = ExtensionComp.CFG
76    structure CB = CellsBasis    structure CB = CellsBasis
77    
78    type instrStream = (I.instruction,C.cellset,CFG.cfg) T.stream    type instrStream = (I.instruction,C.cellset,CFG.cfg) TS.stream
79    type mltreeStream = (T.stm,T.mlrisc list,CFG.cfg) T.stream    type mltreeStream = (T.stm,T.mlrisc list,CFG.cfg) TS.stream
80    
81    datatype kind = REAL | INTEGER    datatype kind = REAL | INTEGER
82    
# Line 130  Line 131 
131     *)     *)
132    fun selectInstructions    fun selectInstructions
133         (instrStream as         (instrStream as
134          S.STREAM{emit,defineLabel,entryLabel,pseudoOp,annotation,getAnnotations,          TS.S.STREAM{emit,defineLabel,entryLabel,pseudoOp,annotation,getAnnotations,
135                   beginCluster,endCluster,exitBlock,comment,...}) =                   beginCluster,endCluster,exitBlock,comment,...}) =
136    let exception EA    let exception EA
137    
# Line 1754  Line 1755 
1755           )           )
1756    
1757        and reducer() =        and reducer() =
1758            T.REDUCER{reduceRexp    = expr,            TS.REDUCER{reduceRexp    = expr,
1759                      reduceFexp    = fexpr,                      reduceFexp    = fexpr,
1760                      reduceCCexp   = ccExpr,                      reduceCCexp   = ccExpr,
1761                      reduceStm     = stmt,                      reduceStm     = stmt,
# Line 1767  Line 1768 
1768                     }                     }
1769    
1770        and self() =        and self() =
1771            S.STREAM            TS.S.STREAM
1772            {  beginCluster   = beginCluster',            {  beginCluster   = beginCluster',
1773               endCluster     = endCluster',               endCluster     = endCluster',
1774               emit           = doStmt,               emit           = doStmt,

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

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