---

Revision 199 - (view) (download) (annotate) - [select for diffs]
Modified Wed Nov 25 18:30:38 1998 UTC (22 years, 3 months ago) by monnier
File length: 1636 byte(s)
Diff to previous 190

* opt/loopify.sml: improved tail-calls recognition.
Also be more careful about wrapping loops into functions (so contraction
is not needed to cleanup).
* opt/fixfix.sml: pretend loops are smaller to increase their inlining.
* kernel/ltyextern.sml: commented out Stats calls.
* flint/flint.sig: changed LK_WHILE to LK_TAIL.

---

Revision 190 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 19 21:01:17 1998 UTC (22 years, 3 months ago) by monnier
File length: 1305 byte(s)
Diff to previous 184

* opt/optutils.sml (id): removed.  That was stupid.
* opt/collect.sml: drop support for actuals (was only used for cstargs).
* opt/lcontract.sml (lpfd): reset the inline bit to a safe value.
* opt/fcontract.sml (cstargs): eliminated.  Might reappear in a
  specialization phase some day.
(inline): turned off unrolling because it's buggy.
(APP): use the new ifs, damit!

---

Revision 184 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 8 21:18:20 1998 UTC (22 years, 4 months ago) by monnier
File length: 1411 byte(s)
Diff to previous 163

* added basic unrolling support
* changed fkind to have most annotations valid on
  functors as well.  It also adds a loopkind annotation as well as extends
  the inline boolean into a three-way alternative.
* switched to a continuation passing style to implement the
  let-associativity rule in a better way.

---

Revision 163 - (view) (download) (annotate) - [select for diffs]
Added Thu Oct 29 21:00:27 1998 UTC (22 years, 4 months ago) by monnier
File length: 1277 byte(s)

added dropping of dead-arguments