new working version (110.53)

brought back SMLofNJ.Susp

fixed/improved structure Atom in CML

moved TraceDebugProf where it belongs

long long results implemented

fixed bug in ml-yacc (as patterns)

fixed problem with time profiler

new experimental heap2exec facility

fixed off-by-one error in globals.c

update to ml-build script

(partially) implemented long long in nlffi

cleanup of c/memory library

   .run-sml now converts SMLNJ_HOME to a POSIX pathname on cygwin.

missing line in HISTORY

last-minute changes incorporated

minor modifications to smlnj-lib (concerning recent changes)

freeze for 110.52

adjusted winlibinstall.sml to match new interface for generic installer

tried to make installer cope with spaces in filenames (incomplete)

fixed bug in ml-makedepend

added two simple stats modules to smlnj-lib

minor modifications/improvements to hashing and atoms

made CML 64-bit-position compliant

fixed typo in HISTORY

support for 64-bit Position.int (not enabled by default)

problem with unhelpful error messages addressed

freeze for working version 110.51

enabled dlopen (for NLFFI) on FreeBSD

    Added support to LIVE and KILL for all the architectures.

improved the version tool by simplifying it

added full implementation of Int64

more 64-bit hacking (see HISTORY)

most of 64-bit word support is there now

more 64-bit hacking (still in the middle of it, though)

started building support for 64-bit types

code freeze for 110.50

improved BackTrace.monitor

HISTORY entry for x86 c-calls updates

    GAS syntax fix for FUCOMIP and friends.

support for back-trace in standalone programs

eliminated group owners; added warning

further TDP reorganization; coverage tool added

overhaul of Core and SMLofNJ support for TDP

some renaming and cleanup (trace/debug/profile instrumentation)

better region info propagation in elaborator

fixed problem with keyword handling in .cm files

cleanup work

minor cleanup in absyn and btrace

made slave mode work with version tool

cleanup of the auto-version stuff

integrated versiontool

some cleanup of the controls code

improved Controls interface; minor changes and bug fixes in CM

CM support for lazy sml and per-file control settings

turned MLRISC message (PPC) about long branches off by default;
made setting configurable

rounding mode patch for OS X

tweaked interface of ControlRegistry; adde command-line switch to sml

working version 110.49

turned target mlrisc on by default again

  Fixed the signal masking code to properly nest mask/unmask operations
  on a per-signal basis.

bumped heap image magic number

   Added a patch to _arch-n-opsys to enable the Cygwin runtime.
   The Cygwin runtime is turned on by setting the environment
   variable SMLNJ_CYGWIN_RUNTIME to 1.

added some exports to core.cm

installer improvements

added ptreql to InlineT

   Another bug fix to the graph library

   Minor PPC syntax fix.

freeze for Release 110.48

    Bug fix to dijkstra's algorithm.

some improvements to handling of cmd-line arguments

     Added IBM syntax support for PowerPC.

freeze for 110.47

added support for multiple C calling conventions

HISTORY entry

added support for nlffi under win32

assorted bug fixes

nlffi documentation (a start); minor bugfix in ml-nlffigen

added C_UNION to c-types.sml

   More PPC instructions added.

   Added LWARX and STWCX to the Power PC instruction set.

NLFFI-related code tweaks

nlffi under mac os x; NOW BOOTFILES; version 110.46.1

changed implementation of structure Unix to non-compliant (but perhaps
saner) behavior

bumped version number to 110.46

structure Unix now up to (the broken) spec

structure Timer now up to spec

incremental Basis update

handling of ownership rule for CM groups changed

made win32 version work again

made ml-build clean up after itself better

added missing implementations of Posix.IO.mk{Bin,Text}{Reader,Writer}

added message from David Hansel to HISTORY file

added missing socket-functionality for win32

fixed bug in installml

added support for NLFFI under NetBSD

extended some export lists

fixed installer code so that src-smlnj works again

fixed IEEEReal.scan

fixed problem with ml-build not returning error status

