Handle case where base address of an `offset' locative is a constant.

Initial revision

Many changes to improve code at both RTL and LAP levels.  Major
highlights: improved handling of continuations that are sometimes
known; improved instruction combination algorithm; better register
spilling in LAP generator; better handling of registers for fixnum
operations.

Teach how to combine stack references.

Rewrite this pass to be a more powerful instruction combiner.  This is
still not a general solution, but now it is smart about moving the
value register and constant expressions over multiple instructions.

Redefine expression-cost computation to be mostly machine independent.

Flush `expression-non-object?' since that is now defined elsewhere.

Merge concepts of `address' and `fixnum' register into `non-object'
register.

Fix stupid bug involving missing call to `scfg*scfg->scfg!'.

Must not pop return address unless it has been pushed.

Merge concepts of `address' and `fixnum' register into `non-object'
register.  Implement operations to detect substitutable register
within a given expression, and to substitute subexpressions for those
registers.  Implement predicate to determine if an expression is
constant.  All of these new operations are used by the improved
register combiner.

Simplify `rtl:trivial-expression?' by disallowing stack references.
This causes some inefficiencies that must be corrected elsewhere, but
reveals more intermediate values to the CSE.

Merge concepts of `address' and `fixnum' register into `non-object'
register.

Change references to `coerce->any' into calls to
`standard-register-reference'.

Use `move-to-temporary-register!' to correctly reuse a data register
for a particular rule.  Previously was doing something ad hoc.

Many many changes.

Define fixnum constant limits more carefully.  Redefine expression
cost computation -- most is now machine-independent.  Change
`address-register' concept to be `non-object-register'.  Delete
`pseudo-register=?'.  Define `interpreter-value-register?'.

Too many changes to list them all.  See the code.

Fix order of events bug in disassembly of bit field instructions.

Change names of two state variables for `show-fg', because one of them
conflicted with another variable in the compiler package.

No change. made a mistake.

Force register allocator to reuse registers on an LRU basis.
Previously it was somewhat random, and usually MRU.  Teach the
allocator to spill values to registers of other types when allocating
a register of a particular type.  This often wins grossly on the
68020.  Also implement predicates to determine whether particular
aliases have unique values.

Many changes.  Add documentation comments to most of the procedures in
this file.  Improve functionality of existing procedures in a variety
of ways, and add new procedures to implement new functionality.

Break out procedure to pattern match RTL against rules database.  This
procedure can be used as a predicate by the RTL optimizer to determine
if particular instructions are valid.  In particular, this is used by
the instruction combiner.

fix named let

(let loop ((x loop)) x) worked when it shouldn't have.
has been fixed so that the name is not visible to the init forms.

Undo changes introduced with version 4.10, to facilitate
parallel development.

Guarantee that "comp.bcon" is constructed if it doesn't already exist.

Load cref if not already loaded.

Just forgot a few things for the rtl-constructor stuff.

Added expand.scm in support of the new rtl expansion phase.

Guarantee that the ".bin" version of each file is loaded.  Otherwise,
an existing ".com" could override the changes to a given file.

Added support for a new expansion phase, which is essentially open
coding done after common subexpression elimination.

Make error messages a bit more informative.

Export `lap-generator/match-rtl-instruction' to (compiler) package so
that it can be used by RTL optimizer.

Split off pattern matching part of LAP generator to allow it to be
used by the RTL optimizer.  Move definition of `*dead-registers*' to
another file.

Fix documentation.

Added support for the open coding of generic arithmetic.

There's a new expansion phase to support the open coding of generic
arithmetic. It is essentially there to allow for the open coding of
rtl that you want to be treated as a single statement or expression by
the common subexpression eliminator.

The rtl constructor macros now place entries in a table that maps from
rtl types to rtl contructors.

Added support for the open coding of generic arithmetic.

Made the vector stuff more robust (with some more open coded checks).
Added support for the open coding of generic arithmetic (the actual
code for floating point is not yet there, although the hooks are).

(return-operator/pop-frames) Must pop `extra' off stack in all cases.

Random editing to clean up code a bit.  No change in functionality.

Test to determine if a continuation is direct linked must be more
sophisticated now that RTL generator is direct linking more kinds of
continuations.

Fix editing error.

Export `syntax-files!' to the compiler package.

Improve code generated for inputs like the following:

    (if (if (and (object-type? (ucode-type fixnum) r)
 (object-type? (ucode-type fixnum) l))
    (fix:> r l)
    (> r l))
...)

Previously, the code generated for the call to `fix:>' was deficient
in that it pushed a continuation, performed the inline coded
comparison, then did a pop-return.  In fact, since the continuation is
known at that point, and is not being passed anywhere, there's no
reason to push anything on the stack.  These changes implement this.

Improve code generated for inputs like the following:

    (if (if (and (object-type? (ucode-type fixnum) r)
 (object-type? (ucode-type fixnum) l))
    (fix:> r l)
    (> r l))
...)

Previously, the code generated for the call to `fix:>' was deficient
in that it pushed a continuation, performed the inline coded
comparison, then did a pop-return.  In fact, since the continuation is
known at that point, and is not being passed anywhere, there's no
reason to push anything on the stack.  These changes implement this.

Slight typo in &= definition fixed.

Slight typo in &= definition fixed.

Update documentation strings.

Cause `disk-save' to run `event:after-restart' when given #T as a
second argument.

Parameterize `pp' to print uninterned symbols by name.
Define `primitive-procedure-documentation'.

Define `primitive-procedure-documentation'.

Add parameterization to print uninterned symbols by name.

Change definition of `DEFINE_PRIMITIVE' macro to include extra fields
for minimum number of arguments and documentation.  Add primitive to
access the documentation string.  The min args slot is currently
unused.  Change all definitions of primitives to use this macro.

