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/cluster/clusterGraph.sig
ViewVC logotype

View of /sml/trunk/src/MLRISC/cluster/clusterGraph.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 624 - (download) (as text) (annotate)
Fri Apr 21 03:06:21 2000 UTC (19 years, 7 months ago) by leunga
File size: 868 byte(s)

   This update synchronizes my repository with Yale's.  Most of these
changes are related to C--, Moby, and my optimizations.  It should have
little impact on SML/NJ.

   CVS tag leunga-20000420-ssa-c---stuff
(*
 * This gives a cluster a graph view so that all graph based algorithms
 * can be applied on the cluster.  The view is readonly though. 
 *
 * -- Allen
 *)
signature CLUSTER_GRAPH =
sig

   structure F : FLOWGRAPH
   structure I : INSTRUCTIONS
   structure W : FREQ
     sharing F.W = W
     sharing F.I = I

   type info
   type block = F.block
   type edge_info = W.freq ref

   type cfg = (block,edge_info,info) Graph.graph

   val clusterGraph   : F.cluster -> cfg
   val cluster        : cfg -> F.cluster
   val table          : cfg -> block Array.array
   val isTakenBranch  : edge_info Graph.edge -> bool

   val regmap         : cfg -> I.C.regmap
   val annotations    : cfg -> Annotations.annotations ref

   val insns          : block -> I.instruction list ref
   val freq           : block -> W.freq ref
   val liveOut        : block -> I.C.cellset

end

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