Initial revision

Add procedures DISCRIMINATE-COMPILED-ENTRY and
COMPILED-CODE-BLOCK/MANIFEST-CLOSURE?

Do not unsyntax a `make-environment' special form unless the last
action in its body is `the-environment'.

Always load compiled if possible.  Adjust version to agree with RCS
version.

Adjust formatting of package filenames.

Merge in vector range checking.

Merge in vector range checking.

Initial revision

First checkin for runtime system version 14.

First checkin for runtime system version 14.

First checkin for runtime version 14.

*** empty log message ***

*** empty log message ***

Initial revision

First checkin for runtime system version 14.

First checkin for version 14.

First checkin for version 14.

*** empty log message ***

Fix nasty bug in tty interrupt code.  The symptom of the bug was:
typing ^G while the microcode was in `TYI_Immediate' caused the next
read from the tty to get EOF; subsequently Scheme signalled TERM_EOF.
The problem was that there was local storage in `TYI_Immediate', which
contained trash after the interrupt performed a `longjmp' back into
the procedure.  According to the definition of `setjmp', it is illegal
to depend on such local storage.  We are unlucky in that only a little
bit of the local storage was affected so it took a long time to notice
this problem.

This was fixed by introducing a fluid-binding mechanism to allocate
and deallocate local state.  There may be a problem with the
interaction between `longjmp' and this mechanism.  If we `longjmp'
past the deallocation routine the world will be messed up.

Fix to bitstr.c

Attempt to fix one path through copy bits.  I think this works,
but I make no claims about understanding why.

Add new escape sequence which tells Emacs to change the working
directory of the Scheme process buffer.

Added complex number arithmetic (no trancendentals).

Added complex number abstraction.

(cse/assign) Notice pops from stack and adjust stack pointer
accordingly.  Can't understand why this wasn't noticed before.

Variety of bug fixes.  Also revert this file so that the names
exported from the compiler package are put directly in the global
environment, instead of the environment into which the file is loaded.

(hash-table-insert!) If `hash' is false, do not link the resulting
element into a hash bucket -- just save it in the value chain.

(invalidate-memory-destination!) Optimize this -- if both class and
hash are not given, don't bother to insert the element in the hash
table, because it will have no useful effect.

(assignment-memory-insertion) Do not perform CSE on the memory
address.  Doing that causes problems because the memory address cannot
be distinguished from a reference to that address.  The RTL should be
fixed so that these things are distinguished, and then we can
re-enable memory address CSE.

(add-pseudo-register-alias) Delete the alias from the register map
first.  This prevents the map from having two entries for the same
alias, one of which is incorrect.

Change `compiler:write-rtl-file' to do defaulting of file type
differently, and to allow an optional output file argument.

Add new rule.

*** empty log message ***

Oops. Small bug with fixnum additions and subtractions of constants.

open coded vector-ref and vector-set! for non-constant
indices.

Added expression cost for FIXNUM->OBJECT.
Subtracted the boxing cost for the fixnum operations
because we now do the boxing explicitly via FIXNUM->OBJECT.

Fixed code for fixnum operations involving constants.
Multiplication by a power of 2 becomes a shift.
If the fixnum operation is commutative and involves a
constant, better code may be generated by swaping the
order of the operands. This is now done.

Added support for FIXNUM->OBJECT rtl type.
Removed the implicit boxing of fixnum operations
because it is now done explicitly by FIXNUM->OBJECT.

Added an explicit FIXNUM->OBJECT rtl type for eventual
support for reusing the unboxed results of fixnum operations

Open coded vector-ref and vector-set! with non-constant indices.
No index range checking yet.
Commented out code for open codinf of system-... functions with
side effects. These were causing an esoteric GC problem.

Fix bug in INTERPRETER-REGISTER.  It now checks whether the offset is
a known offset directly, and if not, it tries the aligned version
instead.  The bug was noticed because interpreter entries are 6 bytes
long, so only half of them are aligned, and the others were not found.

Character Stuff.

Disassembler changes:

