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

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