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

Diff of /sml/trunk/src/MLRISC/sparc/mltree/sparc.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 43  Line 43 
43  struct  struct
44    structure I  = SparcInstr    structure I  = SparcInstr
45    structure T  = I.T    structure T  = I.T
46    structure S  = T.Stream    structure TS = ExtensionComp.TS
47    structure R  = T.Region    structure R  = T.Region
48    structure C  = I.C    structure C  = I.C
49    structure CB = CellsBasis    structure CB = CellsBasis
   structure LE = I.LabelExp  
50    structure W  = Word32    structure W  = Word32
51    structure P  = PseudoInstrs    structure P  = PseudoInstrs
52    structure A  = MLRiscAnnotations    structure A  = MLRiscAnnotations
53    structure CFG = ExtensionComp.CFG    structure CFG = ExtensionComp.CFG
54    
55    type instrStream = (I.instruction, C.cellset, CFG.cfg) T.stream    type instrStream = (I.instruction, C.cellset, CFG.cfg) TS.stream
56    type mltreeStream = (T.stm, T.mlrisc list, CFG.cfg) T.stream    type mltreeStream = (T.stm, T.mlrisc list, CFG.cfg) TS.stream
57    
58    val int_0 = T.I.int_0    val int_0 = T.I.int_0
59    fun toInt n = T.I.toInt(32, n)    fun toInt n = T.I.toInt(32, n)
# Line 167  Line 166 
166    
167    fun selectInstructions    fun selectInstructions
168         (instrStream as         (instrStream as
169          S.STREAM{emit,defineLabel,entryLabel,pseudoOp,annotation,getAnnotations,          TS.S.STREAM{emit,defineLabel,entryLabel,pseudoOp,annotation,getAnnotations,
170                   beginCluster,endCluster,exitBlock,comment,...}) =                   beginCluster,endCluster,exitBlock,comment,...}) =
171    let    let
172        (* Flags *)        (* Flags *)
# Line 722  Line 721 
721          | opn e              = I.REG(expr e)          | opn e              = I.REG(expr e)
722    
723        and reducer() =        and reducer() =
724            T.REDUCER{reduceRexp    = expr,            TS.REDUCER{reduceRexp    = expr,
725                      reduceFexp    = fexpr,                      reduceFexp    = fexpr,
726                      reduceCCexp   = ccExpr,                      reduceCCexp   = ccExpr,
727                      reduceStm     = stmt,                      reduceStm     = stmt,
# Line 734  Line 733 
733                      mltreeStream  = self()                      mltreeStream  = self()
734                     }                     }
735        and self() =        and self() =
736            S.STREAM            TS.S.STREAM
737            { beginCluster   = beginCluster,            { beginCluster   = beginCluster,
738              endCluster     = endCluster,              endCluster     = endCluster,
739              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