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.

Fixed the MULS MULU DIVS and DIVU instructions; the operands were
reversed.
NOTE: The dissassembler totally screws up on these instructions.

Added expression costs for fixnum expressions. These costs
are pretty rough. Someone who really understands the 68020
book should check them out.

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

Added rules to support open coding of fixnum arithmetic.

Fix a bug in "local lexprs".  The arity encoding must include the
procedure object, even if it is only a virtual procedure object.

Change naming of "cmp68020" files.

*** empty log message ***

Release 6.2.1

Do not refer to `Scan' in `GC_NO_COMPILER_STMT', as it isn't defined
in all places that the macro is used.

Fix compiled-code stubs to cast their value to some appropriate type.
Flush references to `To' since fasload does not define that variable.

Change the way first class environments are handled.
There is an extra phase at the front end which translates implicit
environment manipulation operations into explicit ones.

Change the way first class environments are handled.
There is an extra phase at the front end which translates implicit
environment manipulation operations into explicit ones.

Change the way first class environments are handled.
There is an extra phase at the front end which translates implicit
environment manipulation operations into explicit ones.

Initial revision

Use compiled runtime system.

Fix bug in resyntaxing of SF.

Various changes for NFS and new organization.

Signal error if the number of temporary registers allocated exceeds
the number available for this machine.

Add new local variable.

Remove with-threaded-continuation and add copy-program.

Change interface to print ";No value" when the value string would be
null.

Update `show-rtl-instruction' to know about new RTL statement types.

Fix bug backing out of fasdump when an environment object is
encountered.

Fix bug introduced in last change.

Trap trivial closures with error in `find-variable-internal'.

Add case to `subproblem->expression' for trivial closure consing.

allocate_string was allocating a word too many.

Save standard runtime system in "runtime.bin" instead of "scheme.bin".

Change time reports to match compiler.

Change time reports to match compiler.

Change time reports to match compiler.

Add missing rule.  Generalize `increment-anl' to
`increment-machine-register'.  Generalize
`reuse-pseudo-register-alias!' to capture idea of reuse without making
assumptions about loading the target register from the source
register.

Really get these things working.

Fixed direction of branch in rule.
It was backwards.

* Delete `with-threaded-continuation' primitive.

* Implement `get-interrupt-enables' primitive.

* Split `primitive-type' and friends into two classes: one which is
gc-safe and touches arguments, the other non-safe with no touching.

* Implement primitive-procedure name aliasing in microcode.  This
allows microcode name changes to reuse existing bands.

* Do not use "-q" ld switch.  This causes lossage when Scheme is
loaded over NFS.

* Delete `with-threaded-continuation' primitive.

* Implement `get-interrupt-enables' primitive.

* Split `primitive-type' and friends into two classes: one which is
gc-safe and touches arguments, the other non-safe with no touching.

* Implement primitive-procedure name aliasing in microcode.  This
allows microcode name changes to reuse existing bands.

* Do not use "-q" ld switch.  This causes lossage when Scheme is
loaded over NFS.

Initial revision

Add some overflow checking in entity apply code.  It will not work in
fscheme/multischeme, but figuring out what the right thing to do there
is not easy.

Make Entity application check for interrupts to avoid blowing machine
away in the case of an entity's procedure being that entity.
This will allow you to abort if you are quick enough, but no stack
check is currently being done, so errors here would probably blow
scheme away anyhow.

Preserve the order of arguments in a let statement.

Make set/adjoin not cons so much.

automagic-integrations

Initial revision

Make it syntax the syntax correctly.

Had the right rule header, but wrong body.

Fixed more bugs.

fixed more bugs

Fixed bug in offset symbols

Fix bchscheme to handle new representation of compiled procedures.
Add coerce-to-compiled-procedure primitive for inner loops.
Clean up some gc macros.

Fix bchscheme to handle new representation of compiled procedures.
Add coerce-to-compiled-procedure primitive for inner loops.
Clean up some gc macros.

Change the representation of compiled procedures and other entries:
They are now just the address of an instruction with a gc offset
preceding the instruction and an arity/type word preceding that.
Compiled closures are done by creating a tiny fake compiled code block
which jumps to the right place and sets up the free variables for
reference.

Uuo style links are now just jump instructions to the correct address.
All relocators have been updated to reflect this change.

Variable caches have no type code. The relocators know about this.

New types:
TC_COMPILED_ENTRY
TC_MANIFEST_CLOSURE
TC_LINKAGE_SECTION

Change the representation of compiled procedures and other entries:
They are now just the address of an instruction with a gc offset
preceding the instruction and an arity/type word preceding that.
Compiled closures are done by creating a tiny fake compiled code block
which jumps to the right place and sets up the free variables for
reference.

Uuo style links are now just jump instructions to the correct address.
All relocators have been updated to reflect this change.

Variable caches have no type code. The relocators know about this.

New types:
TC_COMPILED_ENTRY
TC_MANIFEST_CLOSURE
TC_LINKAGE_SECTION

Change the representation of compiled procedures and other entries:
They are now just the address of an instruction with a gc offset
preceding the instruction and an arity/type word preceding that.
Compiled closures are done by creating a tiny fake compiled code block
which jumps to the right place and sets up the free variables for
reference.

Uuo style links are now just jump instructions to the correct address.
All relocators have been updated to reflect this change.

Variable caches have no type code. The relocators know about this.

New types:
TC_COMPILED_ENTRY
TC_MANIFEST_CLOSURE
TC_LINKAGE_SECTION

Change the representation of compiled procedures and other entries:
They are now just the address of an instruction with a gc offset
preceding the instruction and an arity/type word preceding that.
Compiled closures are done by creating a tiny fake compiled code block
which jumps to the right place and sets up the free variables for
reference.

Uuo style links are now just jump instructions to the correct address.
All relocators have been updated to reflect this change.

Variable caches have no type code. The relocators know about this.

Incorporate JRM's fix to signal to close interrupt gap in hp-ux.

New types:
TC_COMPILED_ENTRY
TC_MANIFEST_CLOSURE
TC_LINKAGE_SECTION

Change the representation of compiled procedures and other entries:
They are now just the address of an instruction with a gc offset
preceding the instruction and an arity/type word preceding that.
Compiled closures are done by creating a tiny fake compiled code block
which jumps to the right place and sets up the free variables for
reference.

Uuo style links are now just jump instructions to the correct address.
All relocators have been updated to reflect this change.

Variable caches have no type code. The relocators know about this.

Incorporate JRM's fix to signal to close interrupt gap in hp-ux.

New types:
TC_COMPILED_ENTRY
TC_MANIFEST_CLOSURE
TC_LINKAGE_SECTION