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

SCM Repository

[smlnj] Log of /MLRISC/trunk/visualization/graphLayout.sml
[smlnj] / MLRISC / trunk / visualization / graphLayout.sml  
ViewVC logotype

Log of /MLRISC/trunk/visualization/graphLayout.sml

Parent Directory Parent Directory


Links to HEAD: (view) (download) (annotate)
Sticky Revision:

Revision 2126 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 2 16:11:29 2006 UTC (12 years, 9 months ago) by blume
File length: 1096 byte(s)
Diff to previous 1065
moved MLRISC to toplevel

Revision 1065 - (view) (download) (annotate) - [select for diffs]
Modified Thu Feb 14 15:05:16 2002 UTC (17 years, 6 months ago) by george
Original Path: sml/trunk/src/MLRISC/visualization/graphLayout.sml
File length: 1096 byte(s)
Diff to previous 651
Fixed the MLRISC bug sent by Markus Wenzel regarding the compilation
of Isabelle on the x86.

From Allen:
-----------
 I've found the problem:

     in ra-core.sml, I use the counter "blocked" to keep track of the
     true number of elements in the freeze queue.  When the counter goes
     to zero, I skip examining the queue.  But I've messed up the
     bookkeeping in combine():

         else ();
         case !ucol of
           PSEUDO => (if !cntv > 0 then
                 (if !cntu > 0 then blocked := !blocked - 1 else ();
                                    ^^^^^^^^^^^^^^^^^^^^^^^
                  moveu := mergeMoveList(!movev, !moveu)
                 )
              else ();

     combine() is called to coalesce two nodes u and v.
     I think I was thinking that if the move counts of u and v are both
     greater than zero then after they are coalesced then one node is
     removed from the freeze queue.  Apparently I was thinking that
     both u and v are of low degree, but that's clearly not necessarily true.


02/12/2002:
    Here's the patch.  HOL now compiles.

    I don't know how this impact on performance (compile
    time or runtime).  This bug caused the RA (especially on the x86)
    to go thru the potential spill phase when there are still nodes on the
    freeze queue.

Revision 651 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jun 1 18:34:03 2000 UTC (19 years, 2 months ago) by monnier
Original Path: sml/trunk/src/MLRISC/visualization/graphLayout.sml
File length: 1097 byte(s)
Diff to previous 470
bring revisions from the vendor branch to the trunk

Revision 470 - (view) (download) (annotate) - [select for diffs]
Modified Wed Nov 10 22:42:52 1999 UTC (19 years, 9 months ago) by monnier
Original Path: sml/trunk/src/MLRISC/visualization/graphLayout.sml
File length: 1097 byte(s)
Copied from: sml/branches/SMLNJ/src/MLRISC/visualization/graphLayout.sml revision 469
Diff to previous 469
This commit was generated by cvs2svn to compensate for changes in r469,
which included commits to RCS files with non-trunk default branches.

Revision 469 - (view) (download) (annotate) - [select for diffs]
Modified Wed Nov 10 22:42:52 1999 UTC (19 years, 9 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/MLRISC/visualization/graphLayout.sml
File length: 1097 byte(s)
Diff to previous 411
version 110.23

Revision 411 - (view) (download) (annotate) - [select for diffs]
Modified Fri Sep 3 00:25:03 1999 UTC (19 years, 11 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/MLRISC/visualization/graphLayout.sml
File length: 868 byte(s)
Diff to previous 245
version 110.19

Revision 245 - (view) (download) (annotate) - [select for diffs]
Added Sat Apr 17 18:47:12 1999 UTC (20 years, 4 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/MLRISC/visualization/graphLayout.sml
File length: 788 byte(s)
version 110.16

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

Sort log by:

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