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 /MLRISC/trunk/ra/region-based-ra.sml
ViewVC logotype

View of /MLRISC/trunk/ra/region-based-ra.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2126 - (download) (annotate)
Thu Nov 2 16:11:29 2006 UTC (12 years, 7 months ago) by blume
File size: 1059 byte(s)
moved MLRISC to toplevel
(*
 * Region-based register allocator.  
 * This register allocation takes a cluster of large size and partitions
 * it into manageable pieces to be allocated.
 *)
functor RegionBasedRA
   (RA : RA)
   (FlowgraphPartitioner : RA_FLOWGRAPH_PARTITIONER 
       where type flowgraph = RA.F.flowgraph
       where C = RA.C
   ) : RA =
struct

   structure F      = RA.F
   structure FP     = FlowgraphPartitioner
   structure I      = F.I
   structure C      = I.C
   structure Core   = RACore
   structure G      = Core.G

   open RA

   val maxBlocks = MLRiscControl.mkInt ("ra-max-blocks", "max block count for region-based RA")

   (* Main entry point.  
    * All the magic is actually done in the FlowgraphPartitioner module
    *)
   fun ra (params:raClient list) flowgraph =
       if FP.numberOfBlocks flowgraph > !maxBlocks then
          let fun ra (param as {cellkind, ...}) = 
                  FP.partition flowgraph cellkind (RA.ra [param])
          in  app ra params;
              flowgraph
          end
       else RA.ra params flowgraph

end

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