Pretty-printer needs definition of `unparse-list/prefix-pair?' from
unparser.

*** empty log message ***

Unparser now treats QUASIQUOTE, UNQUOTE, and UNQUOTE-SPLICING
specially.

`define-structure' macro should return the name of the structure which
was defined.

Eliminate C compiler warning.

Eliminate unreferenced variable warning.

*** empty log message ***

Define `combination/inline/simple?'.

Add several new rules which are needed because of changes to the
expression simplifier in the RTL generator.  Rewrite the rules for
handling string manipulation: the previous rules weren't complete or
accurate.

Change the expression-simplification to generate temporaries for more
kinds of expressions.  This provides more intermediate values for the
CSE to work on, allowing it to do a better job, but assumes that the
code compressor will eliminate them later.

Implement more aggressive compression of the RTL, because the
intermediate swell caused by having one RTL instruction per bblock
object finally exceeded the available memory for a reasonable file.
The current solution, which compresses the instructions associated
with each FG node as they are generated, saves a considerable amount
of space.

Open coding of primitives: flesh out the type and range checking,
which was previously a little spotty (e.g. general-car-cdr had no type
checking).  Improve handling of `string-ref' and `string-set!' so that
they inline code in the computed index case.  Flush inline coding of
`char->ascii', which was incorrect anyway since it didn't check to see
if the character was in the ASCII range.

Change simplicity analysis: previously all inline coded combinations
were treated as simple, now there are some (e.g. generic arithmetic)
which are not.  There is still a problem relating to type checking
which could cause problems: if a type or range check fails in an
otherwise simple inlined combination, the exception handling is not
simple.  This should be fixed without making the entire combination
non-simple.

Change CSE to record expressions as their values are pushed on the
stack; previously these expressions weren't recorded until their first
reference.  Fix `insert-stack-destination!' which was not setting up
the quantity associated with a stack slot correctly.  Fix stack model
which was not invalidating things correctly when pops occurred.
Change method for `invocation:special-primitive' to forget the
contents of all pseudo registers.

Remove all dependencies on "rtlbase/rtlcon".

Fix stupid typo in `increment-machine-register'.

Add definitions of `address-units-per-object' and
`address-units-per-packed-char', which are more convenient numbers to
manipulate when doing index arithmetic.

Fix bug in rule for this expression:

(ASSIGN (OFFSET (REGISTER (? a)) (? n)) (FIXNUM->OBJECT (REGISTER (? source))))

There was a non-obvious order of argument evaluation problem here.

Bug in interaction of continuation-entry setup code and invocation of
primitive for which the continuation-entry was created: the push of
extra items (e.g. dynamic link) was happening before the arguments to
the primitive were stashed in registers.  The result was that
arguments that depended on the stack pointer were gobbling up the
wrong stuff.

Fix several bugs in the stack-frame->continuation unparser.
It now seems to work on compiled code as well.

Fix bug in Z command.  Change G command so that it doesn't needlessly
load debugging information for frames that aren't displayed.

Extend V and Z commands to allow lookup of symbols in compiled code
environments.

Redefine `debug/eval' so that it will lookup symbols in compiled code
environments.  Remove call to `hook/repl-environment' which seems
unnecessary.

Change handling of debugging information to match changes in compiler
version 4.37.  Add facilities for accessing source code from debugging
info.  Add where commands `p' and `s' to debugger, moving the old
commands bound to those keys.  Change debugger display formats a bit.

Change debugging output again; add slot to continuations and
procedures to hold pointer to original source code (SCode).  Change
FG generator to save this information so it can be included in the
debugging output.

Change variable names in debugging information to record other facts:
Is the variable a cell?  Is it integrated, and if so, what is its
value?

`stack-address-offset' primitive had sign bug.

Adjust for changes in continuation parser code.

Fix site loading mechanism; previous try didn't work.

Adjust frame display to look better on regular console.

Add mechanism to allow normalization of directory prefixes.  Add
"site" file mechanism to cold load to allow this to be performed in a
site-specific manner.

Initial revision

Add mechanism to allow normalization of directory prefixes.  Add
"site" file mechanism to cold load to allow this to be performed in a
site-specific manner.

Fix some bugs related to compiled code debugging when no debugging
info is available.  Change cold load to cause updating of debugging
information for the runtime system.  Fix demand loading so that, when
disabled, procedure names are shown when the debugging information is
already loaded.  Discard debugging info before doing disk-save.

Fix some bugs related to compiled code debugging when no debugging
info is available.  Change cold load to cause updating of debugging
information for the runtime system.  Fix demand loading so that, when
disabled, procedure names are shown when the debugging information is
already loaded.  Discard debugging info before doing disk-save.

Flesh out debugging information.  This goes along with changes
introduced in runtime system version 14.31.

Flesh out debugging information.  This goes along with changes
introduced in runtime system version 14.31.

Initial revision

Extensive changes to utilize compiled code debugging information:

* The stack parser now knows how to parse individual compiled code
subproblem frames.

* The compiler-info package has been updated to match the new compiled
code info format.

* The environment abstraction has been generalized to handle compiled
code stack and closure frames, when debugging info is available to
describe them.

* The `debug' and `where' presentation formats have been adjusted
somewhat to allow compiled code information to be presented
reasonably.

* `debug' has been extended to provide the common `A' command from
`where'; there should be little need to invoke `where' from `debug'.

Change definition of `compiled-entry-kind' for return addresses.  Now,
the second element is a subtype: 0 means that the offset to the next
return address is fixed and known; 1 means that the next element on
the stack is a dynamic link, which points at the next return address;
and 2 means that this is the "return-to-interpreter" return address.
The third element is either a non-negative offset (for subtypes 0 and
2) or -1 (for subtype 1).

Adjust floating point formats for pyramid.

Don't bother putting out cref information for global and primitive
references.  For a program like the compiler, these comprise about
half the total cref, and are of little use.

Add `next-continuation-offset' slot, which is either the stack offset
to the next continuation, or false indicating that a dynamic link is
in use.

