Optimize code being emitted for lookup-apply.

Combination should be added to vnode-combinations of the operator
vnode, if any.  Previously it was added to vnode-combinations of the
combination-value, completely incorrect.

Change unsyntaxing of `error' and `bkpt', which now use absolute
references for the combination operator.

Change `error' and `bkpt' macros to use absolute references for the
operator of the expansion.

Fix bugs in compiled code interface variable cache code.

Fix bugs in rule for `invocation:cache-reference'.

Simplify `extension' argument to invocation:cache-reference.

`history-transform' was returning '() at the end of a chain of
subproblems, instead of the value of `the-empty-history'.  This caused
the debugger to signal an error when walking past the end of the
history.

Change unsyntaxing of conditionals to handle case of (if (not x) y)
correctly.

Treat weak pairs correctly.

Add fasdump and purify to bchscheme.

Implement rule for invocation:cache-reference.

Install better code for lookup-apply in the cached-variable case.  Do
in-line coding of reference-trap type test.

Canonicalize the destination of a memory assignment statement.
Rewrite the top level graph walker to mark nodes so that each node is
walked exactly once.  Optimize the walking algorithm to reduce copying
of the state to a minimum.

Make copy of assignment to cell of cached variable assignment.
Otherwise the CSE cannot optimize because the assignment occurs at the
join of two control paths.

Make copy of assignment to value of cached variable reference.
Otherwise the CSE cannot optimize because the assignment occurs at the
join of two control paths.

Compiler variable cache initialization routines accept the offset of
the constant slot as a memory offset (in objects) rather than as a
vector index.

Extend `rtl:expression-cost' to know about `variable-cache'
expression.

Define rules for cached variable reference RTL forms.

Change interpreter-call:cache-reference to extract the type of the
cache reference before testing it.  For cached variable compilations,
do not include ic environments in the closure, it is already in the
compiled code block.

Change interpreter-call:cache-assignment to extract the type of the
cache reference before testing it.

Change interpreter-call:cache-assignment/reference/unassigned? to
CSE their "name" argument.

Change interpreter-call:cache-assignment/reference/unassigned? to
simplify their "name" argument during construction.

Teach `expression->machine-register!' about (UNASSIGNED) expression.

Finish changing `rtl:make-constant' so that it notices SCode
unassigned objects.

Add new RTL types for cached variable lookup mechanism.

Change lookup-apply code to use variable cache when appropriate.

Add new RTL types for cached variable lookup mechanism.  Change
constructor for constants to know about unassigned object.

Add several new compiled-code entry points with return addresses.

Add several new compiled-code entry points with return addresses.

Redefine the Non_Object so that it is interned between bands.

Add parameter describing where IC frame parameters are located within
the frame.

Sun floating arithmetic bug fixed.

Sun floating arithmetic fixed.

Split entry points block into two sections to make it compatible with
previous version.

Add stuff for variable cache entry points to interpreter.

Change compiler entry points to account for new microcode with
variable cacheing entries.  Change `indirect-reference!' to allow the
address part of an indirect register to reside in its home.

Undefined procedure.

Add new return codes for compiled code interface variable cache.

*** empty log message ***

Give better error message for badly formed pattern in `named-lambda'.

In `unsyntax-shallow-FLUID-LET', turn lambda body into list of actions
before mapping over it.

Changes to make fast variable reference in compiled code work:
- New traps (TRAP_COMPILER_CACHED and dangerous).
- Support in lookup and interpret.
- Change to fasdump to generalize the fixed utility kludge.

Do not cache assignments from a machine register to a pseudo register.

*** empty log message ***

In `symbol-table-bindings', return alist of values rather than binding
objects.

Add extra operation to extract bindings from symbol table.

Fix randomness in switch statements for wrong_type_arg and
bad_range_arg.

Add entry points for variable caches and uuo links.

Add JAR's changes for VMS.

Initial revision

Cosmetic change to boot.c, some cleaning up of hardware trap code in unix.c.

Newline missing in end of computation termination.

Guarantee that interpreter-call result registers are referenced
immediately after the interpreter-call occurs.  Otherwise the lap
generator may reallocate them to some other purpose.

Interrupts that are out of range are now signalled through the last
slot in the interrupt vector.

