Fix a bug in walk-procedure that manifested itself in sf/subst.
The free variables in closures are determined exclusively by the
closure block, not by the free variables of the procedure block.

Add support for multi-closures, ie. closures with multiple (or no)
entry points that share the environment "frame".

Change generate/sequence to process forms in order (left to right).
In this way, compilation by procedures compiles the procedures in the
order in which they appear in the file, producing predictable output.

Fix the lap->code example.
procedure-variables are now cleaned up after phase/setup-block-types
rather than phase/identify-closure-limits, since the multi-closure
code in phase/setup-block-types needs this information.

Increase the size of symbol tables.  Symbol tables should be growing
(re-hashing) hash tables, but are currently fixed.  The previous value
was too small for large compilation units.  The current one may be too
large for small units, but oh well.

One more step of making file-touch work better in a distributed
environment.  Some changes for NFS (addition of special handling of
ESTALE), and better handling of some other conditions.

Add ADJUST_CLOSURE_AT_CALL.

Remove the interrupt multiclosure register setup and special entry
point.

Add ADJUST_CLOSURE_AT_CALL.
Remove the interrupt multiclosure register setup.

Eliminate comutil_interrupt_multiclosure.  It was not correct.
Modify comutil_interrupt_closure to accomodate closures in machines
where the environment pointer does not match the entry point.
This is done using a new macro ADJUST_CLOSURE_AT_CALL from
cmpint-xxx.h

Fixed bug in comutil_interrupt_dlink (passing 2 instead of 3 arguments
to compiler_interrupt_common).

New information in closure dbg blocks to accomodate multiclosures and
make the accessors/mutators architecture independent.

New information in closure dbg blocks to accomodate multiclosures and
make the accessors/mutators architecture independent.

- Change "link.l" into "link" because Asmcvt does not understand it.
- Change "jmp(%a0)" into "jmp (%a0)" because Asmcvt does not parse
it correctly.

*** empty log message ***

For hp-ux 7.0, must define _HPUX_SOURCE if the compiler is ANSI C.

Eliminate (now incorrect) declarations for various procedures defined
in the C library.

Eliminate (now incorrect) declarations for various procedures defined
in the C library.

Fix conversion of Scheme argument to fopen.

"bignum.o" depends on "limits.h".

Added LOAD-LATEST and FASLOAD-LATEST to load the most recently
modified of the LOAD/DEFAULT-TYPES (or FASLOAD/DEFAULT-TYPES). Also
added a LOAD/DEFAULT-FIND-PATHNAME-WITH-TYPE variable which LOAD and
FASLOAD will use (indirectly) to determine what file type to load. See
the rcs log for load.scm for more info.

Don't treat `restore-value' frame as a subproblem.

Rewrite file_touch to use fstat after open rather than stat and then
open.  This seems to reduce the problems with stale NFS handles, and
should affect nothing else.

Oops, forgot some initializations for the LOAD-LATEST stuff. See the
log for the last version for more info.

Add multi closure interrupt support.
Merge in some MIPS changes (bug fix to bitstrings, and file_touch).

Add asm_interrupt_multiclosure.

Add comutil_interrupt_multiclosure.

Added LOAD-LATEST and FASLOAD-LATEST to load the most recently
modified version among the LOAD/DEFAULT-TYPES.

Added a variable LOAD/DEFAULT-FIND-PATHNAME-WITH-TYPE which may be set
to a procedure which tells load how to decide which file type to use.
The procedure accepts a pathname and a list of file type strings
(usually this will be LOAD/DEFAULT-TYPES) and should return the
complete pathname for load to use.

Fix a bug in BIT_STRING_INDEX_PAIR_TO_INDEX for machines with vax byte
order.

Forgot to change the copyright date.

Add `#undef ultrix' for unknown reasons -- JMiller.

Bump the default space parameters on the MIPS when there is compiler
support.

Add 6 bit type codes and an optimizer switch to be able to handle
interp.c

Change `file-open-channel' primitive to permit opening a file in
append mode.  The second argument to this primitive is now interpreted
as follows:

#F => open for input
#T => open for output
else => open for append

Add optional second argument to `open-output-file': if supplied and
not false, the file is opened for append.

Rename local variable to prevent confusion during debugging.

Detect and signal error for `(let 3 4)'.

Force top-level syntax definitions to be local to the file in which
they appear.

Force top-level syntax definitions to be local to the file in which
they appear.

Fix broken movb and movib instruction definitions.

Fix broken qualifier.

Fix definition of type-scale-factor.

Fix macro definition from last change.

Add code to flush the I-cache at the right times: After storing an
execute cache entry, and after major relocations (GC and
disk-restore).

Remove check window by using file-touch, that returns #t or #f
depending on whether the file existed or not.

Change file-touch to return #t if the file did not exist previously
and was succesfully created, #f if it existed, and was succesfully
modified, and an error string otherwise.

Change file-touch to return #t if the file did not exist previously
and was succesfully created, #f if it existed, and was succesfully
modified, and an error string otherwise.

Change file-touch to give an error only if the result of the primitive
is an error string.

Allow (pseudo) instructions to expand into no code.

Make BSR to the following instruction cause an error at assembly time.

Prevent the diamond rule for pblocks from generating the same block on
both branches, the assembler will then complain because of duplicate
labels.

Forgot to change > to != in last change.

Eliminate dependency on byte order from BIT-SUBSTRING-FIND-NEXT-SET-BIT.
Use INC_BIT_STR_PTR rather than pre-decrementing.

Fix load-interface-args! which was clearing the wrong registers.

Fix rulrew which was constant folding object->type and object->datum
incorrectly.

