Make sure that TERM_SIGNAL control variables are initialized correctly
even when `dump-world' or job control is used.  Also, force control-g
synchronization under Emacs for all unix operating systems.

Force control-g synchronization always.  Turns out BSD had the same
problem as hp-ux.

Don't use second argument to `interrupt-process' and `quit-process'.
Apparently that causes difficulties under Ultrix.

Two copies of the copyright message at beginning of file; removed one.

Removed extra copyright message; had two copies of it at the beginning of the
file.

Several changes to make unix signals work right.

Change this code to use the new `clear-interrupts!' primitive to
disable interrupt bits when the interrupt handlers are invoked.

(disk-save): Unless IDENTIFY is a string, return a boolean value.

Fix bug in `disk-save': when the IDENTIFY argument is #F, we should
return #F just after the save, and #T after a restore.

Fix some problems with unix signals: (1) Emacs uses SIGHUP to kill a
process when its buffer is killed, so treat SIGHUP differently if
under Emacs -- also don't print messages in this case as the buffer is
dead; (2) don't ask for core dump if signal received.

Also define new primitive `clear-interrupts!'; change
`get-next-interrupt-character' and `setup-timer-interrupt' so they
don't clear the interrupt bit.  It is now the responsibility of the
runtime system to clear the bit when it gets the interrupt.

Another stab at open coded generic arithmetic (stiil no floating point yet).

Transferred version 4.8.1.1 onto the main trunk, essentially undoing
4.9 because we no longer use an expansion phase.

Added rule for OVERFLOW-TEST in support of generic arithmetic.

Changed a bunch of fixnum procedures. Fixnums are now shifted 8 bit to
the left before the operations (except multiply, where only one of the
operands is shifted) so that overflow detection gets done
automatically by the hardware.
Also fixed a bug in the fixnum register*register rule which was
manifested when the two source registers were the same and we could
alias them with the target.

Added generic arithmetic rtl types and overflow-test predicate.
Added fixnum->address and address->fixnum since we have changed the
way fixnum's are handled (i.e. we shift them to the left by 8 bits now).
Removed rtl-constructor stuff since we don't have the expand phase anymore.

In the open coding of generic arithmetic it is possible to create some
cfg node which are in the rtl-graph but turn out not to be reachable
from the entry edge of the rtl-graph (this happens when we are
creating a pcfg for a type test but the object we are testing is a
constant, for example). We need to make sure that rgraph/compress!
removes these unreachable cfg nodes, because there are some algorithms
which depened on all of node's predecessors being on a path from an
entry edge of the rtl-graph.

Added expression methods for generic arithmetic RTL types.

Fixed bugs in generic arithmetic open coding.

Changed a bunch of fixnum procedures. Fixnums are now shifted 8 bit to
the left before the operations (except multiply, where only one of the
operands is shifted) so that overflow detection gets done
automatically by the hardware.

fixed shift intructions with dynamic bit counts.

fixed pcfg*scfg->cfg!

Improved version of `file-touch' is smarter, will win in more cases
than previous version.

Use /. suffix on directory names that are targets of mv commands.

Add most remaining unix primitives, including new `file-touch'.

Add new primitive `file-touch'.

Change `char->string' to `string'.  `char->string' still defined as
alias.

Change `char->string' to `string'.  `char->string' still defined as
alias.

*** empty log message ***

When dynamic link is in use, it must be pushed even if the
continuation is always known.

Make pathname parser/unparser packages inherit from pathname package.

Add code to load the package modeller if needed.

Hide these definitions from the global environment:

parse-pathname
pathname-unparse
pathname-unparse-name

Fix bug in `h' command when first subproblem had wraparound in
reductions.

Export `reduce-right' to the global environment.

Rename `reduce-reversed' to `reduce-right'.

Add a SYSTEM primitive which invokes a shell to execute a command.
Add documentation strings to the primitives in this file.

Redefine `reduce' to perform its reduction in a manner compatible with
Common Lisp.  Define `reduce-reversed' to perform a right-associative
reduction.

Add missing clause to instr3.scm

Make wrong number of arguments errors proceedable.  Extra arguments
are dropped, arguments not present are defaulted to unassigned.

Make DUMP-BAND always dump from the low heap so that the probability
of falling on the same addresses (and avoiding relocation) on restore
increases.

Fix 2 bugs:
- Known procedures (which are not always known operators) with
optional parameters have their values defaulted at the call point in
the known locations.
- Known lexpr trivial closures are invoked as closures.

Numerous changes:

- Incremental definition recaches compiled code caches rather than
uncaching them and having them be recached at first reference.

- Bands are not relocated if there is no need.

- Suggestions for size parameters are printed if the image is too large.

- cmp68020.s now works with m4 on sysV and bsd.

- -recover is a new command line option which informs the microcode
that it should attempt recovery immediately after a trap, rather than
prompting for confirmation.

- Fixed some bugs having to do with deep dynamic binding.

Numerous changes:

- Incremental definition recaches compiled code caches rather than
uncaching them and having them be recached at first reference.

- Bands are not relocated if there is no need.

- Suggestions for size parameters are printed if the image is too large.

- cmp68020.s now works with m4 on sysV and bsd.

- -recover is a new command line option which informs the microcode
that it should attempt recovery immediately after a trap, rather than
prompting for confirmation.

- Fixed some bugs having to do with deep dynamic binding.

Fix quoting within documentation strings.

Add \n\ sequences to multiline document strings.

(force (delay x)) ==> x (new optimization)