fixed problem with two different versions of exception Option

    Fixed the cygwin linking process so that ml-nlffi works.
    CVS tag: leunga-20040319-cygwin-nlffi

fixed problem with IntInf.fmt

added HISTORY entry for previous change

working version 110.45

improved handling of exceptions at interactive toplevel

type of top-level app (HISTORY entry)

type of top-level app

HISTORY entry

Working version 110.44

eliminated dont_move_libraries directive in config/targets

made installer honor INSTALLDIR variable properly

MLRISC bug fix from Lal

typo in HISTORY

PRIM_IO; .bat-files

added a missing privilege wrapper

minor version bump; new bootfiles

implemented autoloading on behalf of prettyprinter

installer tweaks (see HISTORY)

removed non-blocking ops from CML-specific Socket implementation

sync of socket implementation with Basis spec;
minor updates to Real64 code

incorrect tag name fixed

new interim version 110.43.2, new bootfiles

CM -> .cm; new-install.sh -> install.sh (see HISTORY and INSTALL for details)

made interim version 110.43.1 (with new bootfiles)

some improvements to modules dealing with time- and real values

various Basis-related changes (see HISTORY)

fixed bug in Real.fromLargeInt

minor bugfix in new installer script

type of inputLine changed; minor bugfixes; minor installer improvements

Release_110_43

major installer improvements: portable install script,
written in SML, which works for both Unix and Win32

fixed bug in OS.FileSys.fullPath (win32 version)

another typo... :-(

fixed typo

a lot of Basis hacking, among other things adding slices

added WININSTALL; fixed spelling mistakes in HISTORY

implemented IntInf in Basis and compiler;
new version number; new bootfiles

updated HISTORY

works under w32 again;
bug fix for ml-nlffigen; other bugfixes

creating tag macqueen-20030617-bug895

eliminated many cases of poly-eq

major cleanup: eliminate all non-exhaustive pattern matches

added IF/WHILE/ANDALSO/ORELSE to Absyn (to improve error messages)

     Cygwin port of smlnj

added missing elements to ListPair

    Bug in Int.rem(x,y) when y is a power of 2.

fixed bug in RISC RA related to rewrite code for spills and reloads
of floating point registers;  nucleic now compiles again on the Sparc

merged hot-fix for a CM problem related to file IDs

exported Typecheck

brown-paper-bag bug fixed, 110.42 updated

Release_110_42

fixed divide-by-zero problem on PPC (or so I hope...)

added handling of SMLNJ_HOME

exported two useful functions from MLRISC Liveness modul

working version 110.41

structure BTImp exported

fixed bug in FP translation of INLMAX and INLMIN

back-ported OS.Path.xxxUnixPath from idlbasis-devel branch

back-ported IEEEReal.fromString from idlbasis-devel branch;
small (and currently broken) update to ppDec wrt. printing of functor
signatures

brought BTrace.mode back

Labels are now displayed in the graphical output to make
the fall-through and target blocks obvious.

HISTORY entry for runtime bugfix

working version 110.40

CM documentation update

more preloads tweaks

more controls cleanup; removed some wrongly-added things from config/preloads

added suggestions and comments to config/preloads

     Changed mdl gen to make it compile.
     x86 asssembly fix for fcmpi.

pushed new controls interface through compiler

        All pseudo-ops emitted before the first segment declaration
such as TEXT, DATA, and BSS directives are assumed to be global
declarations and are emitted first in the assembly file. This is
useful in a number of situations where one has pseudo-ops that are not
specific to any segment, and also works around the constraint that one
cannot have client pseudo-ops in the TEXT segment.

        Because no segment is associated with these declarations it is
an error to allocate any space or objects before the first segment
directive and an exception will be raised. However, we cannot make
this check for client pseudo-ops.

        These top level declarations are a field in the CFG graph_info.
In theory you can continue to add to this field after the CFG has been
built -- provided you know what you are doing;-)

some minor bugfixes

textio bugfix from Emden applied

make X86.prim.asm compile without warning on RH7.x systems

more div-related improvements to the x86 instruction selector

