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/SSA/ssa-dataflow.sig
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/SSA/ssa-dataflow.sig

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : leunga 695 (*
2 :     * This is a generic module for performing (forward) dataflow
3 :     * analysis on the SSA graph. Returns an array of dataflow values
4 :     * indexed by variables.
5 :     *
6 :     * -- Allen (leunga@cs.nyu.edu)
7 :     *)
8 :     signature SSA_DATAFLOW_ANALYSIS =
9 :     sig
10 :     structure SSA : SSA
11 :    
12 :     val dataflowAnalysis :
13 :     { ssa : SSA.ssa, (* SSA graph *)
14 :     bot : 'D, (* bottom element *)
15 :     top : 'D, (* top element *)
16 :     == : 'D * 'D -> bool, (* equality *)
17 :     const : SSA.value -> 'D, (* map constants to lattice value *)
18 :     meet : 'D list -> 'D, (* meet *)
19 :     transfer : {rtl:SSA.rtl, (* transfer function *)
20 :     inputs:'D list,
21 :     defs:SSA.value list
22 :     } -> 'D list
23 :     } -> 'D Array.array (* SSA variable -> dataflow value *)
24 :    
25 :     end

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