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 /sml/trunk/src/compiler/core.cm
[smlnj] / sml / trunk / src / compiler / core.cm  
ViewVC logotype

Log of /sml/trunk/src/compiler/core.cm

Parent Directory Parent Directory


Sticky Revision:
(Current path doesn't exist after revision 2161)

Revision 1652 - (view) (download) (annotate) - [select for diffs]
Modified Thu Oct 14 22:38:54 2004 UTC (14 years, 9 months ago) by mblume
File length: 8187 byte(s)
Diff to previous 1639
overhaul of Core and SMLofNJ support for TDP

Revision 1639 - (view) (download) (annotate) - [select for diffs]
Modified Thu Sep 30 15:53:06 2004 UTC (14 years, 9 months ago) by mblume
File length: 8165 byte(s)
Diff to previous 1637
cleanup of the auto-version stuff

Revision 1637 - (view) (download) (annotate) - [select for diffs]
Modified Wed Sep 29 18:50:52 2004 UTC (14 years, 9 months ago) by mblume
File length: 8508 byte(s)
Diff to previous 1617
automagic generation of version.sml

Revision 1617 - (view) (download) (annotate) - [select for diffs]
Modified Tue Aug 31 22:15:48 2004 UTC (14 years, 10 months ago) by mblume
File length: 8161 byte(s)
Diff to previous 1551
added some exports to core.cm

Revision 1551 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jul 16 03:26:38 2004 UTC (15 years ago) by mblume
File length: 7858 byte(s)
Diff to previous 1486
moved dummy implementation of c-calls into MLRISC tree

Revision 1486 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 11 17:04:01 2004 UTC (15 years, 2 months ago) by mblume
File length: 7912 byte(s)
Diff to previous 1347
extended some export lists

Revision 1347 - (view) (download) (annotate) - [select for diffs]
Modified Thu Aug 28 21:59:15 2003 UTC (15 years, 10 months ago) by mblume
File length: 7349 byte(s)
Diff to previous 1288
implemented IntInf in Basis and compiler;
new version number; new bootfiles

Revision 1288 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 29 14:48:54 2002 UTC (16 years, 8 months ago) by blume
File length: 7215 byte(s)
Diff to previous 1174
exported Typecheck

Revision 1174 - (view) (download) (annotate) - [select for diffs]
Modified Sat Mar 23 21:14:40 2002 UTC (17 years, 3 months ago) by leunga
File length: 7193 byte(s)
Diff to previous 1173

    Added some new primops for creating/manipulating temporary "C" objects
    allocated on the ml heap.

Revision 1173 - (view) (download) (annotate) - [select for diffs]
Modified Sat Mar 23 04:18:51 2002 UTC (17 years, 3 months ago) by george
File length: 7158 byte(s)
Diff to previous 1168
Edge colors  during graphical viewing is based on
execution frequency of the edge. I used the same
color scale employed in yahoo weather maps.

Revision 1168 - (view) (download) (annotate) - [select for diffs]
Modified Fri Mar 22 19:19:32 2002 UTC (17 years, 3 months ago) by george
File length: 7493 byte(s)
Diff to previous 1145
Implemented the Ball-Larus branch prediction-heuristic, and
incorporated graphical viewers for control flow graphs.

Ball-Larus Heuristic:
---------------------
See the file compiler/CodeGen/cpscompile/cpsBranchProb.sml.

By design it uses the Dempster-Shafer theory for combining
probabilities.  For example, in the function:

    fun f(n,acc) = if n = 0 then acc else f(n-1, n*acc)

the ball-larus heuristics predicts that the n=0 is unlikely
(OH-heuristic), and the 'then' branch is unlikely because of the
RH-heuristic -- giving the 'then' branch an even lower combined
probability using the Dempster-Shater theory.

Finally, John Reppy's loop analysis in MLRISC, further lowers the
probability of the 'then' branch because of the loop in the else
branch.


Graphical Viewing:
------------------
I merely plugged in Allen's graphical viewers into the compiler. The
additional code is not much. At the top level, saying:

	Control.MLRISC.getFlag "cfg-graphical-view" := true;

will display the graphical view of the control flow graph just before
back-patching.  daVinci must be in your path for this to work. If
daVinci is not available, then the default viewer can be changed
using:

	Control.MLRISC.getString "viewer"

which can be set to "dot" or "vcg" for the corresponding viewers. Of
course, these viewers must be in your path.

The above will display the compilation unit at the level of clusters,
many of which are small, boring, and un-interesting. Also setting:

	Control.MLRISC.getInt "cfg-graphical-view_size"

will display clusters that are larger than the value set by the above.

Revision 1145 - (view) (download) (annotate) - [select for diffs]
Modified Fri Mar 15 02:30:53 2002 UTC (17 years, 4 months ago) by blume
File length: 7097 byte(s)
Diff to previous 1094
moved Controls module into its own library;
changed Controls interface to make it saner;
made MLRISC independent of Controls;
minor changes to CM

Revision 1094 - (view) (download) (annotate) - [select for diffs]
Modified Mon Feb 25 09:58:56 2002 UTC (17 years, 4 months ago) by leunga
File length: 7079 byte(s)
Diff to previous 1008

    A new CPS spill phase.  Compilation of large structures with over
1000 items can now finish before the heat death of the universe.

Revision 1008 - (view) (download) (annotate) - [select for diffs]
Modified Fri Dec 14 21:01:29 2001 UTC (17 years, 7 months ago) by shao
File length: 7075 byte(s)
Diff to previous 1007
*** empty log message ***

Revision 1007 - (view) (download) (annotate) - [select for diffs]
Modified Fri Dec 14 16:00:02 2001 UTC (17 years, 7 months ago) by shao
File length: 7302 byte(s)
Diff to previous 984
*** empty log message ***

Revision 984 - (view) (download) (annotate) - [select for diffs]
Modified Wed Nov 21 19:00:08 2001 UTC (17 years, 7 months ago) by george
File length: 7075 byte(s)
Diff to previous 909
  Implemented a complete redesign of MLRISC pseudo-ops. Now there
  ought to never be any question of incompatabilities with
  pseudo-op syntax expected by host assemblers.

  For now, only modules supporting GAS syntax are implemented
  but more should follow, such as MASM, and vendor assembler
  syntax, e.g. IBM as, Sun as, etc.

Revision 909 - (view) (download) (annotate) - [select for diffs]
Modified Fri Aug 24 17:48:53 2001 UTC (17 years, 10 months ago) by george
File length: 7087 byte(s)
Diff to previous 905
removed clusters from MLRISC

Revision 905 - (view) (download) (annotate) - [select for diffs]
Modified Thu Aug 23 21:53:02 2001 UTC (17 years, 10 months ago) by blume
File length: 7060 byte(s)
Diff to previous 903
updates to environments, envrefs, interactive loop

Revision 903 - (view) (download) (annotate) - [select for diffs]
Modified Mon Aug 20 19:34:06 2001 UTC (17 years, 10 months ago) by blume
File length: 7321 byte(s)
Diff to previous 902
library debugprof.cm extracted

Revision 902 - (view) (download) (annotate) - [select for diffs]
Modified Wed Aug 15 21:17:05 2001 UTC (17 years, 11 months ago) by blume
File length: 7231 byte(s)
Diff to previous 879
new organization of compiler libraries

Revision 879 - (view) (download) (annotate) - [select for diffs]
Added Thu Jul 19 18:59:38 2001 UTC (18 years ago) by blume
File length: 9989 byte(s)
extensive organizational changes

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