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/block-placement/block-placement.sml
ViewVC logotype

View of /MLRISC/trunk/block-placement/block-placement.sml

Parent Directory Parent Directory | Revision Log Revision Log

Revision 2554 - (download) (annotate)
Tue May 15 23:20:40 2007 UTC (12 years, 2 months ago) by gkuan
File size: 729 byte(s)
BlockPlacement functor formal parameter needs a where structure definition in order to be consistent with WeightedBlockPlacementFn formal parameters
(* block-placement.sml
 * COPYRIGHT (c) 2002 Bell Labs, Lucent Technologies

functor BlockPlacement 
   (structure CFG : CONTROL_FLOW_GRAPH
    structure Props : INSN_PROPERTIES
	where I = CFG.I)


  structure CFG = CFG

  structure DefaultPlacement = DefaultBlockPlacement(CFG)

  structure WeightedPlacement = 
	  (structure CFG = CFG 
	   structure InsnProps = Props)

  val placementFlag = MLRiscControl.mkFlag
			   "whether MLRISC does weighted block placement")

  fun blockPlacement(cfg as Graph.GRAPH G) =
	if !placementFlag
	  then WeightedPlacement.blockPlacement cfg
	  else DefaultPlacement.blockPlacement cfg


ViewVC Help
Powered by ViewVC 1.0.0