fixed bug in new div/mod logic

division primops, inline primops for min/max/abs

provided MLRISC support for all four division ops (div/mod/quot/rem)

improved implementation of div, mod, and rem

fixed bug in cproto

raw-primop cleanup

made a new set of bootfiles

    Added some new primops for creating/manipulating temporary "C" objects
    allocated on the ml heap.

 fixed some of my typos

Implemented the Ball-Larus branch prediction-heuristic, and
incorporated graphical viewers for control flow graphs.

Ball-Larus Heuristic:
---------------------
See the file compiler/CodeGen/cpscompile/cpsBranchProb.sml.

By design it uses the Dempster-Shafer theory for combining
probabilities.  For example, in the function:

    fun f(n,acc) = if n = 0 then acc else f(n-1, n*acc)

the ball-larus heuristics predicts that the n=0 is unlikely
(OH-heuristic), and the 'then' branch is unlikely because of the
RH-heuristic -- giving the 'then' branch an even lower combined
probability using the Dempster-Shater theory.

Finally, John Reppy's loop analysis in MLRISC, further lowers the
probability of the 'then' branch because of the loop in the else
branch.


Graphical Viewing:
------------------
I merely plugged in Allen's graphical viewers into the compiler. The
additional code is not much. At the top level, saying:

	Control.MLRISC.getFlag "cfg-graphical-view" := true;

will display the graphical view of the control flow graph just before
back-patching.  daVinci must be in your path for this to work. If
daVinci is not available, then the default viewer can be changed
using:

	Control.MLRISC.getString "viewer"

which can be set to "dot" or "vcg" for the corresponding viewers. Of
course, these viewers must be in your path.

The above will display the compilation unit at the level of clusters,
many of which are small, boring, and un-interesting. Also setting:

	Control.MLRISC.getInt "cfg-graphical-view_size"

will display clusters that are larger than the value set by the above.

kmp bugfix

     Improvements to cfg

     Bug fixes and improvements to x86 and cfg

KMP for string/substring matching

implemented generic conversions in ml-nlffi-lib based on witness values

provided missing String and Substring functions

moved Controls module into its own library;
changed Controls interface to make it saner;
made MLRISC independent of Controls;
minor changes to CM

    X86 code generator did not correctly signal the ra to run.

bug in installer fixed; overload tweaks

BOOT and srcarchiveurl

implemented better, simpler PID allocation scheme;
binfile format has changed, version number is 110.39.2; NEW BOOTFILES

Integrated jump chaining and static block frequency into the
compiler. More details and numbers later.

Tested the jump chain elimination on all architectures (except the
hppa).  This is on by default right now and is profitable for the
alpha and x86, however, it may not be profitable for the sparc and ppc
when compiling the compiler.

The gc test will typically jump to a label at the end of the cluster,
where there is another jump to an external cluster containing the actual
code to invoke gc. This is to allow factoring of common gc invocation
sequences. That is to say, we generate:

	f:
	   testgc
	   ja	L1	% jump if above to L1

	L1:
	   jmp L2


After jump chain elimination the 'ja L1' instructions is converted to
'ja L2'. On the sparc and ppc, many of the 'ja L2' instructions may end
up being implemented in their long form (if L2 is far away) using:

	jbe	L3	% jump if below or equal to L3
        jmp 	L2
     L3:
	...


For large compilation units L2  may be far away.

fixed problem with missing functor parameter

     ML's empty string "" now points to a legal null terminated C string.

      Machine code generation for CALL (relative displacement mode)

implemented entry points; NEW BOOTFILES

      Bug fixes for CMOVcc on x86

implemented generic Controls module and used it for
all compiler flags/tuneable knobs/...;
more command-line options accepted (for setting the above controls);
some minor bug fixes

Tested the weighted block placement optimization on all architectures
(except the hppa) using AMPL to generate the block and edge frequencies.
Changes were required in the machine properties to correctly
categorize trap instructions. There is an MLRISC flag
"weighted-block-placement" that can be used to enable weighted block
placement, but this will be ineffective without block/edge
frequencies (coming soon).

