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/x86/mltree/x86-fp.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/x86/mltree/x86-fp.sml

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

revision 895, Tue Jul 31 14:09:21 2001 UTC revision 900, Tue Aug 14 15:10:12 2001 UTC
# Line 391  Line 391 
391      *  5. Sacrifice a goat to make sure things don't go wrong.      *  5. Sacrifice a goat to make sure things don't go wrong.
392      *-----------------------------------------------------------------------*)      *-----------------------------------------------------------------------*)
393     fun run(cluster as F.CLUSTER{blocks, blkCounter, ...}) =     fun run(cluster as F.CLUSTER{blocks, blkCounter, ...}) =
394     let val getCell = C.CellSet.get CB.FP (*extract the fp component of cellset*)     let val getCell = C.getCellsByKind CB.FP (*extract the fp component of cellset*)
395    
396         val stTable = A.tabulate(8, fn n => I.ST(C.ST n))         val stTable = A.tabulate(8, fn n => I.ST(C.ST n))
397    
# Line 433  Line 433 
433          *------------------------------------------------------------------*)          *------------------------------------------------------------------*)
434         val defUse = P.defUse CB.FP   (* def/use properties *)         val defUse = P.defUse CB.FP   (* def/use properties *)
435         val _ = Liveness.liveness{defUse=defUse,         val _ = Liveness.liveness{defUse=defUse,
436                                   updateCell=C.CellSet.update CB.FP,                                   updateCell=C.updateCellsByKind CB.FP,
437                                   getCell=getCell,                                   getCell=getCell,
438                                   blocks=blocks                                   blocks=blocks
439                                  }                                  }
# Line 791  Line 791 
791                     case liveInSet of                     case liveInSet of
792                       [] => ST.stack0                       [] => ST.stack0
793                     | _  =>                     | _  =>
794                       (pr("liveIn="^C.CellSet.toString (!liveIn)^"\n");                       (pr("liveIn="^CB.CellSet.toString (!liveIn)^"\n");
795                        newStack liveInSet                        newStack liveInSet
796                       )                       )
797                 val stackOut = ST.copy stackIn                 val stackOut = ST.copy stackIn
# Line 972  Line 972 
972                         val _ =                         val _ =
973                            if debug then                            if debug then
974                                pr("LiveIn = "^                                pr("LiveIn = "^
975                                  C.CellSet.toString (!liveIn)^                                  CB.CellSet.toString (!liveIn)^
976                                   "\n")                                   "\n")
977                            else ()                            else ()
978    
# Line 1821  Line 1821 
1821             (* Dump the initial code *)             (* Dump the initial code *)
1822             val _ = if debug andalso !debugOn then             val _ = if debug andalso !debugOn then
1823                      (pr("-------- block "^i2s blknum^" ----"^                      (pr("-------- block "^i2s blknum^" ----"^
1824                           C.CellSet.toString (!liveIn)^" "^                           CB.CellSet.toString (!liveIn)^" "^
1825                           ST.stackToString stackIn^"\n");                           ST.stackToString stackIn^"\n");
1826                       dump (!insns)                       dump (!insns)
1827                      )                      )
# Line 1839  Line 1839 
1839             (* Dump translation *)             (* Dump translation *)
1840             val _ = if debug andalso !debugOn then             val _ = if debug andalso !debugOn then
1841                       (pr("-------- translation "^i2s blknum^"----"^                       (pr("-------- translation "^i2s blknum^"----"^
1842                           C.CellSet.toString (!liveIn)^" "^                           CB.CellSet.toString (!liveIn)^" "^
1843                           ST.stackToString stackIn^"\n");                           ST.stackToString stackIn^"\n");
1844                        dump insns';                        dump insns';
1845                        pr("-------- done "^i2s blknum^"----"^                        pr("-------- done "^i2s blknum^"----"^
1846                           C.CellSet.toString (!liveOut)^" "^                           CB.CellSet.toString (!liveOut)^" "^
1847                           ST.stackToString stack^"\n")                           ST.stackToString stack^"\n")
1848                       )                       )
1849                    else ()                    else ()

Legend:
Removed from v.895  
changed lines
  Added in v.900

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