Fix bug in force_definition to return error code when attempting to
force a definition in the empty environment.

First batch of changes to run scheme:

Add MAKE_LINKAGE_SECTION_HEADER definition.

First batch of changes to run scheme:

Add all the hooks needed for compatibility with the current compiler.

Add an ext.l in comentry_apply.

Add an entry in the register block for trampoline_to_interface.

Clean up the comentry_interrupt_procedure heuristic by invoking two
different comutils: comutil_interrupt_procedure (no dlink) and
comutil_interrupt_dlink.

First batch of changes to run scheme:

Add ASM_REGISTER_BLOCK definition and ASM_RESET_HOOK.

A6_OFFSET was incorrect.  It corresponded to scheme_to_interface, not
trampoline_to_interface.

Change the definitions of FORMAT_BYTE_MUMBLE and FORMAT_WORD_MUMBLE to
not depend on signed numbers being correctly cast.

First batch of changes to run scheme:

- Fix syntax problems.

- The trampoline arity table was accessed incorrectly.  The incorrect
index was being computed.

- open_gap had an off-by-one error: The procedure is not on the stack,
so it does not need to be moved.

* Change variable-indirection pass to occur after closure analysis.
Disable variable-indirection if either the source or target variable
is closed-over.

* Change RTL code-compression to permit compression of
`offset-address' expressions across multiple instructions.  Add two
new rules needed to accomplish this for the standard static-link setup
code.  The goal of this modification is to permit the use of the "pea"
instruction when pushing static-links.

Fix bug in bchmmg.c by which weak pairs whose cars were compiled
procedures would not be updated correctly.

Add an extra line to remove junk.c before generating xmakefile.

Add the instruction typedef (moved here from cmpint.c).

Remove the instruction typedef (in cmpint2.h now).

Insert cmpgc-stub.h after conditionalizing according to
HAS_COMPILER_SUPPORT .

Rename to cmpgc.h from cmpgc-portable.h

Initial revision

Fix bug in vector-cons by which it was not checking for GC.

Reimplement flonum->ratnum conversion to guarantee that the ratnum
chosen is the closest representation possible; this is required by
definition of `inexact->exact'.  Previously we used `rationalize' to
find "best" answer in a given range, which is not strictly correct by
the definition.

Reimplement ratnum->flonum conversion to guarantee that the flonum
chosen is the closest representation possible.  Also extend
`number->string' to handle a few more of the old formats, specifically
the radix conversion formats.

Reimplement ratnum->flonum conversion to guarantee that the flonum
chosen is the closest representation possible.  Also extend
`number->string' to handle a few more of the old formats, specifically
the radix conversion formats.

Force the output to have a decimal point even when it can be written
without one.  This is explicitly required by the text of the report.

Various changes to the garbage collector and other relocators to
accomodate machines where jsr-style instructions do not encode the
target address directly and contiguously.

Some changes to cmp68kgc.h to better match the portable version,
cmpgc-portable.h .

Split the defaulting of various macros from gccode.h into
cmpgc-stub.h .  gccode.h includes cmpgc.h which should be a copy of (or
link to) cmp68kgc.h, cmpvaxgc.h, cmpgc-portable.g, or cmpgc-stub.h

Change COMPILED_CLOSURE_ENTRY_SIZE to be in machine_word s.  The
closure entries may be packed tighter than objects.

Change MANIFEST_CLOSURE_COUNT, FIRST_MANIFEST_CLOSURE_ENTRY, and
MANIFEST_CLOSURE_END to accomodate BCHSCHEME.

Fix some random bugs in frexp that should have been caught when it was
written.

Must discard CSE information at any kind of unknown invocation.

Fix bug which caused "1e100" to be rejected as number syntax.

Fix `real:expt' so that it correctly handles negative base.  Add
special case for flonum base and integer exponent.

Remove restriction from first argument of primitive `flonum-expt'.
Rely on runtime system (or user) to provide correct restrictions.

Fix typo in `real:min'.

Change the way that closure and execute cache entry points are
extracted to accomodate machines that have the addresses "smeared out"
over multiple instructions.

Change the way that closures with multiple entry points are detected.

Initial revision

Update to match latest version of cmp68020, ie. make the numeric hooks
apply the values contained in the fixed objects vector.

Don't perform variable-indirection optimization on variables that are
introduced to model continuations.

Don't perform variable-indirection optimization on variables that are
introduced to model continuations.

In `number->string', handle a radix argument of '(heur).

In `number->string', handle a radix argument of '(heur).

Don't call `compiled-procedure/name' on a compiled-entry unless that
entry is known to be a procedure type.

Fix bug finding parent of stack-environment when there is a
continuation block between the starting block and the parent block.

*** empty log message ***

