Fix minor bug in last change.

Changes from JMiller that are needed to get this stuff running on the
DECStation 3100.

Add new hash-table abstraction; this is loaded by

(load-option 'hash-table)

This abstraction is very similar to that of Common Lisp.

Initial revision

Define `symbol-hash-mod'.

Run scheme-mode-hook before scheme-interaction-mode-hook.

"fixnum.o" should depend on "mul.c", not "os.o".

Add changes to support gcc on the vax.

Fix cold-load problems.

Fix cold-load problems.

*** empty log message ***

Implement new record proposal.

Initial revision

Add in sun4 (sparc) descriptions for Morry Katz.

*** empty log message ***

Changes by JMiller to make it work under HP cc and Sun cc (PCC?).
Structure returns are different for those two compilers and GCC.

Changes by JMiller to make it work under HP cc and Sun cc (PCC?).
Structure returns are different for those two compilers and GCC.

* Add new operations to register allocator that determine whether
allocation will cause unloading or spilling of registers.  Change the
operation `standard-register-reference' to use these operations when
deciding whether or not to refer to a register's home rather than
allocation a new alias for it.

* For an inline-coded procedure (e.g. LET), create an association
between each parameter of that procedure and the FG node that supplies
that parameter's value in the call.  This association is used to
optimize the initialization of variables that will be stored in cells:
the cell for such a variable is created during the call rather than
after it.  Previously, a stack-allocated parameter was initialized by
pushing its initial value, and then the contents of the stack location
were removed, placed in a new cell, and the cell stored back into the
stack location.  Now, the parameter's value is wrapped in a cell
before being pushed.

* RTL output files have been changed to print uninterned symbols by
name.

* The code generated for assignments in value position has been
slightly changed to guarantee the correct order of events.
Previously, the order of the computation of the new value and the
fetching of the old value was indeterminate; now it is guaranteed that
the new value is computed before the old value is fetched.

* The bit-string representation of register sets has been restored.
This has a time penalty for small register sets, but guarantees that
access to the register sets is independent of the number of registers.
Certain programs with large numbers of registers were being
unreasonably penalized by the list-based representation.  Also, the
dependencies for the file "rtlbase/regset" were adjusted to reflect
the files that actually refer to it.

* The RTL generated for cached variable assignments has been changed
to precompute the value of the assignment and store it in a pseudo
register.  Previously, the code was replicated.

New definition of `complex:acos' preserves more precision and is more
efficient.  This one also does not introduce inexact real or imaginary
zero components in certain (important) boundary cases, such as:

(acos 2)
;Value: 0.+1.3169578969248166i

Fix bug in fasdump by which zero length files were left around when
the fasdump failed.

Fix bug in load/internal by which empty files caused an error in the
fasl check.  peek-char returned an eof-object, and char->ascii barfed
on that.

Now, if the file is empty, it is loaded as a source file, whatever
that means.

Fix bug in Prepare_Apply_Interrupt noticed after last set of changes
(addition of RC_INTERNAL_APPLY_VAL).

Fix bug in Prepare_Apply_Interrupt noticed after last set of changes
(addition of RC_INTERNAL_APPLY_VAL).

Add the INTERNAL-APPLY-VAL return code.

Add the INTERNAL-APPLY-VAL return code.  It replaces the procedure
with the current value of Val and then proceeds to apply.  Apply
errors use this return code rather than INTERNAL-APPLY to restart.
Under normal operation there is no change since a POP-RETURN-ERROR
return code (which restores Val) is pushed as well, so to make use of
this feature the top few frames of the stack must be eliminated before
invoking the continuation.

Add the INTERNAL-APPLY-VAL return code.

Initial revision

Add the INTERNAL-APPLY-VAL return code.

Initial revision

New compiler port.

Initial revision

New compiler port.

Make setup-image do what the comment at the top of the file says when
identify is #f.

`hash-table-copy', when copying the elements in a hash bucket, was
copying each element and then setting its previous-hash link to that
of the original element rather than its copy.  Don't entirely
understand why this wasn't noticed before.

Conditionalize constant space sizes for the Spectrum.
Fix floating alignment bugs.
Fix bchdmp bug.

Fix floating alignment.

Add floating alignment back.

Fix bug by which current_disk_position was not reset from the last
gc-like operation.  When the files were swapped for fasdump, the
system might not lseek thinking that the pointer into the file was at
the correct place while it doesn't.  Typical failure would be
"Could not read into the scan buffer" since the file was shorter than
expected.

Make changes to use more space-efficient representation for dbg-label
objects.  These changes require runtime version 14.72 or later.

Add new representation for `dbg-label', that is optimized for minimum
space consumption.  Make the dbg-label operations generic so that they
handle both the old and new representations.  By default, the
constructor makes the old representation.  These changes are
upwards-compatible for old programs and old versions of the compiler.

Change `operation/open' to handle #F as a result from
`starbase-open-device'.

Make gr2 be compile code's val register.
Fix trampoline_to_interface.
Fix the number of NOPs before hook_jump_table.
Fix the closure code.
Fix various comments.

Fix hppa_extract_absolute_address, hppa_store_absolute_address,
CLOSURE_SKIPPED_CHECK_OFFSET, and various comments.

Version with compiler modifications.

Bump the constant space and compiled constant space sizes for the
spectrum.  Compiled binaries are 50% larger than on bobcats.

Fix typo.  print_a_bignum used && rather than &, causing all sorts of
problems.

Add missing ,@ in load-machine-register!

Fix relocation bug in fasload.c

Re-check in previous version since checked in on spectrum by mistake,
using built-in ci, rather than locally hacked version.

Fix bug in fasload by which closures and linkage sections were not
being relocated correctly on machines where datums are not addresses.

Fix stupid editing mistake.

Add a debugging facility that keeps a history of `Scan' and `To'
during the GC loop.  Conditionalize this and the trap-on-scan/free
facility on a new compiler switch, `ENABLE_GC_DEBUGGING_FEATURES'.

When forcing something into a specific machine register, as is done
for interpreter calls, make sure that anything cached in that register
is saved to a temporary first, if it's not needed.

Initial revision

* Disable early-syntaxing mechanism, and change back end to generate
LAP instead of assembler directives.  The assembler is now responsible
for converting the LAP to assembler directives.

* Change RTL and LAP output options to cause RTL and LAP files to be
written as the information is generated.  ".brtl" files are no longer
generated.

* Add concept of "suffix instructions" to the LAP generator.

* Disassociate per-instruction "dead registers" set from the set of
registers that need to be deleted after the instruction is generated.
This is needed because the LAP generator sometimes needs to know which
registers are dead _after_ the dead registers have been deleted.

* Many of the high-level register allocator operations have been
generalized so that they work for both machine and pseudo registers.
This simplifies the writing of powerful rules in the LAP generator.

* The LAP linearizer has been improved to notice certain common graph
patterns and generate them in a fixed way.  For example, if one of the
branches of a conditional goes to a block that is a dead end, the
linearizer will now force the dead-end block to come before the other
branch; this has the advantage that it usually minimizes the branch
distance, and prevents that dead-end block from being far away from
the conditional.

* The value-class abstraction has been generalized to have more
classes, and the use of this information has been made more uniform
and complete.

* The cross-compiler now forces the per-procedure compilation switch
off.

* The `define-rule' macro has been generalized to allow it to be used
with user-defined rulesets.

* The RTL definition macros have been changed to collect the RTL
expression names in sets that indicate their type.

* The compiler now treats self-referential top-level definitions as
static by default.

* New RTL optimization passes perform limited dataflow analysis and
rewriting of the RTL.  These permit the LAP-generation rules to be
tuned to more fully take advantage of the target machine's instruction
set.

* The subproblem free-variable analysis pass has been changed to
memoize information at every CFG node.  The previous memoization
scheme had quadratic time complexity for certain programs.

* The RTL expression simplifier has been changed to force the use of
pseudo registers for all subexpressions, except the right-hand side of
a pseudo-register assignment.  This guarantees the uniformity of the
code-generator's output, permitting the LAP-generator rules to be
reduced to a small minimal set.

* The RTL `unassigned-test' and `true-test' predicate types have been
replaced by `eq-test' with the appropriate argument.

* The RTL `constant' expression type has been replaced (in many
instances) by the new `machine-constant' type.  The former is now used
only when the result is a Scheme object, while the latter is used to
represent constant fields of words.  A `machine-constant' always has
an exact integer value.

