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

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

Parent Directory Parent Directory | Revision Log Revision Log

Revision 641 - (download) (annotate)
Thu May 11 01:16:45 2000 UTC (22 years, 4 months ago) by leunga
File size: 1019 byte(s)

    Various bug fixes and new features for C--, Moby and MLRISC optimizations.
    See smlnj/HISTORY for details.  CVS tag: leunga-20000510-moby-c--ssa
 * 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 =

   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.getInt "ra-max-blocks"

   (* 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;
       else RA.ra params flowgraph


ViewVC Help
Powered by ViewVC 1.0.0