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/scheduling/wuhui.sml
ViewVC logotype

View of /sml/trunk/src/MLRISC/scheduling/wuhui.sml

Parent Directory Parent Directory | Revision Log Revision Log


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

   Stuff related to scheduling, SSA, x86, C-- and Moby.
   Tag: leunga-20000807-a-whole-bunch-of-stuff
(*
 * This is Wu Hui's example.
 *)

structure WuHui =
struct

   structure G = DirectedGraph

   fun makeDag nodes edges =
   let val dag as Graph.GRAPH G = G.graph("Test1",(),10)
   in  app (#add_node G) nodes;
       app (#add_edge G) edges;
       dag
   end

   val dag as Graph.GRAPH G = 
             makeDag [(1,(0,6)),
                      (2,(0,6)),
                      (3,(1,6)),
                      (4,(1,6)),
                      (5,(1,6)),
                      (6,(3,6))
                     ]
                     [(1,3,1),
                      (1,4,1),
                      (2,4,1),
                      (2,5,1),
                      (3,6,0),
                      (4,6,1),
                      (5,6,1)
                     ]

   fun close dag =
       TransitiveClosure.acyclic_transitive_closure2 
          {+   = fn(i,j) => i+j+1,
           max = Int.max
          } dag

   fun leung (dag as Graph.GRAPH G) =
   let val dag' as Graph.GRAPH G' = G.graph("Tmp",(),10)
       val _    = #forall_nodes G (#add_node G')
       val _    = #forall_edges G (#add_edge G')
   in  LeungPalemPnueli.rank
                       {dag = dag',
                        l   = fn(_,_,l) => l,
                        d   = fn(_,(_,d)) => d,
                        r   = fn(_,(r,_)) => r,
                        m   = 1
                       } 
   end

   structure View = GraphViewerFn(daVinci)
   structure L    = GraphLayout

   fun view dag =
       View.view(
          L.makeLayout{node=fn(n,(r,d))=>
                          [L.LABEL(Int.toString n^" r="^Int.toString r^
                                                  " d="^Int.toString d)
                          ],
                       edge=fn(i,j,l)=>[L.LABEL(Int.toString l),L.COLOR "red"],
                       graph=fn _ =>[]} dag
       )

end

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