Tuning to increase performance.

Label basic blocks that have multiple previous edges, even if those
edges do not have nodes attached to them.  Also reorganized to
guarantee that the labelling side effects are ordered correctly.

Allow strings and lists for version numbers in systems.

Allow strings and lists for version numbers in systems.

If the continuation of a combination is always known, do not record it
as the invocation continuation.  This is because the object will not
exist, and thus its label will never be defined.

Remove code to delete basic blocks list from rgraphs.  This is now
handled by the compiler top level.

Add new analysis to determine how RTL basic blocks are related by
continuations.  Attempt to order the linearized RTL and LAP so that
continuations come out nearer to where they are referenced.  A unique
continuation (very common) tries to come out immediately following the
invocation of the procedure that returns to it.

Add new slots to descriptor lists of basic blocks.

Added switch to control generation of open coded type checking.

Fixed rtl:expand-statement (you gotta be careful with "reverse!"!)

Change `/' operation to return an exact integer result when the
arguments are both exact integers, and the second argument divides the
first.  Otherwise a flonum is returned.

Added open coding of generic arithmetic (without open-coding of
floating point, though the stubs are there).

Merged generic stuff with version 4.6.1.1

Merged generic stuff with version 4.7.1.1

Fixed some generic arithmetic stuff and merged back with version 4.10.

Add slots to bblock structure to facilitate better linearization.

Add comments and copyright.  Separate out loading of assembler
database so that it can be easily evaluated in a working compiler
band.  Attempt to reorganize so that this file can be loaded into a
working compiler and have the right effect.

Change back end of compiler to not join bit strings that will be
adjacent in the output code.  This loses slightly on space but avoids
costly bit string copying.

Also extend RTL constructors to handle `offset' locative with constant
base address.

Change `cons-syntax' and `append-syntax!' so that they do not attempt
to join bit strings, but just cons them together into lists.  This
will improve the speed of compilation with a small increase in space.

Change expander for `instruction->instruction-sequence' to use the
primitive `cons' rather than an absolute reference to that name.

Change `append-instruction-sequences!' so that it does not attempt to
join two bit strings that are adjacent in the resulting sequence.  The
compiler spends alot of time joining such bit strings, with only small
space savings.

Change rule for `locked' to check top level directory, and to use
definition of `SOURCES' macro.

Change `define-ea-database' macro to side effect the variable
`early-ea-database' rather than defining it.  Define this variable
separately so that cref can see it.

Remove references to `define-coercion'.  Use explicit definition which
will prevent cref from having undefined references.

Make sure that the constant parts of this file are integrated as
constants in the rest of the compiler.

Handle case where base address of an `offset' locative is a constant.

Initial revision

Many changes to improve code at both RTL and LAP levels.  Major
highlights: improved handling of continuations that are sometimes
known; improved instruction combination algorithm; better register
spilling in LAP generator; better handling of registers for fixnum
operations.

Teach how to combine stack references.

Rewrite this pass to be a more powerful instruction combiner.  This is
still not a general solution, but now it is smart about moving the
value register and constant expressions over multiple instructions.

Redefine expression-cost computation to be mostly machine independent.

Flush `expression-non-object?' since that is now defined elsewhere.

Merge concepts of `address' and `fixnum' register into `non-object'
register.

Fix stupid bug involving missing call to `scfg*scfg->scfg!'.

Must not pop return address unless it has been pushed.

Merge concepts of `address' and `fixnum' register into `non-object'
register.  Implement operations to detect substitutable register
within a given expression, and to substitute subexpressions for those
registers.  Implement predicate to determine if an expression is
constant.  All of these new operations are used by the improved
register combiner.

Simplify `rtl:trivial-expression?' by disallowing stack references.
This causes some inefficiencies that must be corrected elsewhere, but
reveals more intermediate values to the CSE.

Merge concepts of `address' and `fixnum' register into `non-object'
register.

Change references to `coerce->any' into calls to
`standard-register-reference'.

Use `move-to-temporary-register!' to correctly reuse a data register
for a particular rule.  Previously was doing something ad hoc.

Many many changes.

Define fixnum constant limits more carefully.  Redefine expression
cost computation -- most is now machine-independent.  Change
`address-register' concept to be `non-object-register'.  Delete
`pseudo-register=?'.  Define `interpreter-value-register?'.

Too many changes to list them all.  See the code.

Fix order of events bug in disassembly of bit field instructions.

Change names of two state variables for `show-fg', because one of them
conflicted with another variable in the compiler package.

No change. made a mistake.

Force register allocator to reuse registers on an LRU basis.
Previously it was somewhat random, and usually MRU.  Teach the
allocator to spill values to registers of other types when allocating
a register of a particular type.  This often wins grossly on the
68020.  Also implement predicates to determine whether particular
aliases have unique values.

Many changes.  Add documentation comments to most of the procedures in
this file.  Improve functionality of existing procedures in a variety
of ways, and add new procedures to implement new functionality.

Break out procedure to pattern match RTL against rules database.  This
procedure can be used as a predicate by the RTL optimizer to determine
if particular instructions are valid.  In particular, this is used by
the instruction combiner.

fix named let

(let loop ((x loop)) x) worked when it shouldn't have.
has been fixed so that the name is not visible to the init forms.

Undo changes introduced with version 4.10, to facilitate
parallel development.

Guarantee that "comp.bcon" is constructed if it doesn't already exist.

Load cref if not already loaded.

Just forgot a few things for the rtl-constructor stuff.