Improve code sequences generated for inline-coded generic arithmetic
in reduction position when arguments are constant.

Make compiler declarations propagate when compile-by-procedures? is
on.

Fix load-interface-args! which was clearing the wrong registers.

Patch inline code so that inliners that call out of line will see
constant operands rather than stack locations.

Fix broken rewrite rules by which generic arithmetic with a constant
argument was always calling off-line.

Make top level declarations propagate when compile-by-procedures is
turned on.

Fix bugs in rulrew by which generic arithmetic with a constant
argument was always calling off-line.

Make top level declarations propagate when compile-by-procedures is
turned on.

Add MIPS compiler support, and remove nesting of #if's on PROC_TYPE.

Add typedef of format_word when not HAS_COMPILER_SUPPORT.
It should never be used, but the macro stubs should guarantee this.

Update to match 68k.

lap:make-unconditional-branch returns an instruction sequence rather
than a single instruction because on machines with branch delay slots
and no nullification, a NOP must appear as well.

Comment out uses of expt, since compiler declarations don't work with
compile-by-procedures?

Add a test on endianness to expand-fields so that the same macros can
be used for all RISC machines.

Add a test on endianness to expand-fields so that the same macros can
be used for all RISC machines.

Comment out uses of expt, since compiler declarations don't work with
compile-by-procedures?

lap:make-unconditional-branch returns an instruction sequence rather
than a single instruction because on machines with branch delay slots
and no nullification, a NOP must appear as well.

Comment out uses of expt, since compiler declarations don't work with
compile-by-procedures?

Major change:

- New drifting/undrifting code and closure analysis.

Minor changes:

- lap:make-uncoditional-branch now returns a sequence of instructions,
rather than a single instruction.

- Uses of `expt' in machin and lapgen have temporarily been commented
out because the `usual-definition' declaration does not work when
`compile-by-procedures?' is turned on.

- letrec-value now gives only a warning when binding a trivial
closure.

- close-procedure! in blktyp now only gives a warning when a
non-trivial closure becomes trivial.

Substitute constants for expressions computed with `expt'.  The expt
constant-folding declaration is currently ignored (because of
compile-by-procedures? breaking compiler declarations) and since the
values are integrated, they were being computed in a zillion places.

lap:make-unconditional-branch now returns a sequence rather than a
single instructions.  On machines with branch delay slots and no
nullification, a nop must be returned in addition to the branch
instruction.

lap:make-unconditional-branch now returns a sequence rather than a
single instructions.  On machines with branch delay slots and no
nullification, a nop must be returned in addition to the branch
instruction.

letrec-value no longer errors if a binding is a trivial closure.
There are perfectly legal programs where this happens, although they
are written in poor style.  It now just gives a warning.

Nth revision of this code.

Improve the closing and undrifting code significantly.  Many of the
procedures that were (needlessly) closed by the previous version are
no longer closed.

Undrifting constraints are computed more precisely.

Additionally, closing checks connectivity of the environment chain
(generating undrifting constraints as necessary) to ensure that all
the free variables captured are in fact available, and it also ensures
that disowned children (spliced out by the drifting code) are
undrifted if they depend on the closed-over variables.

One potential non-improvement introduced:  Undrifting any procedure
forces its compatibility class to close, in order to avoid a harder
analysis.  This is a cop-out for now.

Get rid of funny drifting rules.  Let-like procedures and others that
were previously not allowed to drift are now allowed to.  The
undrifting code takes care of them.

It's OK for a non-trivial closure to become trivial, not the other way
around.  The previous error is now split into a warning (in the
unexpected but bad case), and an error (in the bad case).

Fix bch system to run on machines with floating alignment.

Initial revision

Initial revision

Add MIPS compiler support.

Initial revision

Add new method for finding variable that is used by stack-overwrite
mechanism.  This new method does not use any tricks like variable
indirection to find the value, but produces a locative for that
particular variable.

Undrifting constraints must propagate transitively to free callers.
Undrifted procedures must be re-analyzed for Exporting.

Move switch.scm back to compiler/base, so it can be shared.
Update to match 68k version.

Add compiler:noisy?
Move switch.scm back to compiler/base, so it can be shared.
Update to match 68k version.

Add compiler:noisy?

Add compiler:noisy?

Move switch.scm back to compiler/base, so it can be shared.
Update to match 68k version.

Move switch.scm back to compiler/base, so it can be shared.

Add sf:noisy? flag, and syntax&integrate global procedure.

Modify gc-statistic/meter so that gcnote will not be confused.

Add gc-timestamp for data structures that need to be updated after
gcs, but not necessarily after each gc.

Add arities to primitive definitions so that the file will syntax and
load in systems with no process primitives.

Fix register*constant methods for plus-fixnum and minus-fixnum.
When adding 0 with overflow tests, they were not loading the target.

When accessing `block-procedure', make sure it is a procedure before
using it as such; it might be an expression instead.

Fix unbound variable in `delete-process'.  The `process/to-port' is an
output port, not an input port, so use the appropriate operation to
close it.  Also do some slight reformatting.

*** empty log message ***

In `decode-ordinary-floating-instruction', always specify at least two
operands in the result, because the assembler does not understand the
one-operand syntax.

In `two-arg-register-operation', don't delete reused alias of first
operand until the second operand's reference has been computed.  This
prevents the reused alias from being mistakenly re-allocated for use
by the second operand.

*** empty log message ***

Conditionalize floating-point register load instructions to give
source type if loading from memory.

Conditionalize binary floating-point open-coded operations on whether
the source is a register or not.

Remove duplicate entry for fp6 from the list of initially available
registers.