In order to support the block placement optimization, the first
cluster that is generated (called the linkage cluster) contains a jump
to the entry point for the compilation unit. The linkage cluster
contains only one 'function', so block placement will have no effect on
the linkage cluster itself, but all the other clusters have full
freedom in the manner in which they reorder blocks or functions.

On the x86 the typical linkage code that is generated is:
   ----------------------
	.align 2
   L0:
        addl    $L1-L0, 72(%esp)
        jmp     L0


        .align  2
   L1:
   ----------------------

72(%esp) is the memory location for the stdlink register. This
must contain the address of the CPS function being called. In the
above example, it contains the address of  L0; before
calling L1 (the real entry point for the compilation unit), it
must contain the address for L1, and hence

	addl $L1-L0, 72(%esp)

I have tested this on all architectures except the hppa.The increase
in code size is of course negligible.

   Added #[ ... ] expressions to the mlrisc-tools library

made types in C and C_Debug coincide; simplifications

fix problem with CM noweb tool;
reworked FFI: enum types;
              the (non-)distinction between incomplete and complete types

    A new CPS spill phase.  Compilation of large structures with over
1000 items can now finish before the heat death of the universe.

      Minor fix to mlrisc-tools's parser

    Regenerated these files.  They didn't compile.

   Typo

    Minor bug fixes to the mlrisc-tools library

a mix of changes to CM and FFI

applied bug fix for PQ implementation

last-minute bug fix for installer script

Working release, version 110.39

added CM.State.showBindings (and EnvRef.listBoundSymbols)

ml-nlffigen: cpif mechanism and iptr repository implemented

added additional phantom type constructor to ml-nlffi-lib.cm(tag.sml)

Fixed the MLRISC bug sent by Markus Wenzel regarding the compilation
of Isabelle on the x86.

From Allen:
-----------
 I've found the problem:

     in ra-core.sml, I use the counter "blocked" to keep track of the
     true number of elements in the freeze queue.  When the counter goes
     to zero, I skip examining the queue.  But I've messed up the
     bookkeeping in combine():

         else ();
         case !ucol of
           PSEUDO => (if !cntv > 0 then
                 (if !cntu > 0 then blocked := !blocked - 1 else ();
                                    ^^^^^^^^^^^^^^^^^^^^^^^
                  moveu := mergeMoveList(!movev, !moveu)
                 )
              else ();

     combine() is called to coalesce two nodes u and v.
     I think I was thinking that if the move counts of u and v are both
     greater than zero then after they are coalesced then one node is
     removed from the freeze queue.  Apparently I was thinking that
     both u and v are of low degree, but that's clearly not necessarily true.


02/12/2002:
    Here's the patch.  HOL now compiles.

    I don't know how this impact on performance (compile
    time or runtime).  This bug caused the RA (especially on the x86)
    to go thru the potential spill phase when there are still nodes on the
    freeze queue.

bug fix for ml-nlffigen (fptr-rtti-)

added prio-q exports to CML version of smlnj-lib.cm

ml-nlffigen updates; minor Basis updates

added -gensym option to ml-nlffigen

minor fix for a problem with GenSML

110.38.1; new bootfiles; new PID generation scheme; installer improvements

Compilers that generate assembly code may produce  global labels
whose value is resolved at link time. The various peephole optimization
modules did not take this in account.

TODO. The Labels.addrOf function should really return an option
type so that clients are forced to deal with this issue, rather
than an exception being raised.

  small ommission in the last commit

   Pulled out various utility modules that were embedded in the modules
   of the register allocator. I need these modules for other purposes, but
   they are not complete enough to put into a library (just yet).

two small bug fixes: sparc c-calls and ml-nlffigen

     MLRISC bug fixes.  MachineInt.fromString was negating its value.

INSTALL instructions added; install script improved

bug fix and minor improvement to sparc-c-calls

c-calls API modification: paramAlloc callback

Now For Real(tm):  Release_110_38