The documentation strings should be filled in as time permits.

Partially update "sample.c" to reflect this.  More work remains to be
done.

Update "Findprim.c" substantially, to handle these changes.  Also
change all fixed size tables to be dynamically allocated.

Define new macros `EMPTY_LIST', `SHARP_F' and `SHARP_T'.  All
references to `TRUTH' replaced by `SHARP_T'.  Some references to `NIL'
changed to the appropriate macro, but many more remain; these should
be replaced as time permits.

Update several copyright notices to reflect new year.

Change name of "primitive.h" to "prims.h".

Change definition of `DEFINE_PRIMITIVE' macro to include extra fields
for minimum number of arguments and documentation.  Add primitive to
access the documentation string.  The min args slot is currently
unused.  Change all definitions of primitives to use this macro.

The documentation strings should be filled in as time permits.

Partially update "sample.c" to reflect this.  More work remains to be
done.

Update "Findprim.c" substantially, to handle these changes.  Also
change all fixed size tables to be dynamically allocated.

Define new macros `EMPTY_LIST', `SHARP_F' and `SHARP_T'.  All
references to `TRUTH' replaced by `SHARP_T'.  Some references to `NIL'
changed to the appropriate macro, but many more remain; these should
be replaced as time permits.

Update several copyright notices to reflect new year.

Change name of "primitive.h" to "prims.h".

Guarantee that the `cd' requested by the Scheme process happens in the
Scheme process buffer.

Various bug fixes, also some efficiency improvements to the CSE.

Be more specific about what kind of combination is considered to be an
`error-combination'.

Various efficiency and organization changes.  Eliminate `copy-cache'
slot from `element' objects, reusing `cost' for that purpose during
the copy phase.

(assemble-objects!) Never use / when doing integer arithmetic.  Use
quotient instead.

Implement compiled code reference trap errors.

Export `stack-frame/return-address' to global environment.

Do not barf if error combination is malformed.

added halftoning routines: psam, ht-od, ht-bn, ht-ibn
added image-laplacian, image-double-by-interpolation,
write-image-2bint

added halftoning routines: psam, ht-od, ht-bn, ht-ibn
added image-laplacian, image-double-by-interpolation,
write-image-2bint

Do not perform automagic integrations by default.  This optimization
caused a bug in the runtime system version 13.108 where event
distributors ignored the internal `receivers' binding and used the
empty list instead.

Disable downward coercion of flonums.

table_length and table_size are stored with Make_Non_Pointer, rather
than Make_Pointer, since they are integers rather than pointers.

Change call to `pp' to match change in runtime system.

Introduce new variable `unspecific' which the compiler may assume an
arbitrary binding value for.  Replace nearly all occurrences of
`*the-non-printing-object*' with this new variable.  Flush special
handling for arguments to `error' special form, assuming that all code
is syntaxed with the new syntaxer.

Repaginate.

Extend `->environment' to handle package objects.

Replace occurrences of `*the-non-printing-object*' with `unspecific'.
Flush randomness dealing with old `error' macro, specifically because
it referred to `*the-non-printing-object*'.

Move `*the-non-printing-object*' to "global" since it isn't really
needed at boot time.

Add variable `unspecific' which the compiler may treat as being bound
to any convenient value.  This is used as the value of an expression
when that expression's value is unused.

Regularize argument structure to `pp'.  Extend to handle hash number
of object in addition to object itself.  Extend to print out
components of named structures.

Change `procedure?' to handle entities specially, recursing on their
invocation method.  Change `environment?' to be true of
`system-global-environment'.  Add new procedures `ic-environment?' and
`system-global-environment?' to distinguish the interesting cases.

Change `environment?' to be true of `system-global-environment'.  Add
new procedures `ic-environment?' and `system-global-environment?' to
distinguish the interesting cases.

Change `procedure?' to handle entities specially, recursing on their
invocation method.

For "operator" microcode error handlers, the irritants were not being
passed as a list, resulting in a different error being signalled
whenever such an error occurred.

Put default pathnames in file "paths.h".

It is now legal for a continuation to have a noop node as its entry,
provided that the noop node has no next.  If it is a noop node,
connect to the next of the noop node rather than the entry of the
continuation.

Add new operation `sc' for running `sf' on compiler files.

Do not delete fg-noop nodes that are still needed.  In the following
example, the entry node of the continuation passed to `bar' is needed
because it is referenced by the subproblem object for the let:

(let ((cos-total
       (begin (bar)
      cos7)))
  cos-total)

Fix two bugs in the object unparsing code.

Implement primitive `print-graphics-inverse'.

Grab X error hooks.  When errors occur, signal Scheme primitive errors
rather than just terminating the process.

Add imports for `compiler-entries-tag', which is defined by runtime
system now.

Procedure `condition/message' flushed.  Use `condition/report-string'
in stead.

Procedure `primitive-datum' now called `object-datum'.

Fix stupid bug involving `standard-unparser'; it requires 2 arguments,
the second is no longer optional.  Check for other occurrences of
this.

When unparsing `manifest-closure' objects, use `compiled-procedure' as
the type name.

Fix stupid bug in `cond' syntaxer.

Starbase graphics: export procedures to control line style and drawing
mode.

Correctly implement closing of graphics device.  Make everyone close
an open device before opening the next one.

Adjust handling of `=>' option to `cond' special form so that it
matches the definition in the standard.

Change unparser to handle character sets specially.

Implement octal ASCII escape sequences in strings, both for the parser
and unparser.

Change string parser to allow escape sequence consisting of one to
three octal digits, which is translated into the ASCII equivalent.

Change string unparser to notice character sets and unparse them
specially.  Also notice non-graphic characters in strings and, when
slashifying, unparse them using octal escape sequence.