Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/MLRISC/cluster/clusterGraph.sig
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 744 - (view) (download) (as text)

1 : monnier 467 (*
2 :     * This gives a cluster a graph view so that all graph based algorithms
3 :     * can be applied on the cluster. The view is readonly though.
4 :     *
5 :     * -- Allen
6 :     *)
7 :     signature CLUSTER_GRAPH =
8 :     sig
9 :    
10 :     structure F : FLOWGRAPH
11 : leunga 624 structure I : INSTRUCTIONS
12 : monnier 467 structure W : FREQ
13 :     sharing F.W = W
14 : leunga 624 sharing F.I = I
15 : monnier 467
16 : leunga 624 type info
17 :     type block = F.block
18 :     type edge_info = W.freq ref
19 : monnier 467
20 : leunga 624 type cfg = (block,edge_info,info) Graph.graph
21 : monnier 467
22 : leunga 624 val clusterGraph : F.cluster -> cfg
23 :     val cluster : cfg -> F.cluster
24 :     val table : cfg -> block Array.array
25 :     val isTakenBranch : edge_info Graph.edge -> bool
26 : monnier 467
27 : leunga 624 val annotations : cfg -> Annotations.annotations ref
28 : monnier 467
29 : leunga 624 val insns : block -> I.instruction list ref
30 :     val freq : block -> W.freq ref
31 :     val liveOut : block -> I.C.cellset
32 :    
33 : monnier 467 end

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