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

Diff of /sml/branches/SMLNJ/src/MLRISC/gc-safety/gc-liveness.sml

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

revision 468, Wed Nov 10 22:42:52 1999 UTC revision 469, Wed Nov 10 22:42:52 1999 UTC
# Line 74  Line 74 
74    
75    fun liveness (IR as G.GRAPH cfg) =    fun liveness (IR as G.GRAPH cfg) =
76    let val an = CFG.getAnnotations IR    let val an = CFG.getAnnotations IR
77        fun get(GC.GCMAP m::_) = m        val gcmap = case #get GC.GCMAP (CFG.getAnnotations IR) of
78          | get(_::an) = get an                      SOME gcmap => gcmap
79          | get [] = error "no gc map"                    | NONE => error "no gc map"
       val gcmap = get (CFG.getAnnotations IR)  
80        val regmap = CFG.regmap IR        val regmap = CFG.regmap IR
81        val table = A.array(#capacity cfg (),{liveIn=R.empty,liveOut=R.empty})        val table = A.array(#capacity cfg (),{liveIn=R.empty,liveOut=R.empty})
82        val gclookup = Intmap.mapWithDefault (gcmap,GC.TOP)        val gclookup = Intmap.mapWithDefault (gcmap,GC.TOP)

Legend:
Removed from v.468  
changed lines
  Added in v.469

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