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/branches/primop-branch-gkuan/compiler/core.cm
ViewVC logotype

Log of /sml/branches/primop-branch-gkuan/compiler/core.cm

Parent Directory Parent Directory


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

Revision 2948 - (view) (download) (annotate) - [select for diffs]
Modified Sat Feb 16 18:11:07 2008 UTC (12 years, 6 months ago) by gkuan
File length: 8439 byte(s)
Diff to previous 2788
typestp.sml

Revision 2788 - (view) (download) (annotate) - [select for diffs]
Modified Sat Sep 29 05:49:51 2007 UTC (12 years, 10 months ago) by gkuan
File length: 8396 byte(s)
Diff to previous 2787
first pass translate revision to recompute functor formals -- incomplete

Revision 2787 - (view) (download) (annotate) - [select for diffs]
Modified Sat Sep 29 05:18:54 2007 UTC (12 years, 10 months ago) by gkuan
File length: 8329 byte(s)
Diff to previous 2751
Creating private branch of sml/branches/primop-branch-3 for experimental Translate rewrite

Revision 2751 - (view) (download) (annotate) - [select for diffs]
Modified Tue Sep 11 21:57:29 2007 UTC (12 years, 11 months ago) by gkuan
Original Path: sml/branches/primop-branch-3/compiler/core.cm
File length: 8329 byte(s)
Diff to previous 2746
Added RepTycProps module for computing tycpaths just before translation. Saving functor parameter dummy instantiation as paramEnts in resp. fctEntity and Lambda

Revision 2746 - (view) (download) (annotate) - [select for diffs]
Modified Thu Aug 30 19:21:14 2007 UTC (12 years, 11 months ago) by dbm
Original Path: sml/branches/primop-branch-3/compiler/core.cm
File length: 8278 byte(s)
Diff to previous 2745
FLINT/kernel reorganization - step 2, moving, adding files

Revision 2745 - (view) (download) (annotate) - [select for diffs]
Modified Thu Aug 30 18:56:33 2007 UTC (12 years, 11 months ago) by dbm
Original Path: sml/branches/primop-branch-3/compiler/core.cm
File length: 8272 byte(s)
Diff to previous 2740
reorganization of FLINT/kernel, step 1

Revision 2740 - (view) (download) (annotate) - [select for diffs]
Modified Tue Aug 21 21:05:34 2007 UTC (12 years, 11 months ago) by gkuan
Original Path: sml/branches/primop-branch-3/compiler/core.cm
File length: 8160 byte(s)
Diff to previous 2575
Defunctorized Elaborator (i.e., elabtop, elabmod, sigmatch, evalentity, and instantiate) by using types.sml pkind representation instead of FLINT tkind

Revision 2575 - (view) (download) (annotate) - [select for diffs]
Modified Mon May 21 21:02:50 2007 UTC (13 years, 2 months ago) by dbm
Original Path: sml/branches/primop-branch-3/compiler/core.cm
File length: 8371 byte(s)
Diff to previous 2572
added FLINT/main/control.sig, defining FLINTCONTROL, which is now used in TopLevel/main/control.sig

Revision 2572 - (view) (download) (annotate) - [select for diffs]
Modified Sun May 20 16:15:51 2007 UTC (13 years, 2 months ago) by dbm
Original Path: sml/branches/primop-branch-3/compiler/core.cm
File length: 8348 byte(s)
Diff to previous 2222
renamed pickmod-new.sml and unpickmod-new.sml (deleting -new) and updated compiler/MAP,INDEX

Revision 2222 - (view) (download) (annotate) - [select for diffs]
Modified Tue Nov 28 22:02:39 2006 UTC (13 years, 8 months ago) by blume
Original Path: sml/branches/primop-branch-3/compiler/core.cm
File length: 8414 byte(s)
Diff to previous 2221
merged all changes from primop-branch-2

