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

Log of /sml/trunk/src/compiler/FLINT/main/flintcomp.sml

Parent Directory Parent Directory


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

Revision 879 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jul 19 18:59:38 2001 UTC (18 years, 3 months ago) by blume
File length: 8985 byte(s)
Diff to previous 818 , to selected 71
extensive organizational changes

Revision 818 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 4 20:58:47 2001 UTC (18 years, 5 months ago) by blume
File length: 9049 byte(s)
Diff to previous 699 , to selected 71
merging changes from devel branch and fixing up some earlier mistakes
(see HISTORY)

Revision 699 - (view) (download) (annotate) - [select for diffs]
Modified Mon Aug 21 22:13:39 2000 UTC (19 years, 2 months ago) by monnier
File length: 9018 byte(s)
Diff to previous 651 , to selected 71
(FLINTComp.flintcomp): Convert named type vars
in `fi' back into deBruijn indices since this is still the
representation used outside of flintcomp (i.e. in LSplitInline).

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

Revision 625 - (view) (download) (annotate) - [select for diffs]
Modified Sat Apr 22 23:21:36 2000 UTC (19 years, 6 months ago) by monnier
File length: 9002 byte(s)
Diff to previous 604 , to selected 71
* opt/abcopt.sml: New file.
* main/flintcomp.sml: Change `Compiler' to `FLINT' or `CPS' in the
name of phases printed by Compiler.Stats.
(abcopt): New phase.
* viscomp-core.cm: Add FLINT.opt/abcopt.sml.

Revision 604 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 7 13:53:08 2000 UTC (19 years, 6 months ago) by monnier
File length: 8993 byte(s)
Diff to previous 532 , to selected 71
* opt/switchoff.sml: Remove.
* reps/equal.sml: Rewritten to generate more CPS-like code.
* opt/fcontract.sml (fcLet): re-introduced the branch/switch code,
but without the deadly multiple traversals.
* */control.sml: Less flintopt and more cpsopt.

Revision 532 - (view) (download) (annotate) - [select for diffs]
Modified Thu Feb 10 21:24:50 2000 UTC (19 years, 8 months ago) by dtelle
File length: 9304 byte(s)
Diff to previous 506 , to selected 71
*** empty log message ***

Revision 506 - (view) (download) (annotate) - [select for diffs]
Modified Fri Dec 10 00:15:35 1999 UTC (19 years, 10 months ago) by monnier
File length: 8908 byte(s)
Diff to previous 489 , to selected 71
The compiler now compiles to a fix point but "split" still
doesn't work because of a problem with the pickler.

Revision 489 - (view) (download) (annotate) - [select for diffs]
Modified Tue Nov 23 12:55:00 1999 UTC (19 years, 10 months ago) by monnier
File length: 8722 byte(s)
Diff to previous 422 , to selected 71
somewhat functional

Revision 422 - (view) (download) (annotate) - [select for diffs]
Modified Sun Sep 5 22:49:38 1999 UTC (20 years, 1 month ago) by monnier
File length: 8702 byte(s)
Diff to previous 259 , to selected 71
merged in 110.19 and 110.20.
Conflicts resolved, but it probably doesn't compile yet.

Revision 259 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 22 09:30:22 1999 UTC (20 years, 6 months ago) by monnier
File length: 8822 byte(s)
Diff to previous 251 , to selected 71
turned the CPS optimizer back on and tamed the FLINT inlining

Revision 251 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 19 02:55:26 1999 UTC (20 years, 6 months ago) by monnier
File length: 8669 byte(s)
Diff to previous 220 , to selected 71
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, 7 months ago) by monnier
File length: 9404 byte(s)
Diff to previous 216 , to selected 71
* 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 216 - (view) (download) (annotate) - [select for diffs]
Modified Fri Feb 26 12:55:26 1999 UTC (20 years, 7 months ago) by monnier
File length: 8659 byte(s)
Diff to previous 213 , to selected 71
* opt/split.sml: seriously reworked.  Now splits TFNs as well.
* kernel/primop.sml (effect): removed DEREF and MAKEREF from the pure
  primops.
* flint/flintutil.sml (copy): sort the type-map since {lt,tc}_subst
  actually expects it to be sorted.
* kernel/ltyextern.{sml,sig} (lt_nvpoly): new function (digged from
  recover.sml to build a LT_POLY in the case of named tvars.
* opt/recover.sml: removed unused depth arguments left behind from before
  we switched to named tvars.
(addLty): added for the benefit of opt/split.sml
(lt_nvpoly): moved to ltyextern.sml

Revision 213 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jan 15 21:18:35 1999 UTC (20 years, 9 months ago) by monnier
File length: 8547 byte(s)
Diff to previous 202 , to selected 71
merged in 110.10

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

Revision 198 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 22 02:11:29 1998 UTC (20 years, 11 months ago) by monnier
File length: 9399 byte(s)
Diff to previous 197 , to selected 71
*** empty log message ***

Revision 197 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 22 01:25:23 1998 UTC (20 years, 11 months ago) by monnier
File length: 9338 byte(s)
Diff to previous 191 , to selected 71
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 191 - (view) (download) (annotate) - [select for diffs]
Modified Fri Nov 20 02:01:27 1998 UTC (20 years, 11 months ago) by monnier
File length: 8991 byte(s)
Diff to previous 189 , to selected 71
* opt/loopify.sml: new file
* cps/convert.sml: added code to take advantage of LK_WHILE loops.

Revision 189 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 15 22:29:42 1998 UTC (20 years, 11 months ago) by monnier
File length: 8886 byte(s)
Diff to previous 186 , to selected 71
*** empty log message ***

Revision 186 - (view) (download) (annotate) - [select for diffs]
Modified Wed Nov 11 05:24:43 1998 UTC (20 years, 11 months ago) by monnier
File length: 7970 byte(s)
Diff to previous 185 , to selected 71
* opt/collect.sml: switched back to a read-only collect phase.  Also try
  to export the info to allow fcontract to circumvent some of the get calls.

Revision 185 - (view) (download) (annotate) - [select for diffs]
Modified Tue Nov 10 21:01:05 1998 UTC (20 years, 11 months ago) by monnier
File length: 7912 byte(s)
Diff to previous 184 , to selected 71
* opt/fcontract.sml: take advantage of single-arm SWITCH (aka decon)
(SWITCH(CON)): just compare the conreps because types may differ (?)
(inlineWitness): ugly hack used to figure out if inlining happened,
  in order to decide whether to keep the inline bit or not (in cfun).

Revision 184 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 8 21:18:20 1998 UTC (20 years, 11 months ago) by monnier
File length: 7867 byte(s)
Diff to previous 164 , to selected 71
* 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 164 - (view) (download) (annotate) - [select for diffs]
Modified Sat Oct 31 01:03:30 1998 UTC (20 years, 11 months ago) by monnier
File length: 7786 byte(s)
Diff to previous 163 , to selected 71
* opt/fcontract.sml (dropcstargs): replace constant args by the constant.

* opt/fixfix.sml (curry): correctly handle "imposible" cases.

* opt/collect.sml: completely revisited:  no distinction between
  internal/external uses, dead-code elimination done right away.  This
  makes fcontract a little simpler.

Revision 163 - (view) (download) (annotate) - [select for diffs]
Modified Thu Oct 29 21:00:27 1998 UTC (20 years, 11 months ago) by monnier
File length: 7684 byte(s)
Diff to previous 162 , to selected 71
added dropping of dead-arguments

Revision 162 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 27 22:16:21 1998 UTC (20 years, 11 months ago) by monnier
File length: 7421 byte(s)
Diff to previous 158 , to selected 71
*** empty log message ***

Revision 158 - (view) (download) (annotate) - [select for diffs]
Modified Mon Oct 12 02:41:33 1998 UTC (21 years ago) by monnier
File length: 6080 byte(s)
Diff to previous 122 , to selected 71
*** empty log message ***

Revision 122 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jun 6 15:05:38 1998 UTC (21 years, 4 months ago) by monnier
File length: 6000 byte(s)
Diff to previous 118 , to selected 71
addition of fcontract and fixfix and Control.FLINT

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

Revision 109 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 29 02:12:55 1998 UTC (21 years, 4 months ago) by monnier
File length: 6020 byte(s)
Diff to previous 102 , to selected 71
merged in 110.6 changes

Revision 102 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 14 05:53:10 1998 UTC (21 years, 5 months ago) by monnier
File length: 5927 byte(s)
Diff to previous 95 , to selected 71
merged in 110.5.1 from Zhong

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

Revision 84 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 6 22:35:33 1998 UTC (21 years, 5 months ago) by monnier
File length: 4748 byte(s)
Diff to previous 71
*** empty log message ***

Revision 71 - (view) (download) (annotate) - [selected]
Modified Fri Apr 3 01:57:57 1998 UTC (21 years, 6 months ago) by monnier
File length: 4741 byte(s)
Diff to previous 64
merged in Zhong's 110.4

Revision 64 - (view) (download) (annotate) - [select for diffs]
Modified Tue Mar 31 05:26:51 1998 UTC (21 years, 6 months ago) by monnier
File length: 6055 byte(s)
Diff to previous 59 , to selected 71
dummy

Revision 59 - (view) (download) (annotate) - [select for diffs]
Modified Mon Mar 30 19:24:59 1998 UTC (21 years, 6 months ago) by league
File length: 5645 byte(s)
Diff to previous 51 , to selected 71
Renaming of Control.CG flags related to type-checking.  Now we have
`checkFlint', `checkKinds', and `checkDatatypes'.

Revision 51 - (view) (download) (annotate) - [select for diffs]
Modified Sun Mar 22 23:08:44 1998 UTC (21 years, 7 months ago) by monnier
File length: 5426 byte(s)
Diff to previous 46 , to selected 71
split printLambda into printLambda and printFlint

Revision 46 - (view) (download) (annotate) - [select for diffs]
Modified Sun Mar 22 20:11:09 1998 UTC (21 years, 7 months ago) by monnier
File length: 5427 byte(s)
Copied from: sml/branches/SMLNJ/src/compiler/FLINT/main/flintcomp.sml revision 45
Diff to previous 45 , to selected 71
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, 7 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/main/flintcomp.sml
File length: 5427 byte(s)
Diff to previous 17 , to selected 71
*** empty log message ***

Revision 17 - (view) (download) (annotate) - [select for diffs]
Modified Wed Mar 11 21:00:18 1998 UTC (21 years, 7 months ago) by
Original Path: sml/branches/SMLNJ/src/compiler/FLINT/main/flintcomp.sml
File length: 4627 byte(s)
Diff to previous 16 , to selected 71
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, 7 months ago) by monnier
File length: 4627 byte(s)
Diff to selected 71
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