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/releases/release-110.64/ra/ra-core.sml
ViewVC logotype

Log of /MLRISC/releases/release-110.64/ra/ra-core.sml

Parent Directory Parent Directory


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

Revision 2656 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 31 22:17:39 2007 UTC (12 years, 2 months ago) by blume
File length: 50267 byte(s)
Diff to previous 2126
Release 110.64

Revision 2126 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 2 16:11:29 2006 UTC (12 years, 9 months ago) by blume
Original Path: MLRISC/trunk/ra/ra-core.sml
File length: 50267 byte(s)
Diff to previous 1126
moved MLRISC to toplevel

Revision 1126 - (view) (download) (annotate) - [select for diffs]
Modified Thu Mar 7 21:16:28 2002 UTC (17 years, 5 months ago) by blume
Original Path: sml/trunk/src/MLRISC/ra/ra-core.sml
File length: 50267 byte(s)
Diff to previous 1125
implemented generic Controls module and used it for
all compiler flags/tuneable knobs/...;
more command-line options accepted (for setting the above controls);
some minor bug fixes

Revision 1125 - (view) (download) (annotate) - [select for diffs]
Modified Thu Mar 7 21:04:13 2002 UTC (17 years, 5 months ago) by jhr
Original Path: sml/trunk/src/MLRISC/ra/ra-core.sml
File length: 50160 byte(s)
Diff to previous 1065
  Changed representation of probabilities and frequencies.

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/ra/ra-core.sml
File length: 50205 byte(s)
Diff to previous 1053
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 1053 - (view) (download) (annotate) - [select for diffs]
Modified Wed Feb 6 19:11:13 2002 UTC (17 years, 6 months ago) by george
Original Path: sml/trunk/src/MLRISC/ra/ra-core.sml
File length: 50898 byte(s)
Diff to previous 958
   Pulled out various utility modules that were embedded in the modules
   of the register allocator. I need these modules for other purposes, but
   they are not complete enough to put into a library (just yet).

Revision 958 - (view) (download) (annotate) - [select for diffs]
Modified Fri Oct 12 03:54:43 2001 UTC (17 years, 10 months ago) by george
Original Path: sml/trunk/src/MLRISC/ra/ra-core.sml
File length: 61439 byte(s)
Diff to previous 744
The representation of a program point never expected to see more
than 65536 instructions in a basic block!

Revision 744 - (view) (download) (annotate) - [select for diffs]
Modified Fri Dec 8 04:11:42 2000 UTC (18 years, 8 months ago) by leunga
Original Path: sml/trunk/src/MLRISC/ra/ra-core.sml
File length: 61430 byte(s)
Diff to previous 733

   A CVS update record!

   Changed type cell from int to datatype, and numerous other changes.
   Affect every client of MLRISC.  Lal says this can be bootstrapped on all
   machines.  See smlnj/HISTORY for details.

   Tag:  leunga-20001207-cell-monster-hack

Revision 733 - (view) (download) (annotate) - [select for diffs]
Modified Fri Nov 17 05:13:45 2000 UTC (18 years, 9 months ago) by blume
Original Path: sml/trunk/src/MLRISC/ra/ra-core.sml
File length: 59566 byte(s)
Diff to previous 705
merged the big housecleaning patch (see HISTORY!)

Revision 705 - (view) (download) (annotate) - [select for diffs]
Modified Wed Sep 27 18:44:44 2000 UTC (18 years, 10 months ago) by george
Original Path: sml/trunk/src/MLRISC/ra/ra-core.sml
File length: 59422 byte(s)
Diff to previous 651
  changed the node status datatype

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/ra/ra-core.sml
File length: 60853 byte(s)
Diff to previous 648
bring revisions from the vendor branch to the trunk

Revision 648 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 25 21:28:21 2000 UTC (19 years, 2 months ago) by leunga
Original Path: sml/trunk/src/MLRISC/ra/ra-core.sml
File length: 60853 byte(s)
Diff to previous 628

   Fixed a non-critical bug in the register allocator

Revision 628 - (view) (download) (annotate) - [select for diffs]
Modified Tue Apr 25 21:03:34 2000 UTC (19 years, 3 months ago) by leunga
Original Path: sml/trunk/src/MLRISC/ra/ra-core.sml
File length: 60840 byte(s)
Diff to previous 624