Revision 2221 - (view) (download) (annotate) - [select for diffs]
Modified Tue Nov 28 21:56:55 2006 UTC (13 years, 8 months ago) by blume
Original Path: sml/branches/primop-branch-3/compiler/core.cm
File length: 8204 byte(s)
Diff to previous 2162
create primop branch 3 as future target to merge changes from primop branch 2

Revision 2162 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 2 21:20:47 2006 UTC (13 years, 9 months ago) by blume
Original Path: sml/trunk/compiler/core.cm
File length: 8204 byte(s)
Diff to previous 1863
eliminated src dir

Revision 1863 - (view) (download) (annotate) - [select for diffs]
Modified Tue Nov 15 22:38:49 2005 UTC (14 years, 9 months ago) by mblume
Original Path: sml/trunk/src/compiler/core.cm
File length: 8204 byte(s)
Diff to previous 1785
improved the way certain libraries are bound into the compiler

Revision 1785 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 4 15:51:20 2005 UTC (15 years, 3 months ago) by allenleung
Original Path: sml/trunk/src/compiler/core.cm
File length: 8163 byte(s)
Diff to previous 1655
     GC protocol checking phase added.

Revision 1655 - (view) (download) (annotate) - [select for diffs]
Modified Mon Oct 18 21:45:30 2004 UTC (15 years, 10 months ago) by mblume
Original Path: sml/trunk/src/compiler/core.cm
File length: 8131 byte(s)
Diff to previous 1653
eliminated group owners; added warning

Revision 1653 - (view) (download) (annotate) - [select for diffs]
Modified Fri Oct 15 20:45:02 2004 UTC (15 years, 10 months ago) by mblume
Original Path: sml/trunk/src/compiler/core.cm
File length: 8165 byte(s)
Diff to previous 1652
further TDP reorganization; coverage tool added

Revision 1652 - (view) (download) (annotate) - [select for diffs]
Modified Thu Oct 14 22:38:54 2004 UTC (15 years, 10 months ago) by mblume
Original Path: sml/trunk/src/compiler/core.cm
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 (15 years, 10 months ago) by mblume
Original Path: sml/trunk/src/compiler/core.cm
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 (15 years, 10 months ago) by mblume
Original Path: sml/trunk/src/compiler/core.cm
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 (15 years, 11 months ago) by mblume
Original Path: sml/trunk/src/compiler/core.cm
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 (16 years, 1 month ago) by mblume
Original Path: sml/trunk/src/compiler/core.cm
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 (16 years, 3 months ago) by mblume
Original Path: sml/trunk/src/compiler/core.cm
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 (16 years, 11 months ago) by mblume
Original Path: sml/trunk/src/compiler/core.cm
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 (17 years, 9 months ago) by blume
Original Path: sml/trunk/src/compiler/core.cm
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 (18 years, 4 months ago) by leunga
Original Path: sml/trunk/src/compiler/core.cm
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 (18 years, 4 months ago) by george
Original Path: sml/trunk/src/compiler/core.cm
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 (18 years, 4 months ago) by george
Original Path: sml/trunk/src/compiler/core.cm
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 (18 years, 5 months ago) by blume
Original Path: sml/trunk/src/compiler/core.cm
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 (18 years, 5 months ago) by leunga
Original Path: sml/trunk/src/compiler/core.cm
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 (18 years, 8 months ago) by shao
Original Path: sml/trunk/src/compiler/core.cm
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 (18 years, 8 months ago) by shao
Original Path: sml/trunk/src/compiler/core.cm
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 (18 years, 8 months ago) by george
Original Path: sml/trunk/src/compiler/core.cm
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 (18 years, 11 months ago) by george
Original Path: sml/trunk/src/compiler/core.cm
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 (18 years, 11 months ago) by blume
Original Path: sml/trunk/src/compiler/core.cm
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 (18 years, 11 months ago) by blume
Original Path: sml/trunk/src/compiler/core.cm
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 (19 years ago) by blume
Original Path: sml/trunk/src/compiler/core.cm
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 (19 years, 1 month ago) by blume
Original Path: sml/trunk/src/compiler/core.cm
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