Interrupts that are out of range are now signalled through the last
slot in the interrupt vector.

Split file into two pieces.

Record pop in these rules.

Patch because primitive-datum is broken.

Add error check for positive arguments to signed integer coercion.

Add PRIMITIVE_ABORT.

Add PRIMITIVE_RETURN

Add special lookup for compiler to do side-effect for value.  Also
define rules to handle more cases for eq-test.

Define more operations on SCode comments.

Add special lookup for compiler to do side-effect for value.

Add special lookup for compiler to do side-effect for value.

Undo FLUID-LET changes from last version.

Fix bug in expansion of interpreter-call:enclose.  When the number of
things being enclosed is sufficiently large, the generator was forcing
the allocation of D0 for use as a loop counter.  This had the
unfortunate side effect that if D0 contained some unboxed object then
that object would be flushed to memory.

Delete the fg-entry of each procedure and quotation as it is
rtl-generated.  Remove the time-ordering of the rtl generation as the
blecherous side-effect that required it has been removed as well.

Temporary registers no longer have a type, and need not be handled
specially for that.  Implement handling for value-register type.

Temporary registers no longer have a type, and need not be handled
specially for that.

Install special handling for close-coded combinations whose target is
a temporary.  Such combinations must be followed by code to assign the
value register into the temporary.  Also put in error check to
guarantee that this never happens in reduction position.

Rewrite the expansion for the RTL construction procedures so that they
in-line code correctly.  Previously they were lexprs, which do not
integrate very well.

Move `mvalue' to the `base' directory.  The `source' directory no
longer exists.

Change `add-pseudo-register-alias' so that it accepts an argument
`saved-into-home?'.  This is used to initialize the map-entry slot of
the same name if the register has no other aliases.

Fix `move-to-alias-register!' so that when an alias is reused for a
register that has no other aliases, then that alias is marked as
needing to be saved into its home.  Improve
`reuse-pseudo-register-alias!' so that it doesn't generate a move
instruction from a register to itself.  Fix a bug which prevented the
clear-map instructions from being inserted when the next node had
already been generated.

Change shallow FLUID-LET not to use side-effect for value.  This
improves the performance of compiled code.  Also change one-armed IF
and COND without ELSE to use new constant marker for the unused
branch.

Stupidity.

Define `undefined-conditional-branch' constant which is used to build
two-armed IF statements and COND with no ELSE clause.

`rcseep' no longer has any external definitions.

Delete definitions of most predicates, since they are used in one
place only.  They have been in-line coded in the appropriate places.

Fix the memory-invalidation code for assignments to memory.
Assignments to non-varying addresses were not invalidating the
destination of the assignment!  This was just screwed up.

Not so fast!

Delete `rcseep' from the files list.

Generalize `register-has-alias?' to handle machine registers also.

Guarantee that the `number-pushed' entry on lexpr invocations contains
the number of pushed operands +1 if the operator is pushed.

Extend tests of registers to handle machine registers as well.

Forgot to splice setup code into expansion for access.

Due to changes in the top level of the compiler, determining the
number of parameters of a procedure is done differently.

For known calls to procedures that are not externally visible, do not
pass arguments that correspond to parameters that are integrated in
the body of the procedure.

Typo.

Fix error in SETUP-LEXPR rule -- first arg to procedure-header was 'label';
should have been 'procedure'

Change all RTL constructs that contain pointers to compiler internal
data structures so that they only point to symbolic structures.  This
means that all occurrences of continuation and procedure objects have
been replaced by the corresponding label.  There is now a fairly fast
map from the labels to their objects.

This was done to make it possible to change the debugging file output
routines so that they fasdump rather than writing their output.

Case where value-register is assigned during a subproblem is actually
interesting.  This needs to be better handled sometime.

Implement new primitive `string-hash-mod' to enable efficient
string/symbol hashed tables to be implemented in Scheme.

Implement new primitive argument checking interface and argument error
signalling procedures.  Start using convention that macro names are
all upper case.

Fix arguments to `reference-temporary-register!'.

Fix broken eq-test generators.

Add operation to test whether a register has an alias.

Add hook to symbol interning code so users can keep track of the
symbols in the obarray.  This is intended to allow maintaining data
structures for special purposes, e.g. completion of symbol names.