Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/compiler/FLINT/ChangeLog
ViewVC logotype

Annotation of /sml/trunk/src/compiler/FLINT/ChangeLog

Parent Directory Parent Directory | Revision Log Revision Log


Revision 185 - (view) (download)

1 : monnier 185 1998-11-09 Stefan Monnier <monnier@cs.yale.edu>
2 :    
3 :     * opt/fcontract.sml: take advantage of single-arm SWITCH (aka decon)
4 :     (SWITCH(CON)): just compare the conreps because types may differ (?)
5 :     (inlineWitness): ugly hack used to figure out if inlining happened,
6 :     in order to decide whether to keep the inline bit or not (in cfun).
7 :    
8 : monnier 184 1998-11-06 Stefan Monnier <monnier@cs.yale.edu>
9 :    
10 :     * opt/fcontract.sml: added unrolling support
11 :    
12 :     * reps/coerce.sml: replaced FK_FCT by fkfct, itself defined "sanely"
13 :    
14 :     * opt/fixfix.sml: adapted to the new fkind and introduced unrolling
15 :    
16 :     1998-11-05 Stefan Monnier <monnier@cs.yale.edu>
17 :    
18 :     * flint/flint.sig: changed fkind to have most annotations valid on
19 :     functors as well. It also adds a loopkind annotation as well as extends
20 :     the inline boolean into a three-way alternative.
21 :    
22 : monnier 164 1998-10-30 Stefan Monnier <monnier@cs.yale.edu>
23 :    
24 :     * opt/fcontract.sml (dropcstargs): replace constant args by the constant.
25 : monnier 184 (cexp): switched to a continuation passing style to implement the
26 :     let-associativity rule in a better way.
27 : monnier 164
28 :     * opt/fixfix.sml (curry): correctly handle "imposible" cases.
29 :    
30 :     * opt/collect.sml: completely revisited: no distinction between
31 :     internal/external uses, dead-code elimination done right away. This
32 :     makes fcontract a little simpler.
33 :    
34 : monnier 163 1998-10-28 Stefan Monnier <monnier@cs.yale.edu>
35 :    
36 :     * opt/fcontract.sml (inline): do simple inlining only for non-isrec
37 :     functions (to ensure we never silently turn external uses into internal
38 :     uses) and correspondingly change the agressive inlining to inline
39 :     non-inlinable functions as long as its their last use.
40 :     (dropargs): new functions to drop unused arguments.
41 :    
42 :    
43 : monnier 162 1998-10-27 Stefan Monnier <monnier@cs.yale.edu>
44 :    
45 : monnier 163 * opt/optutils.sml: trying to reuse code between fixfix and fcontract.
46 :    
47 :     * opt/collect.sml (called): added for eta-expand.
48 :    
49 :     * opt/fcontract.sml (inline): allow single inlining of FK_FCT.
50 :    
51 : monnier 162 * lsplit/ls-inline.sml: don't call lcontract anymore.
52 :    
53 :     1998-10-26 Stefan Monnier <monnier@cs.yale.edu>
54 :    
55 :     * cps/cpstrans.sml (spillOut): fix from Zhong.
56 :    
57 :     * cpsopt/cpsopt.sml: use Control.CG.cpsopt and fold over it.
58 :    
59 :     * main/flintcomp.sml: use Control.FLINT.phases and fold over it.
60 :    
61 :     * opt/fixfix.sml (curry): use Control.FLINT.maxargs to bound the uncurrying

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0