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/FLINT/opt/lcontract.sml
[smlnj] / sml / trunk / src / compiler / FLINT / opt / lcontract.sml  
ViewVC logotype

Log of /sml/trunk/src/compiler/FLINT/opt/lcontract.sml

Parent Directory Parent Directory


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

Revision 733 - (view) (download) (annotate) - [select for diffs]
Modified Fri Nov 17 05:13:45 2000 UTC (19 years ago) by blume
File length: 14238 byte(s)
Diff to previous 651 , to selected 17
merged the big housecleaning patch (see HISTORY!)

Revision 651 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jun 1 18:34:03 2000 UTC (19 years, 6 months ago) by monnier
File length: 14230 byte(s)
Diff to previous 504 , to selected 17
bring revisions from the vendor branch to the trunk

Revision 504 - (view) (download) (annotate) - [select for diffs]
Modified Tue Dec 7 18:31:05 1999 UTC (20 years ago) by monnier
File length: 14230 byte(s)
Diff to previous 251 , to selected 17
the 110.25 merge compiles

Revision 251 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 19 02:55:26 1999 UTC (20 years, 7 months ago) by monnier
File length: 14174 byte(s)
Diff to previous 220 , to selected 17
First try at a merge of 110.16

Revision 220 - (view) (download) (annotate) - [select for diffs]
Modified Tue Mar 9 02:15:05 1999 UTC (20 years, 9 months ago) by monnier
File length: 14192 byte(s)
Diff to previous 202 , to selected 17
* opt/split.sml (sexp): don't split HANDLE (it's incorrect).
(funeffect): embryo to detect side-effect free APPs (non-functional).
(splitThreshold): to put a cap on inlining.
(stfn): don't bother splitting inlinable TFNs.
* opt/fixfix.sml (curry): fixed bug when uncurrying cooked functions.
* opt/fcontract.sml (fcFun):  fix bug when undertaking mut-rec functions.
* main/flintcomp.sml:  added `recover' to help debugging.
updated the fold to allow extraction of Fi and return it at the end.
* lsplit/ls-inline.sml (oneBranch): fixed the wrapper function.
* flint/flintutil.sml (freevars):  forgot to count the arg of SWITCH.
* flint/flint.sig:  added a tfkind to TFN (only inlining for now).
* main/control.sml: new file. Moved from TopLevel/viscomp/control.sml
(splitThreshold): new var.
* TopLevel/viscomp/control.sig (FLINT.printFctTypes): to reduce clutter.
(splitThreshold): to control splitting agressiveness.
* TopLevel/viscomp/control.sml:  moved substructs outside so that clients
  can refer to them directly (rather than through Control.Foo) to reduce
  spurious dependencies.
* TopLevel/main/{codes,compile}: call `split' from flintcomp, not compile.
* kernel/ltyextern.sml (tnarrow), reps/{reify,rttype,typeoper}.sml:
  flatten arguments when reifying them since the pretty-printer doesn't
  know how to deal with flattened reified TFNs.

Revision 202 - (view) (download) (annotate) - [select for diffs]
Modified Sun Dec 13 02:29:45 1998 UTC (21 years ago) by monnier
File length: 14177 byte(s)
Diff to previous 197 , to selected 17
Added IH_MAYBE to allow more selective inlining.

Revision 197 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 22 01:25:23 1998 UTC (21 years ago) by monnier
File length: 14222 byte(s)
Diff to previous 190 , to selected 17
Merged in Bratin's typelifting and Chris' named tvars.
FLINT is now using tvars from the first lcontract all the way to cps.

* reps/rttype.sml: changes from Bratin.
(rtLexp): define the NVAR case (return the tvar as an lvar).
* opt/[fl]contract.sml: removed the restriction on inlining at the same
  deBruijn depth.
* opt/lift.sml: new file for typelifting.
* flint/flintutil.sml (copy): added tvar renaming.
* flint/tvarcvt.sml: new file for named tvar <-> deBruijn conversions.

