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 626 - (view) (download) (annotate) - [selected]
Modified Sat Apr 22 23:24:24 2000 UTC (21 years, 3 months ago) by monnier
File length: 1404 byte(s)
Diff to previous 622
* opt/flintopt.txt: New file.
* main/control.sml (phases): Move loopify+fixfix to before wrap.
* cpsopt/cpsopt.sml (zeroexpand): New function.
* TopLevel/viscomp/control.sml (cpsopt): Add `zeroexpand' to reduce
RA-blowup when compiling ml.grm.sml.

Revision 622 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 19 22:47:11 2000 UTC (21 years, 3 months ago) by monnier
File length: 1390 byte(s)
Diff to previous 604 , to selected 626
* main/control.sml (phases): Move loopify (and its fixfix) to before
`reify' (while still keeping a fixfix after reify).
* TopLevel/viscomp/control.sml (cpsopt): Remove all but first_contract.
* TopLevel/interact/evalloop.sml (loop): Don't hide compiler errors.

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

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

Revision 506 - (view) (download) (annotate) - [select for diffs]
Modified Fri Dec 10 00:15:35 1999 UTC (21 years, 7 months ago) by monnier
File length: 1481 byte(s)
Diff to previous 259 , to selected 626
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 (22 years, 3 months ago) by monnier
File length: 1475 byte(s)
Diff to previous 220 , to selected 626
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 (22 years, 4 months ago) by monnier
File length: 1417 byte(s)
Diff to selected 626
* 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