* The RTL `offset' expression type has been changed so that it no
longer requires its first argument to be a register; now that may be
an arbitrary RTL expression.

* The RTL code compressor has been improved to handle many more
instruction types, and to permit stack-slot reference expressions to
be moved over stack pushes, adjusting their offsets in the process.

* The RTL CSE was not copying its state correctly, and as a result was
not doing as good a job as possible across certain conditional
branches.

Suppress error messages when opening a graphics device, so that we can
use this primitive to test for the availability of the device.  Also
fix typo in `starbase-write-image-file'.

Change configuration of 6.003 Scheme to eliminate old graphics code
and to include standard starbase device driver libraries.

Eliminate `box-clear' primitive.

Fix bug in signed-integer->bit-string by which it was not checking
whether the number would fit in the specified number of bits or not.

*** empty log message ***

Fix typo in character-attribute setting routines.

Add new target `install' to simplify installation of Scheme binaries.

Fix fencepost error in `disk-restore': when allocating space for a C
string, must allocate one more byte than the string's length to
account for trailing \0.

Add new variable `flonum-unparser-cutoff', which controls the flonum
printer's precision.  Acceptable values of this variable are:

NORMAL use all available precision
(RELATIVE <n>) <n> digits of precision
(ABSOLUTE <n>) <n> digits of precision after the decimal point

