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 187 - (view) (download)

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