110.38 RETRACTED; bug fixes (real64 and FFI)

     The 'nowhere' program generator (which translates programs
     with where clauses into legal SML) is now an installation target.

Release_110_38

more FFI tweaks and improvements

*** empty log message ***

fix for x86 c-call bug

FFI bug fixes and small interface enhancements

re-pointed config/srcarchiveurl

more FFI fiddling

turned x86-fp on

     Fixed a problem with the handling of CALLs in x86's "fast fp" mode.

more fiddling with the FFI interface

1. Since COPY instructions are no longer native to the architecture,
   a generic functor can be used to implement the expandCopies function.

2. Allowed EXPORT and IMPORT pseudo-op declarations to appear inside a
   TEXT segment.

updates/bug fixes to FFI

updates to pgraph and, more importantly, to NLFFI

	Removed the native COPY and FCOPY instructions
	from all the architectures and replaced it with the
	explicit COPY instruction from the previous commit.

	It is now possible to simplify many of the optimizations
	modules that manipulate copies. This has not been
	done in this change.

Changed the representation of instructions from being fully abstract
to being partially concrete. That is to say:

  from
	type instruction

  to
	type instr				(* machine instruction *)

	datatype instruction =
	    LIVE of {regs: C.cellset, spilled: C.cellset}
          | KILL of {regs: C.cellset, spilled: C.cellset}
          | COPYXXX of {k: CB.cellkind, dst: CB.cell list, src: CB.cell list}
          | ANNOTATION of {i: instruction, a: Annotations.annotation}
          | INSTR of instr

This makes the handling of certain special instructions that appear on
all architectures easier and uniform.

LIVE and KILL say that a list of registers are live or killed at the
program point where they appear. No spill code is generated when an
element of the 'regs' field is spilled, but the register is moved to
the 'spilled' (which is present, more for debugging than anything else).

LIVE replaces the (now deprecated) DEFFREG instruction on the alpha.
We used to generate:

	DEFFREG f1
	f1 := f2 + f3
        trapb

but now generate:

	f1 := f2 + f3
	trapb
	LIVE {regs=[f1,f2,f3], spilled=[]}

Furthermore, the DEFFREG (hack) required that all floating point instruction
use all registers mentioned in the instruction. Therefore f1 := f2 + f3,
defines f1 and uses [f1,f2,f3]! This hack is no longer required resulting
in a cleaner alpha implementation. (Hopefully, intel will not get rid of
this architecture).

COPYXXX is intended to replace the parallel COPY and FCOPY  available on
all the architectures. This will result in further simplification of the
register allocator that must be aware of them for coalescing purposes, and
will also simplify certain aspects of the machine description that provides
callbacks related to parallel copies.

ANNOTATION should be obvious, and now INSTR represents the honest to God
machine instruction set!

The <arch>/instructions/<arch>Instr.sml files define certain utility
functions for making porting easier -- essentially converting upper case
to lower case. All machine instructions (of type instr) are in upper case,
and the lower case form generates an MLRISC instruction. For example on
the alpha we have:

  datatype instr =
     LDA of {r:cell, b:cell, d:operand}
   | ...

  val lda : {r:cell, b:cell, d:operand} -> instruction
    ...

where lda is just (INSTR o LDA), etc.

Release 110.37 -- this time for real.

postponed 110.37 because of serious bug

added forgotten .tex-file

Release 110.37 -- see HISTORY

  Implemented a complete redesign of MLRISC pseudo-ops. Now there
  ought to never be any question of incompatabilities with
  pseudo-op syntax expected by host assemblers.

  For now, only modules supporting GAS syntax are implemented
  but more should follow, such as MASM, and vendor assembler
  syntax, e.g. IBM as, Sun as, etc.

