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/trunk/src/MLRISC/SSA/ssa-gc-invariants.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/SSA/ssa-gc-invariants.sml

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

revision 743, Thu Dec 7 15:31:24 2000 UTC revision 744, Fri Dec 8 04:11:42 2000 UTC
# Line 45  Line 45 
45         val defsTbl     = SSA.defsTbl SSA         val defsTbl     = SSA.defsTbl SSA
46         val usesTbl     = SSA.usesTbl SSA         val usesTbl     = SSA.usesTbl SSA
47         val rtlTbl      = SSA.rtlTbl SSA         val rtlTbl      = SSA.rtlTbl SSA
48         val cellKind    = Intmap.mapWithDefault(cellKindMap, C.GP)         val cellKind    = IntHashTable.find cellKindMap
49         val updateTy    = Intmap.add gcmap         val cellKind    = fn r => case cellKind r of SOME k => k | NONE => C.GP
50           val updateTy    = IntHashTable.insert gcmap
51         val zeroR       = case C.zeroReg C.GP of         val zeroR       = case C.zeroReg C.GP of
52                             SOME z => z                             SOME z => z
53                           | NONE => ~1                           | NONE => ~1
# Line 60  Line 61 
61           | joins (x::xs) = GC.join(x, joins xs)           | joins (x::xs) = GC.join(x, joins xs)
62    
63         fun initializeTypes() =         fun initializeTypes() =
64             (Intmap.app (fn (r,t) =>             (IntHashTable.appi (fn (r,t) =>
65                 (BitSet.set(hasType,r); A.update(gcTypes, r, t))) gcmap;                 (BitSet.set(hasType,r); A.update(gcTypes, r, t))) gcmap;
66              if zeroR >= 0 then A.update(gcTypes, zeroR, GC.CONST 0) else ()              if zeroR >= 0 then A.update(gcTypes, zeroR, GC.CONST 0) else ()
67             )             )

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

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