- Fix unbound variable bugs in the disassembler.
- Fix symbolic/numeric register bug.
- Fix bug backing out of undefined instructions.
- Make bad 68020 extended forms back out instead of causing errors.
- Add handlers for 68020 32/64 bit multiplication and division.

Add aliases for `object-new-type' and `primitive-object-new-type'.

Conditionalize phase error test so that it is ignored if
FLOATING_ALIGNMENT is defined.  This will eventually be fixed
correctly.

Bugs: `object-gc-type' was using `MAKE_UNSIGNED_FIXNUM' to compute its
result when in fact the result was signed.  `object-set-type' was
going to `Microcode_Termination' when its first argument was an
unknown type code, rather than signalling a bad-range error.

Initial revision

Add a REDUCE-OPERATOR declaration so that users can get the same
functionality as the system already provides for +, -, list, etc.

Shorten some of the warning messages.

Added knowledge of byte/char operations

Change type check on first argument to `dump-band' to include all
applicable types.

Change definitions of SMALLEST_FIXNUM and BIGGEST_FIXNUM to have
explicit casts to long type.  Previously this was automatically true
but ANSI C forces such constants to be unsigned long instead.

Change type check on first argument to `dump-band' to include all
applicable types.

Change definitions of SMALLEST_FIXNUM and BIGGEST_FIXNUM to have
explicit casts to long type.  Previously this was automatically true
but ANSI C forces such constants to be unsigned long instead.

Move `get-fluid-bindings' and `set-fluid-bindings!' into the normal
microcode.  This allows the new runtime system to have the hooks for
fluid-bindings even if they aren't in use.

CHAR/STRING open-coding, bug fix

CHAR/STRING open-coding, bug fix

CHAR/STRING open-coding

Added string/char open-coding.

Default `load-noisily?' to false.  People seem to prefer this.

Update `primitive-purify' to new interface.  Forgot to do this one
when the regular version was updated.

Eliminate random escape from string.  Rename variable `string' to
`str' because `string' is a typedef.  HP compiler works but this is
illegal combination.

