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

SCM Repository

[smlnj] Diff of /MLRISC/trunk/ra/liveness.sml
ViewVC logotype

Diff of /MLRISC/trunk/ra/liveness.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 909, Fri Aug 24 17:48:53 2001 UTC revision 924, Fri Sep 14 15:13:26 2001 UTC
# Line 21  Line 21 
21    
22    structure CFG : CONTROL_FLOW_GRAPH    structure CFG : CONTROL_FLOW_GRAPH
23    
24    type live_in_table = CellsBasis.SortedCells.sorted_cells IntHashTable.hash_table    type liveness_table =
25             CellsBasis.SortedCells.sorted_cells IntHashTable.hash_table
26    
27    val liveness : {    val liveness : {
28            defUse : CFG.I.instruction            defUse : CFG.I.instruction
29                          -> (CellsBasis.cell list * CellsBasis.cell list),                          -> (CellsBasis.cell list * CellsBasis.cell list),
30            getCell    : CellsBasis.CellSet.cellset -> CellsBasis.cell list            getCell    : CellsBasis.CellSet.cellset -> CellsBasis.cell list
31          } -> CFG.cfg          } -> CFG.cfg
32              -> live_in_table              -> {liveIn  : liveness_table,
33                    liveOut : liveness_table
34                   }
35    
36  end  end
37    
# Line 41  Line 44 
44    structure HT  = IntHashTable    structure HT  = IntHashTable
45    structure G   = Graph    structure G   = Graph
46    
47    type live_in_table = SC.sorted_cells HT.hash_table    type liveness_table = SC.sorted_cells HT.hash_table
48    
49    fun error msg = MLRiscErrorMsg.error("Liveness",msg)    fun error msg = MLRiscErrorMsg.error("Liveness",msg)
50    
# Line 154  Line 157 
157        fun repeat n = if bottomup() then repeat(n+1) else (n+1)        fun repeat n = if bottomup() then repeat(n+1) else (n+1)
158    
159      in      in
160        init(); repeat 0; liveIn        init(); repeat 0; {liveIn=liveIn, liveOut=liveOut}
161      end      end
162    
163    in dataflow    in dataflow
164    end    end
165  end  end
166    
   

Legend:
Removed from v.909  
changed lines
  Added in v.924

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