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.

Extend fixnum and flonum operations with an overflow? flag.

Force use of address registers for indirection.  If the register is
used once, the cost is about the same in both space and time.
However, if it is used more than once, this is both faster and
smaller.

Split `machine-register-reference' to create new procedure
`guarantee-alias-register!'.  This new procedure is like
`load-alias-register!' except that it accepts a machine register as an
argument and handles it appropriately.

When compiling a reduction whose caller uses a dynamic link, don't
output link comparison code unless the callee is known to be an
internal procedure.

Change `move-frame-up' rule to use "mov" rather than "lea" when the
source is an address register.

Initial revision

New compiled code interface.

Add three operand utilities for Vax, RISC, etc.

Add copy-to-special-register.

Add scheme_to_interface_ble that falls through to
trampoline_to_interface.  GR3 now holds the address of
scheme_to_interface_ble.

Don't undrift a procedure if the only reason for doing so is contagion
from trivial closures.

Force compilation times to be written out in decimal notation.

Add compiler support for spectrum, and change compiler support to use
the C version.

New compiled code interface written in C.

Old hooks have been removed and the register block has been
restructured.

New compiled code interface written in C.

rtl-procedures now included a field that specifies whether they
need a dynamic link so that the interrupt handler can be determined at
compile time.

New compiled code interface written in C.

Initial revision

Fix bug in `expt': zero raised to an integer power always returned
one.  Fix bug in `asin': real arguments of magnitude larger than one
should be handled specially.

Clean up machine dependent initialization.  The assembly language
hooks are now set up by a procedure in this code.

- Remove temporary compatibility code and old initialization code.
  The hooks are now set up by code in cmpint-mc68k.h .

- Add an initialization procedure to diddle with the 68881.

Clean up machine dependent initialization.

Fix bug in Do_Compiled_Entry: OBJECT_NEW_DATUM was incorrectly used
for MAKE_OBJECT, and thus all compiled entries were being dumped as
nulls with non-zero datum fields.

Fix bug in boot.c by which GC_Reserve was set after MemTop was
computed in Clear_Memory.  GC_Reserve is now set by Clear_Memory.

Rename Heap_In_Low_Memory to HEAP_IN_LOW_MEMORY.

Clean up Spectrum stuff and remove previous version of the quad bit
kludge which forced 8 bit type codes to be used.

Add a comment about a future improvement to eliminate the delay slot
nullification in execute cache cells.

Document trampolines and interrupt checks.

Make EXTRACT_ABSOLUTE_ADDRESS and STORE_ABSOLUTE_ADDRESS call
out-of-line procedures which use bit fields rather than masks.

Add a IN_CMPINT_C flag so that cmpint2.h can insert code.

Fix segment and subsegment directives.
Fix table load instruction to use short pointer-specified segment.

Add a missing + sign in the computation of REGBLOCK_SIZE.

Fix the encoding of the space register on the instructions that take
a 3-bit space register code.

Remove COMPILER_HOOK_SIZE, no longer needed.

Remove ASM_REGBLOCK and ASM_RESET_HOOK.

When interconverting ticks and seconds, represent seconds as inexact
numbers and ticks as exact integers.