Forgot to export `denominator'.

When parsing a badly-formed number with a #i prefix, don't blindly
attempt to map the result to inexact; test to see if the number is
well-formed first.

Initial revision

* Change generic arithmetic primitives to be trampolines into some
procedures that are stored in the fixed objects vector.  This permits
some upwards compatibility of new R4RS arithmetic and gives the
compiler a method for invoking the binary arithmetic operators which
are normally not available in the global environment.  It also
provides a solution to the problem of making generic arithmetic
available during the cold load.  The compiled-code interface bypasses
the primitive interface and directly applies these trampolines, thus
avoiding the overhead of the interface when the trampoline is also
compiled.

* Increase the default constant size of the regular band to 400, and
the heap size of the compiler band to 1000.

* Rewrite the flonum lap-generation rules to perform register-reusing,
as is already the case for fixnum rules.  Generalize some tools so
that most code can be shared between fixnum and flonum rules.

* Implement assorted changes to conform to new R4RS arithmetic.

* Redesign closure-analysis/procedure-undrifting.  New design should
perform better than old, and I believe that this one is substantially
more correct.

* Add "variable indirections", which come into play when the a
variable is known to be bound to the value of another variable which
is bound in an ancestor frame of the first variable (i.e. the first
variable can be considered an alias for the second).

* Don't inline-code procedures with rest variables.

* New pass notices when two returns are equivalent, and merges them.
Another new pass notices when the tails of two basic blocks are
equivalent, and merges them.  These two work together to eliminate
multiple copies of suffixes in various cases (most notably
predicates).

* Introduce concept that certain procedures are "boolean-valued" and
can be treated specially if they appear in the predicate of a
disjunction.

* Disconnect registerizable-parameter code because it introduces
instability in the three-stage compilation test.  This code doesn't
seem to be doing much right now anyway.

* Fix bug in "remote links": must use another addressing-mode when the
offset is too large to fit in 16 bits.

* Add rule to permit static-links to be pushed in two instructions
instead of three on the 68020.

* Change RTL constructors to reduce the number of intermediate
registers generated for trivial expressions.  Improve definition of
"trivial expression" to include certain kinds of constants.

* Change open-coded combinations in the case where they appear in
reduction position, and where the open-coding of the combination will
include a close-coded call.  The new strategy is to setup the
arguments as if the combination was close-coded, then open-code
assuming the arguments are in those positions.  This has the advantage
of allowing the internal close-coded call to be transformed into a
jump with no clumsy argument manipulation required.

* Change RTL CSE to treat small (8-bit) numeric constants as cheaper
than registers.

Initial revision

* All-new arithmetic and number I/O conforms with R4RS.

* The variable

  (access flonum-unparser-hook (->environment '(runtime number)))

accepts two arguments (the flonum and the radix), and returns either
the string representation or #f.

* `*unparser-radix*' is recognized only when it is one of (2 8 10 16),
and it affects only exact rationals.  Inexact numbers and non-rational
complex numbers are always printed in base 10.  The radix prefix is
suppressed in base 10, or in the other bases when the number's
absolute value is less than the radix.

* Written representation of compiled entries changed to show the
"block number".

* `pp' no longer accepts hash numbers as arguments; use #@ if you want
that effect (you will need to type '#@ for scode objects).

* `trace'/`break' output changed to show arguments more clearly.

Initial revision

A variety of changes to complement the installation of the R4RS
arithmetic system in the runtime system.  Most of these changes add
new expansions for arithmetic operations.

Minor reorganization.

Write the initialization code.
Add the SCHEME_UTILITY table and define the TRAMPOLINE_K_ numbers.

More cleaning of the trampoline code so that the assembly language
is easier to write.

Some cleanup of the trampoline code.

Update to use new microcode types and macros.

Add missing SCHEME_UTILITYs.
Fix a bug in comutil_link, and make the restart block match the 68k
and vax versions.
Reorganize and reformat slightly.

Change the way that SCHEME_UTILITYs are invoked, and add all of the
utilities currently being used by the compiler.

Add proc_type for the IBM RT.

Initial revision

Remove static keyword from the declaration of memory_base.  GCC does
not like something to be declared both extern and static, and it is
declared extern in object.h, included here.

Fix syntax/cond so that:
a: (cond) is legal.
b: (cond 3) gives a reasonable error message.

Fix a bug in the error exits for &> .

Add a global call/cc .

`stack-frame/ref' needs to be able to address elements in subsequent
stack frames as well as the given one.

`environment-parent' wasn't skipping over intermediate static-links
correctly.

Add new integer and flonum primitives.  Delete arithmetic ops that
will no longer be primitives.

*** empty log message ***

Fix bug which prevented correct recognition of debugging info for the
root block of a multiple-block compilation.

Add handling for dbg-variables with type `indirect'.

Change order of source directories to match order in which files are
compiled by "comp.cbf".

Add global definitions for selected flonum and integer-generic
primitives.

Add primitives `fixnum-quotient' and `fixnum-remainder'.