1. Alpha

   PSEUDOARITH was missing in AlphaRewrite.  This causes an endless loop
   in C--.

2. RA

   Added a flag "ra-dump-size" to print out the size of the flowgraph
   and the interference graph.

Revision 624 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 21 03:06:21 2000 UTC (19 years, 4 months ago) by leunga
Original Path: sml/trunk/src/MLRISC/ra/ra-core.sml
File length: 60800 byte(s)
Diff to previous 585

   This update synchronizes my repository with Yale's.  Most of these
changes are related to C--, Moby, and my optimizations.  It should have
little impact on SML/NJ.

   CVS tag leunga-20000420-ssa-c---stuff

Revision 585 - (view) (download) (annotate) - [select for diffs]
Modified Wed Mar 29 23:55:35 2000 UTC (19 years, 4 months ago) by leunga
Original Path: sml/trunk/src/MLRISC/ra/ra-core.sml
File length: 61409 byte(s)
Diff to previous 579

   This update contains major changes to the code generator and various
back ends.  Please see the entry leunga-20000327-mlriscGen_hppa_alpha_x86
in the file sml/HISTORY for details.

Revision 579 - (view) (download) (annotate) - [select for diffs]
Modified Wed Mar 22 06:33:08 2000 UTC (19 years, 5 months ago) by leunga
Original Path: sml/trunk/src/MLRISC/ra/ra-core.sml
File length: 71725 byte(s)
Diff to previous 545


1. X86 fixes/changes

   a.  x86Rewrite bug with MUL3 (found by Lal)
   b.  Added the instructions FSTS, FSTL

2. PA-RISC fixes/changes

   a.  B label should not be a delay slot candidate!  Why did this work?
   b.  ADDT(32, REG(32, r), LI n) now generates one instruction instead of two,
       as it should be.
   c.  The assembly syntax for fstds and fstdd was wrong.
   d.  Added the composite instruction COMICLR/LDO, which is the immediate
       operand variant of COMCLR/LDO.

3. Generic MLRISC

   a.  shuffle.sml rewritten to be slightly more efficient
   b.  DIV bug in mltree-simplify fixed (found by Fermin)

4. Register Allocator

   a.  I now release the interference graph earlier during spilling.
       May improve memory usage.

Revision 545 - (view) (download) (annotate) - [select for diffs]
Modified Thu Feb 24 13:56:44 2000 UTC (19 years, 5 months ago) by george
Original Path: sml/trunk/src/MLRISC/ra/ra-core.sml
File length: 71182 byte(s)
Diff to previous 499
  Changes to MLTREE

Revision 499 - (view) (download) (annotate) - [select for diffs]
Modified Tue Dec 7 15:44:50 1999 UTC (19 years, 8 months ago) by monnier
Original Path: sml/trunk/src/MLRISC/ra/ra-core.sml
File length: 69018 byte(s)
Copied from: sml/branches/SMLNJ/src/MLRISC/ra/ra-core.sml revision 498
Diff to previous 498
This commit was generated by cvs2svn to compensate for changes in r498,
which included commits to RCS files with non-trunk default branches.

Revision 498 - (view) (download) (annotate) - [select for diffs]
Modified Tue Dec 7 15:44:50 1999 UTC (19 years, 8 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/MLRISC/ra/ra-core.sml
File length: 69018 byte(s)
Diff to previous 475
version 110.25

Revision 475 - (view) (download) (annotate) - [select for diffs]
Modified Wed Nov 10 22:59:58 1999 UTC (19 years, 9 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/MLRISC/ra/ra-core.sml
File length: 59364 byte(s)
Diff to previous 469
version 110.24

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/ra/ra-core.sml
File length: 55998 byte(s)
Diff to previous 428
version 110.23

Revision 428 - (view) (download) (annotate) - [select for diffs]
Modified Wed Sep 8 09:47:00 1999 UTC (19 years, 11 months ago) by
Original Path: sml/branches/SMLNJ/src/MLRISC/ra/ra-core.sml
File length: 20051 byte(s)
Copied from: sml/trunk/src/MLRISC/ra/ra-core.sml revision 427
Diff to previous 427
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 427 - (view) (download) (annotate) - [select for diffs]
Added Wed Sep 8 09:40:08 1999 UTC (19 years, 11 months ago) by monnier
Original Path: sml/trunk/src/MLRISC/ra/ra-core.sml
File length: 20051 byte(s)
Initial revision

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