* opt/fcontract.sml: turned fcFun into a foldable function.
* opt/loopify.sml: added loop-invariant arg removal.

Added IH_MAYBE to allow more selective inlining.

* opt/fcontract.sml: (fcexp): straightforward split into functions
(fcLet): do the BRANCH thing after contraction (plus force an additional
  contraction, so the total is 3 passes for a fairly good handling of
  wrap's equality-primop compilation)
(fcLet): drop TAPP if the output is unused.

* opt/fcontract.sml: generalized the BRANCH thing.
It should now be faster to detect and avoid potential code blowups while
applying to more cases.  But it requires one more pass to generate the
same code quality :-(

* 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.

*** empty log message ***

Merged in Bratin's typelifting and Chris' named tvars.
FLINT is now using tvars from the first lcontract all the way to cps.

* reps/rttype.sml: changes from Bratin.
(rtLexp): define the NVAR case (return the tvar as an lvar).
* opt/[fl]contract.sml: removed the restriction on inlining at the same
  deBruijn depth.
* opt/lift.sml: new file for typelifting.
* flint/flintutil.sml (copy): added tvar renaming.
* flint/tvarcvt.sml: new file for named tvar <-> deBruijn conversions.

* opt/loopify.sml: new file
* cps/convert.sml: added code to take advantage of LK_WHILE loops.

* 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!

*** empty log message ***

* opt/collect.sml(info): got rid of Transfer
(unuselexp): junk the fundec part.
(unuse): return a boolean instead of calling an undertaker.

* opt/collect.sml: switched back to a read-only collect phase.  Also try
  to export the info to allow fcontract to circumvent some of the get calls.

* opt/fcontract.sml: take advantage of single-arm SWITCH (aka decon)
(SWITCH(CON)): just compare the conreps because types may differ (?)
(inlineWitness): ugly hack used to figure out if inlining happened,
  in order to decide whether to keep the inline bit or not (in cfun).

* 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.

merged in 110.9.1

Initial revision

Initial revision

Initial revision

Initial revision

This commit was generated by cvs2svn to compensate for changes in r169,
which included commits to RCS files with non-trunk default branches.

version $version

This commit was generated by cvs2svn to compensate for changes in r167,
which included commits to RCS files with non-trunk default branches.

Initial revision

* opt/fcontract.sml (dropcstargs): replace constant args by the constant.

* opt/fixfix.sml (curry): correctly handle "imposible" cases.

* opt/collect.sml: completely revisited:  no distinction between
  internal/external uses, dead-code elimination done right away.  This
  makes fcontract a little simpler.

added dropping of dead-arguments

*** empty log message ***

*** empty log message ***

*** empty log message ***

detect inlining loops
eliminate Con(Decon c)
eliminate Record(Select, ...) when type is available
uncount var-use of dropped arms when SWITCH is optimized out

*** empty log message ***

*** empty log message ***

use fcontract's copy

replaced debugFContract by misc and changed the default settings

removed debugFContract

added FLINT.misc for temporary debugging purposes (a la CG.misc4)

eliminated call to lcontract

eliminated use of CG.misc4 probably left over from debugging

these should not be managed by CVS

*** empty log message ***

merged in changes upto 110.8.1

This commit was generated by cvs2svn to compensate for changes in r143,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r141,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r139,
which included commits to RCS files with non-trunk default branches.

Initial revision

Initial revision

This commit was generated by cvs2svn to compensate for changes in r132,
which included commits to RCS files with non-trunk default branches.

Initial revision

This commit was generated by cvs2svn to compensate for changes in r127,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r125,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r123,
which included commits to RCS files with non-trunk default branches.

addition of fcontract and fixfix and Control.FLINT

re-added fcontract and collect

temporarily removed fcontract and collect

merged in 110.7 changes

This commit was generated by cvs2svn to compensate for changes in r116,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r113,
which included commits to RCS files with non-trunk default branches.

Initial revision

merged in 110.6 changes

This commit was generated by cvs2svn to compensate for changes in r106,
which included commits to RCS files with non-trunk default branches.

Initial revision

merged in 110.5.1 from Zhong

This commit was generated by cvs2svn to compensate for changes in r100,
which included commits to RCS files with non-trunk default branches.

Initial revision

merged with 110.5

This commit was generated by cvs2svn to compensate for changes in r93,
which included commits to RCS files with non-trunk default branches.

Initial revision

*** empty log message ***

*** empty log message ***

*** empty log message ***

*** empty log message ***

*** empty log message ***

removing assert and rc-file changes for now.

*** empty log message ***

added real inlining support (with alpha-renaming)
added limited type information

Changed the semantics of "inline".

assertions and .smlnjrc

*** empty log message ***

debugging code

changed max # elements to flatten to 5, to support x86 floating
points.  should be made machine dependent?

added checking for redefined lvars.

minimal checking for lvars in dict and conrep.

*** empty log message ***

cleaned up the previous merge

merged in Zhong's 110.4

This commit was generated by cvs2svn to compensate for changes in r69,
which included commits to RCS files with non-trunk default branches.

Initial revision

made changes to kind-checking so that enc_tvar need not be exported
by ltykernel.  one awkwardness is that the tkLookupFreeVars function
in ltykernel manipulates a tkindenv, which is technically not defined
until ltyextern.

dummy

*** empty log message ***

*** empty log message ***

just added a comment.  there is apparently a subtle bug in inlining
across different depths.  it causes a type error in a FIX node when
compiling CodeGen/cpscompile/mkRecord.sml.

major change to tc_eqv_gen and its clients; now they properly check
equivalence of two FIX nodes.

Renaming of Control.CG flags related to type-checking.  Now we have
`checkFlint', `checkKinds', and `checkDatatypes'.

*** empty log message ***

undoing the hack that has been replaced by a proper fix

properly newline-terminate the output when hitting eof

properly newline-terminate xmakeml's output

properly newline-terminate xmakeml's output

Type and kind-checking working and turned on by default.
Datatype equality still not implemented.

buildcm -full and
xmakeml

split printLambda into printLambda and printFlint

moved TAPP handling from `tolexp' to `tolvar' since it always
binds one and only one variable.

*** empty log message ***

turn off GC messages by default

*** empty log message ***

This commit was generated by cvs2svn to compensate for changes in r45,
which included commits to RCS files with non-trunk default branches.

Initial revision

*** empty log message ***

This commit was generated by cvs2svn to compensate for changes in r29,
which included commits to RCS files with non-trunk default branches.

Initial revision

This commit was generated by cvs2svn to compensate for changes in r24,
which included commits to RCS files with non-trunk default branches.

Initial revision

Initial revision

*** empty log message ***

*** empty log message ***

merged with flint-v1.1

This commit was generated by cvs2svn to compensate for changes in r8,
which included commits to RCS files with non-trunk default branches.

Initial revision

fixed sigcontext decalaration to also work with glibc on linux

Initial revision