srcname routed to mlriscgen;
more fiddling with pgraph (portable library graph) code

  Fix for a backpatching bug reported by Allen.

  Because the boundary between short and long span-dependent
  instructions is +/- 128, there are an astounding number of
  span-dependent instructions whose size is over estimated.

  Allen came up with the idea of letting the size of span
  dependent instructions be non-monotonic, for a maxIter
  number of times, after which the size must be monotonically
  increasing.

  This table shows the number of span-dependent instructions
  whose size was over-estimated as a function of maxIter, for the
  file Parse/parse/ml.grm.sml:

     maxIter		# of instructions:
 	10			687
 	20			438
 	30			198
        40			  0

  In compiling the compiler, there is no significant difference in
  compilation speed between maxIter=10 and maxIter=40. Actually,
  my measurements showed that maxIter=40 was a tad faster than
  maxIter=10! Also 96% of the  files in the compiler reach a fix
  point within 13 iterations, so fixing maxIter at 40, while high,
  is okay.

updates to CKIT, CM, NLFFI, and scripts (see HISTORY)

  Fixed the x86 c call fp bug described in blume-20010920-slowfp

HISTORY entry for netbsd patch

X86RA now uses a valid (instead of dummy) PrintFlowgraph module.
Changes from Allen.

The representation of a program point never expected to see more
than 65536 instructions in a basic block!

*** empty log message ***

made exnName and exnMessage a bit more robust wrt. ml-build

x86-fast-fp turned off again

minor cleanup of pathname handling in CM
as well as argument handling by the driver shell script

added README files

fixed mistake in config/preloads; retagged

version 110.36

set x86-fast-fp to true by default

minimal version of structure Compiler

Typo

HISTORY (fix for bug 1581)

fleshed out README file

Release_110_35

 fixed author of changes

removed clusters from MLRISC

updates to environments, envrefs, interactive loop

fixed a minor slipup

library debugprof.cm extracted

new organization of compiler libraries

committed Zhongs fix

*** empty log message ***

I have dramatically simplified the interface for CELLS in MLRISC.

In summary, the cells interface is broken up into three parts:

  1. CellsBasis : CELLS_BASIS

	CellsBasis is a top level structure and common for all
        architectures.  it contains the definitions of basic datatypes
        and utility  functions over these types.

  2. functor Cells() : CELLS

	Cells generates an interface for CELLS that incorporates the
	specific resources on the target architecture, such as the
	presence of special register classes, their number and size,
	and various useful substructures.

  3. <ARCH>CELLS

	e.g. SparcCells: SPARCCELLS

        <ARCH>CELLS usually contains additional bindings for special
	registers  on the architecture, such as:

		val r0 : cell		(* register zero *)
		val y : cell		(* Y register *)
		val psr : cell		(* processor status register *)
		...

        The structure returned by applying the Cells functor is opened
        in this interface.

The main implication of all this is that the datatypes for cells is
split between CellsBasis and CELLS -- a fairly simple change for user
code.

In the old scheme the CELLS interface had a definitional binding of
the form:

	signature CELLS = sig

 	   structure CellsBasis = CellsBasis

	   ...

        end

With all the sharing constraints that goes on in MLRISC, this old
design  quickly leads to errors such as:

	"structure definition spec inside of sharing ... "


and appears to require an unacceptable amount of sharing and where
constraint hackery.

I think this error message (the interaction of definitional specs and
sharing) requires more explanation on our web page.

extensive organizational changes

minor tweaks to 110.34 (and re-tagged)

working version 110.34

handling of varargs made more robust (and different)

made ml-nlffigen handle varargs functions with a bit more grace;
some minor internal improvements to CM

bug in CM fixed (related to compile servers)

typo fixed in CM manual

fixed nasty X86 assembly bug

HISTORY

bug fixes for ml-nlffigen

eXene compiles and works again

CML compiles and works again

un-break fix for bug 1432

fix for long-standing signal handling bug

small update on the sparc c-calls code

c-calls (and NLFFI) implementation for Sparc

several internal changes related to C calls

index-file generation in CM; small changes to c-calls API

some cleanup of NLFFI

README files; small bugfix for ml-nlffigen

Release_110_33

slight tweak to config/install.sh

HISTORY entry for previous commit

bugs in install scripts fixed;
a minor NLFFI API change

added new FFI code to repository

bug fix for cpsopt/contract.sml

