SCM Repository
Annotation of /sml/trunk/src/compiler/FLINT/ChangeLog
Parent Directory
| 
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 |