Revision 190 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 19 21:01:17 1998 UTC (21 years ago) by monnier
File length: 14894 byte(s)
Diff to previous 184 , to selected 17
* opt/optutils.sml (id): removed.  That was stupid.
* opt/collect.sml: drop support for actuals (was only used for cstargs).
* opt/lcontract.sml (lpfd): reset the inline bit to a safe value.
* opt/fcontract.sml (cstargs): eliminated.  Might reappear in a
  specialization phase some day.
(inline): turned off unrolling because it's buggy.
(APP): use the new ifs, damit!

Revision 184 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 8 21:18:20 1998 UTC (21 years, 1 month ago) by monnier
File length: 14893 byte(s)
Diff to previous 118 , to selected 17
* added basic unrolling support
* changed fkind to have most annotations valid on
  functors as well.  It also adds a loopkind annotation as well as extends
  the inline boolean into a three-way alternative.
* switched to a continuation passing style to implement the
  let-associativity rule in a better way.

Revision 118 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jun 5 21:38:17 1998 UTC (21 years, 6 months ago) by monnier
File length: 14911 byte(s)
Diff to previous 95 , to selected 17
merged in 110.7 changes

Revision 95 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 13 00:49:12 1998 UTC (21 years, 7 months ago) by monnier
File length: 14998 byte(s)
Diff to previous 72 , to selected 17
merged with 110.5

Revision 72 - (view) (download) (annotate) - [select for diffs]
Modified Sun Apr 5 19:07:40 1998 UTC (21 years, 8 months ago) by monnier
File length: 14894 byte(s)
Diff to previous 71 , to selected 17
cleaned up the previous merge

Revision 71 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 3 01:57:57 1998 UTC (21 years, 8 months ago) by monnier
File length: 15862 byte(s)
Diff to previous 61 , to selected 17
merged in Zhong's 110.4

Revision 61 - (view) (download) (annotate) - [select for diffs]
Modified Mon Mar 30 19:27:36 1998 UTC (21 years, 8 months ago) by league
File length: 13506 byte(s)
Diff to previous 46 , to selected 17
just added a comment.  there is apparently a subtle bug in inlining
across different depths.  it causes a type error in a FIX node when
compiling CodeGen/cpscompile/mkRecord.sml.

Revision 46 - (view) (download) (annotate) - [select for diffs]
Modified Sun Mar 22 20:11:09 1998 UTC (21 years, 8 months ago) by monnier
File length: 12538 byte(s)
Copied from: sml/branches/SMLNJ/src/compiler/FLINT/opt/lcontract.sml revision 45
Diff to previous 45 , to selected 17
This commit was generated by cvs2svn to compensate for changes in r45,
which included commits to RCS files with non-trunk default branches.

Revision 45 - (view) (download) (annotate) - [select for diffs]
Modified Sun Mar 22 20:11:09 1998 UTC (21 years, 8 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/opt/lcontract.sml
File length: 12538 byte(s)
Diff to previous 24 , to selected 17
*** empty log message ***

Revision 24 - (view) (download) (annotate) - [select for diffs]
Modified Thu Mar 12 00:49:58 1998 UTC (21 years, 9 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/opt/lcontract.sml
File length: 9239 byte(s)
Diff to previous 17
*** empty log message ***

Revision 17 - (view) (download) (annotate) - [selected]
Modified Wed Mar 11 21:00:18 1998 UTC (21 years, 9 months ago) by
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/opt/lcontract.sml
File length: 12538 byte(s)
Diff to previous 16
This commit was manufactured by cvs2svn to create branch 'SMLNJ'.

Revision 16 - (view) (download) (annotate) - [select for diffs]
Added Wed Mar 11 21:00:04 1998 UTC (21 years, 9 months ago) by monnier
File length: 12538 byte(s)
Diff to selected 17
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