omit frame pointer optimization

made certain administrative libraries into CM proxy libraries
(see HISTORY for details);
made a new set of bootfiles

merging changes from devel branch and fixing up some earlier mistakes
(see HISTORY)

    Moby related MLRISC changes

install.sh now uses local (working) directory for pcedittmp file

fixed spelling mistake in HISTORY file

merged changes from my devel branch (inML flag twiddling)

Port to Mac OS X

merged changes from devel branch

new set of bootfiles

raw memory access primitives fully implemented;
some CM tweaks

parallel make works again

new set of bootfiles created

made HISTORY entry

   Support for alternative control-flow, exception handlers added.

   Minor fixes to alpha code generator

forgot the HISTORY file

made new bootfiles

syncing with my private branch

    Merging the types labexp and mltree.
    tag leunga-20010111-labexp=mltree

merging changes from private branch

merging changes from private branch

merging changes from private branch

merging changes from private branch

updated config/{version,srcarchiveurl}; corrected earlier HISTORY entry

infinite precision in MLRISC

merging changes from private branch

merging changes from private branch

merging changes from private branch

merging changes from private branch

dir tool added

   Added andb, xorb, orb, notb, << and ~>> in IntInf.   Untested.
   Tag: leunga-20001214-int-inf

    Slight improvements to a code generator tool.

release 110.31

   A CVS update record!

   Changed type cell from int to datatype, and numerous other changes.
   Affect every client of MLRISC.  Lal says this can be bootstrapped on all
   machines.  See smlnj/HISTORY for details.

   Tag:  leunga-20001207-cell-monster-hack

merging changes from private branch

further improvements to link traversals and (as a result) autoloading;
See HISTORY for how to bootstrap!

merging recent changes related to autoloading and tool plugins

merge latest changes related to autoloading

merged the big housecleaning patch (see HISTORY!)

A new x86 floating point code generator.  By default it is off.
See HISTORY for details.   CVS tag=leunga-20001110-new-x86-fp

code duplication cleanup (merge from private branch)

*** empty log message ***

merging recent changes

added conditional compilation in init library; BOOTFILES

Minor changes to RA.  Added MLRISC demo files.
Tag: leunga-20001023-demo-ra

merge another error message bug fix

merge my changes for 110.30; NOW BOOTFILES!

  changed the node status datatype

merge with small tweak to CM (avoid repeated errmsg)

new boot files (and new URL) because yacc/lex did not install properly

HISTORY entry

   Stuff related to scheduling, SSA, x86, C-- and Moby.
   Tag: leunga-20000807-a-whole-bunch-of-stuff

  support for PPC Linux

more assorted script enhancements

ml-makedepend added

URL updated in BOOT and config/srcarchiveurl

built 110.29

typos in CM manual

   Bug fixes for sparc and x86.  Affects c-- and moby.

CM manual updates; BTrace.trigger added again

merging CM manual updates

even better BTrace;
modifications to how the yacc tool handles options

merging latest improvements (CM, BTrace)

merge CM and BTrace changes

fix to startup slowdown

new back-trace facility added; see HISTORY

CM manual update: path environments

preliminary CM manual update

bugfix in SrcPath module

implicit anchors gone; update to previous HISTORY entry

merging back my devel changes (anchor environments)

   x86 peephole fix by Fermin.  Affects c-- and moby only.
   cvs tag: leunga-20000615-x86-peephole

Typos.

fixed file names for parallel make

     None of these changes should affect SML/NJ.  See HISTORY file for details.
     CVS Tag=leunga-20000609-various

removed RCS log entries; smal bug fix to ml-yacc and ml-lex

merge-back from my devel branch; see HISTORY

merging changes from devel branch; new boot files

   Fixed a non-critical bug in the register allocator

*** empty log message ***

  Slight cleanup on the Alpha.
  Added a bunch of instructions to the x86 instruction set.
  The module ra-rewrite-with-renaming has been improved.
  These should have no effect on SML/NJ.
  CVS tag=leunga-20000515-alpha-x86-ra