Add missing rule.

Add new primitive `flonum-denormalize'.

Fix bug in `grow_data_buffer': forgot to update the pointers into the
reallocated structure.

Add new primitive `flonum-denormalize'.

Fix definition of `flonum_normalize'.

Export `microcode-id/floating-epsilon'.

Eliminate hand-coded flonum parameters in favor of those in "float.h".
These new parameters can be generated by hard-params, or if the system
has <float.h> we can use that instead.

Eliminate hand-coded flonum parameters in favor of those in "float.h".
These new parameters can be generated by hard-params, or if the system
has <float.h> we can use that instead.

fixed-objects-vector now contains flonum-epsilon instead of
flonum-exponent-bits.

fixed-objects-vector now contains flonum-epsilon instead of
flonum-exponent-bits.

Microcode's fixed-objects-vector now contains flonum-epsilon instead
of flonum-exponent-bits; change microcode table code to accomodate.

Add primitives to normalize flonums, and to produce the key flonum
parameters: number of bits in significand, and smallest number which
can be added to one and still produce different result.

*** empty log message ***

Don't set `*info-output-filename*' or `*rtl-output-pathname*' in
`compiler:reset!'; they are fluid-bound instead.

Change criterion used to decide whether or not to close procedures.
New criterion is to examine `procedure-closure-context', which will be
set to #t by the closure analysis iff it decides that the procedure
needs to be closed.

Change code back to clobber the procedure-block's parent when a
procedure is undrifted.  If this is not done the operations
`block-ancestor-or-self?' and `block-nearest-common-ancestor' return
the wrong answers, and consequently must be replaced with new
operations that take the undrifting into account (yet another set of
nearly-identical operations!).

Rather than do this, I attacked the problem of why clobbering the
parent causes problems.  The losing scenario seems to be as follows:
procedure A is a child of procedure B; procedure B and procedure C are
siblings; procedure A is a free-caller of procedure C (and so is
procedure B by transitivity); procedure B has drifted up one or more
blocks, while A and C have not drifted at all.

The problem occurs when A is examined before B for undrifting: because
C is not accessible from A (due to B's drifting), it is undrifted.
Later, B is also undrifted (because it is also a free-caller of C);
note that had B been undrifted before we looked at A there would have
been no reason to undrift A.  Finally, `setup-block-types!' closes
both A and B because they have been undrifted, which allows them both
to reference their free variables; this reference is possible
-because- the original parent was not changed when the undrifting
occurred.  Had the original parent been changed at that time, the
closing would have failed.

Now many times the only reason that A and B are being closed is
because of the undrifting -- there is really no reason for them to be
closed at all (in these cases, we would have been better off never
having tried to drift procedure A in the first place).  Furthermore,
because this closing is bypassing the normal closing mechanism, some
other inconsistencies are introduced, in particular the
`virtual-closure?' bit is not cleared (it was the bug caused by this
inconsistency which forced me to reexamine this code in the first
place).

OK, so let's try this again.  Suppose we -don't- close undrifted
procedures unless there's some other reason to do so (which we can
detect by looking at the `closure-context' or `closure-reasons').
Then the way to avoid the losing scenario above is to guarantee that
we undrift B before considering A for undrifting.  This is easily
accomplished by performing a topological sort on the `free-callers'.
This sorting is sufficient because the decision to undrift A can only
depend on ancestors who are also members of the `free-callers' set.

So that's the story: I've added a topological sort of
`procedure-free-callers', changed `undrift-procedure!' to immediately
update the `procedure-closing-block', and changed `setup-block-types!'
to base the closing decision on `procedure-closure-context' rather
than (the now inaptly named) `close-procedure?'.

Fix a few random bugs.

Add new switch `HAS_MODF', and conditionalize "missing.c" to use it.
Change makefile to include "missing.o".

Add new switch `HAS_MODF', and conditionalize "missing.c" to use it.
Change makefile to include "missing.o".

Work around bug in portable representation of flonums: the flonum 0.0
is written as "06 + 0".  But this program always reads two numbers
after the sign, and furthermore treats the first one as the exponent,
and the -second- as the size in bits.  This caused it to gobble up the
type code of the next word by accident.

Fix typo which caused segmentation violation on disk-restore.

*** empty log message ***

Upgrade to handle split compiled-code files.  Improve constants
comparison.

*** empty log message ***

Initial revision

Massive rewrite of microcode.  All new object macros and organization.
New number primitives to support R4RS-compatible number system.
This microcode requires runtime version 14.58 or later.

Fix another bug in first class environment code when combined with
compile-by-procedures.

Microcode version 11 requires this runtime version.

Change algorithm used to compute prime numbers to make it more
efficient.

Eliminate dependency on return value of modifier.

Add Harris HCX type.

Initial revision

Fix bug in 1d-table/alist, and add 1d-table/for-each.