Illegal to take address of a variable that has been declared
`register'.  HP's compiler never complained by GCC does.

Change interface of `primitive-purify' to take an extra argument,
`safety-margin' (which works like the argument to `garbage-collect'),
and returns an extra value (which is like the value of
`garbage-collect').  These changes will allow purify to be used
instead of gc when desired.

1) Change -compiler to default parameters, so that they can be
overriden with -band, -heap, etc.

2) Add double MC68881 code in hand-coded generic arithmetic for use by
compiled code.

1) Change -compiler to default parameters, so that they can be
overriden with -band, -heap, etc.

2) Add double MC68881 code in hand-coded generic arithmetic for use by
compiled code.

Increment COMPILER_CONSTANT_SIZE and COMPILER_HEAP_SIZE.

Initial revision

Implement environment-link-name.

Split lookup.c into lookup.c and lookprm.c which contains the
primitive procedures to invoke the lookup code.

Fix paranoia bug in list.scm (map, map*, and for-each were not
paranoid enough).

Add error handlers for environment-link-name.

Fix paranoia bug in list.scm (map, map*, and for-each were not
paranoid enough).

Add error handlers for environment-link-name.

Restore bad-assignment error for environment-link-name.

Added information on FIXNUM size.

Fixed bug with FIXNUM-CONSTANT not sign-extending.

Added information on FIXNUM size.

Added information on FIXNUM size.

OOPS. Last version had a missinbg paren.

Added support for open coding of fixnum arithmetic and predicates.

Always use a pipe to communicate with Scheme even if PTYs are
available.  Scheme doesn't care and this fixes random PTY bugs.

Removed default mapping between ascii and mit-ascii.

Fixed position of meta bit, added ASCII names.

deep_lookup was being called with an extraneous fourth argument.

Fix a bug in local lexprs.

Fix a bug in local lexprs.

Remove RC_REPEAT_DISPATCH.

Change `load' to interact better with Emacs interface.  Dissect REP
loop slightly to allow its parts to be used independently by `load'.
Now whenever `load' prints a value it is also entered in the REP
printer history.  Also, the value of the last file loaded is returned
to the REP loop as the value of the `load' expression.

All of this is useful for allowing Emacs to use `load' for zapping.
Now, zapping from a file is more or less equivalent to zapping through
a pipe.  Before, there were significant differences, especially
noticeable in interaction with the printer history.

Added a new test in optimize-rtl called rtl:optimizable?
Currently it is only used to prevent the optimization of
OBJECT->FIXNUM. This is done to prevent an explosion in the
number of rules necessary in the back end. See the commant in
optimize-rtl for more info.

Added cse methods for FIXNUM-PRED-2-ARGS and FIXNUM-PRED-1-ARG.
This is in support of binary and unary open coded fixnum predicates.

Added fixnums to non-object-invalidate. Someday we may not
need to do this. We may be able to keep these guys around.
See the log message for rtlbase/rtlcon.scm 4.6 for some more info.

Support added for the generation of rtl for open coded fixnum
arithmetic and predicates.
NOTE: Someday, when we have some support for the persistance of
untyped objects (i.e. when we have some way of saving unboxed
fixnums across GC calls) we can do some fancier things such as
eliminating the boxing of a fixnum calculation which is just going
to be unboxed and used in another fixnum calculation. My idea
for doing this is to add an explicit FIXNUM->OBJECT rtl expression
and when OBJECT->FIXNUM is simplified and its operand is FIXNUM->OBJECT
then cancel them out and return the operand of the FIXNUM->OBJECT.
The result of an fixnum expression expression will then have to be
considered an RTL:FIXNUM-VALUED-EXPRESSION? and OBJECT-NON-INVALIDATE
will have to be updated.

Added a FIXNUM type of register analagous to ADDRESS registers.
Their current use is to hold the results of OBJECT->FIXNUM expressions
and assignments of such registers to other registers. We have to tell
the cse code that such registers and expressions are invalid across
anything that can call the garbage collector. This is because the
garbage collector would currently barf on such values that have no
type codes (i.e. fixnums which have had their type codes removed).
In the future, FIXNUM registers may contain the reults of fixnum
arithmetic expressions, so that we are not doing so much boxing and
unboxing. Currently however, all such results are boxed into their
destinations.

Added a FIXNUM type of register analagous to ADDRESS registers.
Their current use is to hold the results of OBJECT->FIXNUM expressions
and assignments of such registers to other registers. We have to tell
the cse code that such registers and expressions are invalid across
anything that can call the garbage collector. This is because the
garbage collector would currently barf on such values that have no
type codes (i.e. fixnums which have had their type codes removed).
In the future, FIXNUM registers may contain the reults of fixnum
arithmetic expressions, so that we are not doing so much boxing and
unboxing. Currently however, all such results are boxed into their
destinations.

Added the following RTL types for the support of fixnum operations:
   FIXNUM-2-ARGS - for binary fixnum arithmetic operations
   FIXNUM-1-ARG  - for unary fixnum arithmetic operations
   FIXNUM-PRED-2-ARGS - for binary fixnum predicates
   FIXNUM-PRED-1-ARG  - for unary fixnum-predicates
   OBJECT->FIXNUM - for unboxing fixnum objects

Rename variable `string' to `str'; it conflicts with a typedef of the
same name.  Change character constant '\=' to '='; former is undefined
escape sequence.

Fix typo.

Change conditionalization of `__GNU__' to `__GNUC__'.  Fix bug in
`flush_input_buffer()' on USG systems: argument is `int', not `int *'.
Change file I/O to unbuffered; tty I/O remains buffered using stdio.
Opening fasl output file now deletes existing file first.

Add indentation for `with-values'.

Remove random parens from end of #ifndef statements.

Add missing rule.

Move all `integrate-external' declarations into the files, using
relative pathnames.

Bind `sf/default-externs-pathname' to same directory as input file
when syntaxing a file.  This is correct default for relative filenames
that appear in a file's declarations.

Added support for the open coding of fixnum arithmetic and fixnum predicates.