Fix definition of `stack-top-address' to make it consistent with
definition of `object-datum' (which will be used to extract the
address value of a stack address).  Implement new primitive
`stack-address-offset' which computes the offset (in objects) between
the stack-address argument and the top of stack.

Fix definition of `stack-top-address' to make it consistent with
definition of `object-datum' (which will be used to extract the
address value of a stack address).  Implement new primitive
`stack-address-offset' which computes the offset (in objects) between
the stack-address argument and the top of stack.

If combination has a `continuation-push', prevent that continuation
from being pushed when the combination is constant folded in any way.

*** empty log message ***

Rewrite the handling of SCode quotation expressions to allow `car' to
be constant folded by the compiler.

Rewrite the handling of SCode quotation expressions to allow `car' to
be constant folded by the compiler.

Tweak popping-limits computation once again: the external block is not
necessarily one of the limits, and assuming that it is forces the use
of dynamic links in many common situations.

Repackage constant folding code.

Do not require `object-immutable?' of arguments to constant folding
operations.  Because of the rule which says that constants appearing
in program text must be immutable, we can freely constant fold
anything that we can get our hands on, provided that we never constant
fold anything to does a cons-like operation.

Add references such as `car' and `vector-length' to set of constant
foldable "functions".

Delete reference to `block-frame', which has been made obsolete.

Add hooks for debugging info.

No longer need to use `set-type-object-description!'.

No longer need to use `set-type-object-description!'.

*** empty log message ***

Fix bug in `instruction-dead?': an assignment whose RHS contains side
effects cannot be considered dead.

Introduce new algorithm to delete unreachable nodes from the RTL
graph.

Change (commented-out) code that used to use lvalue marking mechanism
to now use new mechanism.

Improve popping limits computation -- new algorithm should eliminate
dynamic links in many situations.

Add generation and alist slots to lvalue objects, similar in form and
purpose to those used in CFG nodes.  Remove the now-obsolete marks
slot.

Change procedure unparser to show the label in a more palatable way.

Change block unparser to show the type, and to show the associated
procedure's label in a more palatable way.

In the merged register map, if there are multiple aliases of the same
type for a given register, eliminate all but one of the aliases.

Repackage lifetime-analysis and register-allocation code.

Eliminate fluid let to patch SF since the latter has now been fixed.
Introduce use of `->environment'.

(block-partial-ancestry): allow ancestor to be same as starting block.

Fix another case which was generating dangling code.

When generating new code, must use contexts instead of blocks.

Rule for (OVERFLOW-TEST) must return some code.  Before, it was
winning entirely by accident.

Change `block' to `context'.

Delete `variable-auxiliary!'.

*** empty log message ***

Lots of changes to implement frame reuse stuff.  See the individual
log entries.

Delete all of the system predicate expansions: variable?, etc.

Change modifiers to return `unassigned'.  This will result in superior
compiled code as the compiler will not attempt to produce the original
value of the location being modified.

Frame reuse changes.  Also add change to prevent noop from pop-frames.

* Change `block' to `context' where needed.

* New abstractions support owning and disowning of block children.

* Guarantee that `combination/model!' is always defined.

* Change `block' to `context' where needed.

* Make changes to convert `block' to `context'.

* Update multiple value stuff.

* Move `original-block-parent' to "base/blocks.scm".

* Add pass which runs afterwards to find closures and install the
correct reference context for each.

* Fix bug in `syntax-files!': was not causing circularly dependent
files to recompile one another when needed.

* Add declarations for new files.

* Change `discriminate-items' to guarantee that the order of the
results is the same as the order of the argument.

* Update multiple value stuff.

* Add new passes to setup frame adjustments of combinations, compute
subproblem free variables, and recompute closure contexts.

* Change `block' to `context' where needed.

* Define `procedure-arity-encoding'.

* Delete `set-procedure-closing-block!'.

* Redefine `procedure/type' to discriminate closure and
trivial-closure types.

`tagged-vector/subclass-predicate' should use `vector-tag?' predicate
rather than `pair?'.

* Add new lvalue slots: `initial-{for,back}ward-links'.  These
correspond to `initial-values' in that they are the first order links
of the DFG.

* Delete `popping-limits' slot from variables.

* Change `variable-in-known-location?' to accept a context rather than
a block.

* Change `block' fields to `context' where appropriate.

* Add two new items to combinations: `frame-adjustment' and
`reuse-existing-frame?'.

* Add `context' field to `true-test' node.

* Add new node type: `stack-overwrite'.

* Delete `node/offset'.  Offsets are now stored in reference contexts.

Significant repackaging.

Redefine `block-original-parent' to be `original-block-parent' in
keeping with changes to closure analysis.

Change analysis in two ways: (1) static link computation now uses
`initial-backward-links' to get much more precise notion of when
parent is the stack link.  (2) dynamic link computation stores all of
the popping limits in the caller block for use by the combination code
generator.

UUO links to entities and some procedures with optional arguments have
been improved.

New type: stack-overwrite.  Remove changes to delete unreachable
nodes, as this code was buggy.  No longer needed because of changes to
code generator, but we'll replace it soon anyway.

Block->context changes.  Improve handling of static links.  New type:
stack-overwrite.

Multiple value changes.  Block->context changes.

Many changes for frame reuse stuff.

Significant changes for frame reuse stuff.

* Change `block' to `context' where needed.

* Change open coding stuff to avoid generating code that will be
dangling in the output.

* Move everything except the core block search stuff to another file.

* Update to use reference contexts.

Many changes: see the diff.