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

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

Parent Directory Parent Directory

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

Revision 604 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 7 13:53:08 2000 UTC (20 years, 7 months ago) by monnier
File length: 1354 byte(s)
Diff to previous 533
* 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 533 - (view) (download) (annotate) - [select for diffs]
Modified Thu Feb 10 21:57:43 2000 UTC (20 years, 9 months ago) by monnier
File length: 1512 byte(s)
Diff to previous 532
*** empty log message ***

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

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

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

Revision 220 - (view) (download) (annotate) - [select for diffs]
Added Tue Mar 9 02:15:05 1999 UTC (21 years, 8 months ago) by monnier
File length: 1417 byte(s)
* 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.

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:

ViewVC Help
Powered by ViewVC 1.0.0