*** empty log message ***

Fix stupid bug in division that caused quotient to be off by one in
rare cases.

Make generic arithmetic primitives perform fixnum arithmetic as a
special case.  This makes a factor of 10 difference for (fib 20) on an
interpreted system.

Correct for scaling overshoot in `ratnum->flonum'.

Fix case bug in `complex:expt'.

Fix typo from last edit.

*** empty log message ***

*** empty log message ***

Now that `vector-set!' is defined to return unspecific value we don't
need to force it into effect position.

Add error checking to symbol operations.

*** empty log message ***

*** empty log message ***

Fix definitions of `complex:acos' and `complex:angle' to handle
boundary conditions.

Change definitions of 2/3-operand register-allocation procedures.

Flush 2/3-operand register allocation procedures.

graphics and debug changes

Change format used by the "Y" command.

In `trace-display', no-argument case was putting close bracket at
beginning of empty line, when it should have been at the end of the
previous line.

* Take advantage of new entry points in compiled code interface.
These changes require microcode 11.16 or later.

* Use BFEXTU instruction to extract type field.  This instruction is
both faster and smaller than the previous sequence, for both 6 and 8
bit types.  Use BFTST instruction to test for zero types.
Conditionalize use of the bit-field instructions on the new flag
`use-68020-instructions?'; I don't believe that we're using any other
68020-specific instructions besides these.

* Add rule for 1-arg fixnum predicates that tries to take advantage of
the preceding LSL.L instruction to test the number, rather than
emitting a redundant TST.L; this new rule is always used in generic
arithmetic expansions.

* Take advantage of new entry points in compiled code interface.
These changes require microcode 11.16 or later.

* Use BFEXTU instruction to extract type field.  This instruction is
both faster and smaller than the previous sequence, for both 6 and 8
bit types.  Use BFTST instruction to test for zero types.
Conditionalize use of the bit-field instructions on the new flag
`use-68020-instructions?'; I don't believe that we're using any other
68020-specific instructions besides these.

* Add rule for 1-arg fixnum predicates that tries to take advantage of
the preceding LSL.L instruction to test the number, rather than
emitting a redundant TST.L; this new rule is always used in generic
arithmetic expansions.

In the 680x0 compiled-code interface, added entry points for many
common entries; also added special entries for `apply' of small frame
sizes.  These entry points save space in the compiled code,
eliminating the code expansion caused by the recent upgrade of the
compiled-code interface.

Add new primitive `file-attributes-indirect' that uses `stat' instead
of `lstat'.  Change `file-modification-time' to use it.

Add new primitive `file-attributes-indirect' that uses `stat' instead
of `lstat'.

Cause floating-overflow traps to signal at all times.  Change hardware
trap frames to contain the "code" passed into the signal handler.

Make sure that time reports appear in decimal notation.

Adjust parser for hardware trap frames to account for extra object
pushed by microcode.

If a microcode error is missing a handler, report the error without
special handling for the irritants.

If a microcode error is missing a handler, report the error without
special handling for the irritants.

Fix masking bug in `compiled_entry_type'.

Modify comments to match the compiler and cmpaux-hppa.h

Add store_closure_code hook to save code space.

Fix bug in code that detects whether the manifest closure count can be read.
The area forced to memory did not in fact include the count, so the
count read was garbage.

Don't consider `cons-closure' to be a trivial RTL expression.

Typo.

- Conditionalize open coding according to the port.
There is now a machine-dependent list
(compiler:primitives-with-no-open-coding) in machin.scm which disables
individual primitives.

- Extend fixnum and flonum operations with an overflow? flag.

- Force use of address registers for indirection.

- Don't emit dynamic-link comparison unless the called procedure is
known to be internal.

Conditionalize open coding according to the port.
There is now a machine-dependent list
(compiler:primitives-with-no-open-coding) in machin.scm which disables
individual primitives.