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.cm
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/SSA/SSA.cm

Parent Directory Parent Directory | Revision Log Revision Log


Revision 695 - (view) (download)

1 : leunga 695 (*
2 :     * This library implements the SSA optimizations.
3 :     *)
4 :    
5 :     Library
6 :     signature CFG2SSA
7 :     signature SSA
8 :     signature SSA2CFG
9 :     signature SSA_CONDITIONAL_CONSTANT_PROPAGATION
10 :     signature SSA_CONSTANT_FOLDING
11 :     signature SSA_DATAFLOW_ANALYSIS
12 :     signature SSA_FLOWGRAPH
13 :     signature SSA_FLOWGRAPH_LIVENESS
14 :     signature SSA_GLOBAL_CODE_MOTION
15 :     signature SSA_GLOBAL_VALUE_NUMBERING
16 :     signature SSA_INSTRGEN
17 :     signature SSA_LIVENESS
18 :     signature SSA_OPTIMIZATION
19 :     signature SSA_PROPERTIES
20 :     functor CFG2SSA
21 :     functor SSA
22 :     functor SSA2CFG
23 :     functor SSACCP
24 :     functor SSACPR
25 :     functor SSACondConstProp
26 :     functor SSAConstantFolding
27 :     functor SSADCE
28 :     functor SSADataflow
29 :     functor SSAGCInvariants
30 :     functor SSAGCM
31 :     functor SSAGVN
32 :     functor SSAGlobalValueNumbering
33 :     functor SSAInstrGen
34 :     functor SSALiveness
35 :     functor SSAOSR
36 :     functor SSAPRE
37 :     functor SSAUntrap
38 :     is
39 :    
40 :     #if defined(NEW_CM)
41 :     basis.cm
42 :     #endif
43 :     smlnj-lib.cm
44 :    
45 :     ../control/Control.cm
46 :     ../library/Lib.cm
47 :     ../graphs/Graphs.cm
48 :     ../visualization/Visual.cm
49 :     ../ir/ir.cm
50 :     ../MLRISC.cm
51 :     ../IR/IR.cm
52 :     ../gc-safety/GC.cm
53 :     ../mltree/MLTREE.cm
54 :     ../mltree/RTL.cm
55 :     ../instructions/Region.cm
56 :    
57 :     (* The SSA representation *)
58 :     ssa-flowgraph.sig
59 :     ssa.sig
60 :     ssa.sml
61 :    
62 :     (* Conversion between SSA and CFG *)
63 :     cfg2ssa.sig
64 :     cfg2ssa.sml
65 :     ssa2cfg.sig
66 :     ssa2cfg.sml
67 :     ssa-liveness.sig
68 :     ssa-liveness.sml
69 :    
70 :     (* Build an SSA graph directly (doesn't work!) *)
71 :     (* ssa-gen.sml *)
72 :    
73 :     (* Machine properties for SSA *)
74 :     ssa-props.sig
75 :    
76 :     (*==== Analyses and transformations on SSA ====*)
77 :    
78 :     (* Constant folding and algebraic simplification *)
79 :     ssa-const-folding.sig
80 :     ssa-const-folding.sml
81 :    
82 :     (* Compute global value numbers *)
83 :     ssa-gvn-basis.sig
84 :     ssa-gvn-basis.sml
85 :    
86 :     (* Compute conditional constants *)
87 :     ssa-ccp-basis.sig
88 :     ssa-ccp-basis.sml
89 :    
90 :     (* Dataflow analysis *)
91 :     ssa-dataflow.sig
92 :     ssa-dataflow.sml
93 :    
94 :     (* Instruction generation *)
95 :     ssa-instrgen.sig
96 :     ssa-instrgen.sml
97 :    
98 :     (*==== Actual Optimization Phases ====*)
99 :     ssa-optimization.sig
100 :    
101 :     (* Dead code elimination *)
102 :     ssa-dce.sml
103 :    
104 :     (* Global code motion *)
105 :     ssa-gcm.sml
106 :    
107 :     (* Global value numbering *)
108 :     ssa-gvn.sml
109 :    
110 :     (* Operator Strength Reduction *)
111 :     ssa-osr.sml
112 :    
113 :     (* Conditional Constant Propagation *)
114 :     ssa-ccp.sml
115 :    
116 :     (* Critical Path Reduction *)
117 :     ssa-cpr.sml
118 :    
119 :     (* Remove Trapping Arithmetic *)
120 :     ssa-untrap.sml
121 :    
122 :     (* Partial Redundancy Elimination *)
123 :     ssa-pre.sml
124 :    
125 :     (* GC Safety *)
126 :     ssa-gc-invariants.sml

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