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

SCM Repository

[smlnj] View of /sml/trunk/src/MLRISC/SSA/ssa-gen.sml
ViewVC logotype

View of /sml/trunk/src/MLRISC/SSA/ssa-gen.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 695 - (download) (annotate)
Mon Aug 7 23:57:38 2000 UTC (18 years, 11 months ago) by leunga
File size: 1775 byte(s)

   Stuff related to scheduling, SSA, x86, C-- and Moby.
   Tag: leunga-20000807-a-whole-bunch-of-stuff
(*
 * This module can be used to build a stripped down SSA graph directly from
 * an MLTREE stream.
 *)
functor SSAGen
   (structure MLTree : MLTREE
    structure CFG    : CONTROL_FLOW_GRAPH
    structure InsnProps : INSN_PROPERTIES
    structure SSA    : SSA 
      where CFG = CFG
      where I.Constant = MLTree.Constant
      sharing InsnProps.I = CFG.I
      sharing MLTree.Stream.P = CFG.P
   ) : FLOWGRAPH_GEN =
struct
   structure T = MLTree
   structure I = SSA.I
   structure C = I.C
   structure S = T.Stream
   structure Builder = ControlFlowGraphGen
      (structure CFG = CFG
       structure Stream = S
       structure InsnProps = InsnProps
      )
 
   type flowgraph = CFG.cfg

   fun error msg = MLRiscErrorMsg.error("SSAGen",msg)
   
   fun newStream{compile, flowgraph} =
   let val cfg = case flowgraph of
                   SOME cfg => cfg
                 | NONE => CFG.new(C.regmap())
       val {stream,next} = Builder.builder cfg
       val S.STREAM{beginCluster,endCluster,pseudoOp,
                    emit,exitBlock,comment,annotation,defineLabel,
                    entryLabel,alias,...} = stream

       fun endCFG a = (endCluster a;
                       next(CFG.new(C.regmap()));
                       compile cfg
                      )

       fun phi   _ = error "phi"
   in  S.STREAM{beginCluster= beginCluster,
                endCluster  = endCFG,
                pseudoOp    = pseudoOp,
                emit        = emit,
                exitBlock   = exitBlock,
                comment     = comment,
                annotation  = annotation,
                defineLabel = defineLabel,
                entryLabel  = entryLabel,
                alias       = alias,
                phi         = phi
               }
   end
end


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