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

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

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 28  Line 28 
28  struct  struct
29     structure I = HppaInstr     structure I = HppaInstr
30     structure T = I.T     structure T = I.T
31     structure S = T.Stream     structure TS = ExtensionComp.TS
32     structure C = I.C     structure C = I.C
33     structure CB = CellsBasis     structure CB = CellsBasis
34     structure MC = MilliCode     structure MC = MilliCode
# Line 37  Line 37 
37     structure A = MLRiscAnnotations     structure A = MLRiscAnnotations
38     structure CFG = ExtensionComp.CFG     structure CFG = ExtensionComp.CFG
39    
40     type instrStream = (I.instruction, C.cellset, CFG.cfg) T.stream     type instrStream = (I.instruction, C.cellset, CFG.cfg) TS.stream
41     type mltreeStream = (T.stm, T.mlrisc list, CFG.cfg) T.stream     type mltreeStream = (T.stm, T.mlrisc list, CFG.cfg) TS.stream
42    
43     structure Gen = MLTreeGen(structure T = T     structure Gen = MLTreeGen(structure T = T
44                               val intTy = 32                               val intTy = 32
# Line 121  Line 121 
121    
122     fun selectInstructions     fun selectInstructions
123          (instrStream as          (instrStream as
124           S.STREAM{emit, defineLabel, entryLabel, getAnnotations,           TS.S.STREAM{emit, defineLabel, entryLabel, getAnnotations,
125                    beginCluster, endCluster, annotation,                    beginCluster, endCluster, annotation,
126                    exitBlock, pseudoOp, comment, ...}) =                    exitBlock, pseudoOp, comment, ...}) =
127     let     let
# Line 828  Line 828 
828            | DISP(r, mi) => DISPea(r, I.IMMED(toInt mi))            | DISP(r, mi) => DISPea(r, I.IMMED(toInt mi))
829    
830         and reducer() =         and reducer() =
831            T.REDUCER{reduceRexp    = expr,            TS.REDUCER{reduceRexp    = expr,
832                      reduceFexp    = fexpr,                      reduceFexp    = fexpr,
833                      reduceCCexp   = ccExpr,                      reduceCCexp   = ccExpr,
834                      reduceStm     = stmt,                      reduceStm     = stmt,
# Line 852  Line 852 
852             in  g(mlrisc, C.empty) end             in  g(mlrisc, C.empty) end
853    
854         and self() =         and self() =
855            S.STREAM            TS.S.STREAM
856              { beginCluster   = beginCluster,              { beginCluster   = beginCluster,
857                endCluster     = endCluster,                endCluster     = endCluster,
858                emit           = doStmt,                emit           = doStmt,

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