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/gc-safety/gc-liveness.sml
ViewVC logotype

Diff of /MLRISC/trunk/gc-safety/gc-liveness.sml

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

revision 624, Fri Apr 21 03:06:21 2000 UTC revision 744, Fri Dec 8 04:11:42 2000 UTC
# Line 37  Line 37 
37    
38            fun liveOut(gcmap,regmap,b as CFG.BLOCK{id,...}) =            fun liveOut(gcmap,regmap,b as CFG.BLOCK{id,...}) =
39            let val cellset = CFG.liveOut(b)            let val cellset = CFG.liveOut(b)
40                val regs    = C.cellsetToCells cellset                val regs    = C.CellSet.toCellList cellset
41            in  mk(gcmap,regmap,regs)            in  mk(gcmap,regmap,regs)
42            end            end
43    
# Line 86  Line 86 
86        val gcmap = #lookup GCMap.GCMAP an        val gcmap = #lookup GCMap.GCMAP an
87        val regmap = CFG.regmap IR        val regmap = CFG.regmap IR
88        val table = A.array(#capacity cfg (),{liveIn=R.empty,liveOut=R.empty})        val table = A.array(#capacity cfg (),{liveIn=R.empty,liveOut=R.empty})
89        val gclookup = Intmap.mapWithDefault (gcmap,GC.TOP)        val gclookup = IntHashTable.find gcmap
90          val gclookup = fn r => case gclookup r of SOME t => t | NONE => GC.TOP
91        val _ = Liveness.analyze(IR,(gclookup,C.lookup regmap,table))        val _ = Liveness.analyze(IR,(gclookup,C.lookup regmap,table))
92    in  table    in  table
93    end    end

Legend:
Removed from v.624  
changed lines
  Added in v.744

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