merging changes from devel branch; see HISTORY

fixed important anchor-related bug in ml-build

merged my path anchor changes into main trunk
more config/srcarchiveurl! YOU NEED NEW BINFILES more config/srcarchiveurl!
Read HISTORY and src/system/README!

CM.sources implemented; CM.makedepend dropped

    Various bug fixes and new features for C--, Moby and MLRISC optimizations.
    See smlnj/HISTORY for details.  CVS tag: leunga-20000510-moby-c--ssa

  Fermin has found a few assembly problems with constant expressions
  generated in LabelExp.  Mostly, the problems involve extra parentheses,
  which choke on dumb assemblers.  This is his fix.

Version 110.28

merged changes from devel branch (added noweb tool)

fixes for bugs 1498 and 1510

merged pending changes into main trunk; see HISTORY; new binfiles!!

fixed install.sh (bug 1563)

added .fun as a file name suffix known to CM

1. Alpha

   PSEUDOARITH was missing in AlphaRewrite.  This causes an endless loop
   in C--.

2. RA

   Added a flag "ra-dump-size" to print out the size of the flowgraph
   and the interference graph.

update ml-yacc documentation and examples for 110.*

   This update synchronizes my repository with Yale's.  Most of these
changes are related to C--, Moby, and my optimizations.  It should have
little impact on SML/NJ.

   CVS tag leunga-20000420-ssa-c---stuff

changed install.sh script to use/handle shorter archive names

Version 110.27

   Assembly fix for x86 and other miscellaneous changes to MLRISC

Oops, forgot about this one.
What kind of file format is that ?

    Forgot these files in the last update

    New peephole code, improvements to x86 instruction selection, and
    fixes for SSA and the machine description tool.

    CVS tag=leunga-20000406-peephole-x86-SSA

merging last bits before 110.27 code freeze

      Changes to assembly output and fixes a bug in the x86 assembler
      CVS tag=leunga-20000404-x86-asm

    Fixes related to C--, Moby and my optimizations.
    CVS tag=leunga-20000404-C--Moby

merging branch blume_devel_v110p26p2_1 (elimination of corenv)

   1. Renamed the constructor CALL in MLTREE by popular demand.
   2. Added a bunch of files from my repository.  These are currently
      used by other non-SMLNJ backends.

   This update contains a new module for extracting aliasing information.
   CVS tag: leunga-20000331-aliasing

fixes for c-libraries.c and bug 1556

changes to modmap generator and CM tool parameter mechanism (see HISTORY)

merging back development branch blume_devel_v110p26p1_3...
This involves changes to CM and the removal of CMStaticEnv from
the compiler.  See the HISTORY file for more information.

   Fixed a slight problem with gc types annotations.

   To turn on gc types, do this:

       CM.autoload "sml/compiler.cm";
       Compiler.Control.MLRISC.getFlag "mlrisc-gc-types" := true;

   This update contains major changes to the code generator and various
back ends.  Please see the entry leunga-20000327-mlriscGen_hppa_alpha_x86
in the file sml/HISTORY for details.

1. X86 fixes/changes

   a.  The old code generated for SETcc was completely wrong.
       The Intel optimization guide is VERY misleading.

2. ALPHA fixes/changes

   a.  Added the instructions LDBU, LDWU, STB, STW as per Fermin's suggestion.
   b.  Added a new mode byteWordLoadStores to the functor parameter to Alpha()
   c.  Added reassociation code for address computation.

*** empty log message ***

merging back blume_devel_v110p26p1_1

improved version of Dave's fixpt script added

More assembly output problems involving the indexed addressing mode
on the x86 have been found and corrected. Thanks to Fermin Reig for the
fix.

The interface and implementation of the register allocator have been changed
slightly to accommodate the possibility to skip the register allocation
phases completely and go directly to memory allocation.  This is needed
for C-- use.

This fix only affects the x86 assembly output.

BOOT and HISTORY file for blume_main_v110p26p1_0

BOOT and HISTORY updated

HISTORY file creation