Fix SVM machine's conditional floating-point jumps.

These want to use the float registers, not the word registers.

Fix SVM interpreter's decoding of doubles.

They are encoded as 64-bit significand and 16-bit exponent, not as
machine (IEEE 754) doubles.

In FLO:VECTOR-LENGTH, coerce length to fixnum before OBJECT->FIXNUM.

The previous open-coding worked whenever OBJECT->FIXNUM merely
shifted left by the tag width, ignoring whatever tag was there
before.  The SVM does not do this, however.

Omit continuation code words after interpreter cache references.

The RTL already arranges their continuations to follow them; putting
an extra continuation code word causes the machine to try to execute
the real one as if it were an instruction.

PRE-INCREMENT is only ever a memory reference, not address, in RTL.

Use NON-POINTER-OBJECT? and CAREFUL-OBJECT-DATUM in the compiler.

Using OBJECT-NON-POINTER? causes primitives to be put into blocks as
non-marked constants, so that the fasloader fails to renumber them.

Update `last update' dates on the reference and user manuals.

Document the stack sampler.

Add tests for ephemerons with compiled entries for keys and data.

Fix bug in the GC's ephemeron scanning.

When queueing ephemerons for the key stored at some address, compare
the address to the weak referent address of each ephemeron's key --
not to the object address of each ephemeron's key, which causes us to
miss ephemerons whose keys are compiled entries, because we pass the
addresses of compiled blocks, never those of the compiled entries
stored in them, to queue_ephemerons_for_key.

Minor fixes to unit-testing.scm.

- Update copyright years.
- Ignore unused variable CONDITION in ASSERT-ERROR.
- Use RUN-SUB-TEST to run test procedures in RUN-SUB-TESTS

The last one is probably wrong, but without it, running unit tests
crashes in a bizarre way for me.  Example:

(run-unit-tests "runtime/test-ephemeron")
;Loading "runtime/test-ephemeron.com"... done
no-gc: failed 2 sub-tests out of 2 in .32 seconds:
    .0.0:
;Ill-formed failure: key

Omit needless definition of REFERENCE-BARRIER in test-ephemeron.scm.

Due to a bug in the microcode's environment operations, this
definition, which should be harmless, actually renders the tests
unrunnable because it makes REFERENCE-BARRIER spin in an infinite
loop.

Eliminate losing bisection crock in find_block_address.

This wasted several hours of my day in exchange for several
milliseconds of time (`on average') searching through the heap
after a trap that will trigger an interactive debugger anyway
and sit waiting for I/O.

Fix plausible_cc_block_p some more.

Now it detects COLUMN->Y in edwin/bufwmc.scm.

Add a couple more consts to debug.c.

Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme

Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme

Add appropriate const qualifiers for anal compiler.

Remove spurious ignore declaration in i386 GENERATE/CLOSURE-HEADER.

Implement and document SET-EPHEMERON-KEY!.

New procedure REFERENCE-BARRIER.

(REFERENCE-BARRIER <x>) guarantees that the garbage collector will
assume <x> to be live at least until the call to REFERENCE-BARRIER,
if control can ever reach it.

This is implemented as an alias for the identity procedure currently,
but a more efficient implementation not involving a general procedure
call is conceivable for the future.

Ignore out-of-date uncompressed debugging info files.

Fixes

(load "x")
(pp foo)
;Output: (named-lambda (foo x y z) ...)

;; Edit x.scm and recompile.

(load "x")
(pp foo)
;Output: #[compiled-procedure foo ...]

New stack-sampling profiler.

For usage, see runtime/stack-sample.scm.  May be worthwhile to write
documentation in the user manual.

This is *not* a replacement for a PC-sampler, which can give
information that is more precise at one level and less precise at
another level.  See the comments for details.

Rework the hash table entry abstraction.

This simplifies some of the code (at the expense of a longer
definition for the abstraction leading to a longer hashtb.scm
altogether), and makes it less prone to mistakes with using the
keys and data of entries without checking their validity -- which
will matter especially for hash tables with ephemeron entries when
those are implemented.

Check the results of the key hash table function.  Sprinkle some
guarantees throughout the code.  Disable type and range checks in
the hash table methods, where it is safe to do so.

With type and range checks still enabled, performance on strong eq
and eqv hash tables is no different from what it was last week.
Performance on weak hash tables is ever so slightly worse, but that
is because weak hash tables were incorrect before.

New tests check for some regressions.

Protect each use of ENTRY-{KEY,DATUM} in hashtb.scm by ENTRY-VALID?.

Fix SRFI 69 HASH-TABLE-FOLD.

The specification makes no mention of any constraint that the combine
procedure not update the hash table, so we must be prepared for that
case.  The old definition for HASH-TABLE-FOLD now has the new name
%HASH-TABLE-FOLD, used internally by the procedures that need to fold
but need not update the hash table while doing so.

Restore warning as per Taylor.

Add declarations to silence warnings.

Add declaration to silence warning.

Document ephemerons.

Implement ephemerons.

Ephemerons are like weak pairs, except the datum is dropped if the
key is dropped, and references to the key through the datum don't
count if the only references to the datum are through the ephemeron.
In other words, the weak references to the key and datum are dropped
iff the key can be proven dead; conversely, the references to the key
and datum are preserved iff somebody else cares about the key.

Declare IGNORABLE NB to silence warning.

Missed some vestiges of archaic microcode state space support.

Eliminate some unused return codes.

Eliminate all traces of the archaic microcode state space support.

Set -u in the setup scripts and make them more robust to interrupts.

Check for termcap.h too.

Assume that term.h or termcap.h defines BC, UP, PC, & ospeed.

Work around !*@#@^!*#%!^&$@!%# stupidity in NetBSD with ospeed.

Move the check for termcap-related headers.

This puts the warning messages about emulating termcap or tparm
closer to the checks, which makes configure's output make a trifle
more sense.

Add configure option `--with-termcap=LIB' to select termcap library.

LIB=no disables any termcap library (causing the use of the built-in
termcap emulation); LIB=yes, the default, makes configure choose
whatever termcap library looks best.

I wanted to go further and make the termcap primitives dynamically
loadable, so that the compile-time choice of termcap library can be
made just for some prtermcap.so module separately from the libraries
against which the microcode is linked, but uxtty.c uses termcap for
screen-clearing and window-sizing.

If ^L worked everywhere to clear the screen, and TIOCGWINSZ worked
everywhere to find the screen dimensions, then we could get rid of
those uses of termcap and move it off to a module.  But alas, that is
not the case.  E.g., ^L doesn't clear the screen in screen.

Fix i386 code generated for flonum rounding primitives.

The default has not been round-to-even since primitives were added to
change it, but the generated code assumed it was.

Remember to run at least a two-stage build so that the runtime is
compiled with the new compiler.

Before:

(flo:with-rounding-mode 'TOWARD-ZERO (lambda () (flo:ceiling 1.2)))
;Value: 1.

After:

(flo:with-rounding-mode 'TOWARD-ZERO (lambda () (flo:ceiling 1.2)))
;Value: 2.

Emulate C99 fenv.h on amd64 through the MXCSR.

Emulate C99 fenv.h on i386 through the i387 control word.

Emulate C99 fenv.h with BSD ieeefp.h if necessary.

New procedures FLO:EXPM1 and FLO:LOG1P just like libm's.

Defined only on an interval about 0 of radius 1/log 2 and 1/sqrt 2,
respectively; intended for computing (exp x) - 1 and log (1 + x) for
very small x with high precision, unlike FLO:EXP and FLO:LOG.

Be slightly more consistent about references to MIT_SCHEME_EXE.

It is to be interpreted as a pathname, provided that no character in
it be a make meta-character, or a shell meta-character that has
meaning within double-quotes.  It shouldn't have such constraints,
but Unix sucks.  To set the library path, use MITSCHEME_LIBRARY_PATH
rather than sticking a `--library' argument in MIT_SCHEME_EXE.

Ensure that signal handlers see the C stack, not the Scheme stack.

Do this by wrapping all the signal handlers in stubs that call an
assembly hook to make the stack pointer point into the C stack rather
than the Scheme stack if necessary.  To indicate that this is not
necessary, define SIGNAL_HANDLERS_CAN_USE_SCHEME_STACK.  For now, I'm
leaving that undefined by default, because it is the safer option.

This solves a problem on operating systems such as NetBSD that store
the current pthread identifier in the stack pointer.  When Scheme's
signal handler calls routines that are pthread cancellation points,
such as waitpid, they try to find the current pthread identifier in a
stack pointer that points off into oblivion (into Scheme's stack) and
promptly crash -- or, worse, trigger SIGSEGV, to be handled by a
signal handler while the stack pointer still points into Scheme's
stack, with the same problem.

I am told that this will be fixed in NetBSD 6 (since it interferes
not just with Scheme but also with sigaltstack, makecontext, and
anything else that wants to mess with the stack pointer), but only on
i386 and amd64 for certain, and in any case, this workaround will
work on any other systems that try to use the same trick to store the
current pthread identifier, of which I believe there may be several.
(E.g., older versions of GNU/Linux with LinuxThreads.)

Use intmax and uintmax to support 64-bit off_t, time_t, &c.

Eliminate BIGNUM_NO_ULONG.  Twenty years ago it may have made sense;
now too much of the system relies on having unsigned longs for it to
matter.

New routines convert between integers and intmax/uintmax.  The old
ones for long/unsigned long are still there, because they are likely
to be much faster on 32-bit systems.  Only a few uses of long have
been replaced by intmax -- the ones where it was obvious we were
converting between time_t, off_t, ino_t, &c., and long.  Others may
still be there.  Before:

(file-length "fnord")
;Value: 1235

After:

(file-length "fnord")
;Value: 4294968531

(`fnord' was created by seeking to byte 2^32 + 1234 or something and
writing a single byte there.)

Don't delete runtime.com from the distribution.

Merge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme

Implement SYMBOL>?

Don't make lib/lib a symlink to ../microcode; this breaks liarc.

Properly fix handling of pstring.

Fix typo.

Fix microcode's `--version' output.

Write a newline, and force console output.

Fix bug: change to MODULE_LDFLAGS broke liarc-ld on MacOS.

Nuke trailing whitespace.

Broaden handling of pstring to accept NIL.

Use _init and etext on NetBSD to find the text segment's bounds.

Eliminate vestiges of i386 code from cmpintmd/x86-64.h.

Unmask IEEE 754 floating-point exceptions on x86-64.

Should this instead be part of Scheme's dynamic environment, like the
floating-point rounding mode?

Relax plausible_cc_block_p.

Some leaf procedures and continuations do not have GC trap prefixes,
so don't require the block in question to have one.

On i386, this makes the trap handler successfully figure out where it
is in (FIX:QUOTIENT 1 0).  FIX:QUOTIENT is a leaf procedure, unlike
FLO:/, although perhaps FIX:QUOTIENT ought to do checks and defer to
the microcode primitive like FLO:/.

Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme

Reorganize Linux section of uxtrap.h and add x86-64 support.

Also add signal codes for SIGSEGV, SIGBUS, and SIGTRAP.

Exploit common mcontext structure shared between NetBSD ports.

Omit explicit disabling of trap recovery on x86-64.

There are still no platforms that support it, but it doesn't need to
be explicitly disabled.

Restore the classical exit message.

Enable trap recovery on NetBSD.

Not really tested, but this triggers only when you're already
screwed, so enabling trap recovery probably won't make anything
worse.

Improve trap handling under NetBSD.

Kludgily use a few unsigned chars in uxutil.c for tolower &c.

Add block to access so we can integrate accesses in argument position.

Merge branch 'master' of ssh://git.savannah.gnu.org/srv/git/mit-scheme

Fix typos caused by cut and paste.

Remove undefined binding.

Add some guarantees to scode constructors.

Simplify lookup.c's interface.

Environment operations now take only symbols, and check.  The
interpreter now extracts symbols from variables, not lookup.c.

This prevents non-symbols from passing into strengthen_symbol and
weaken_symbol in intern.c, which would barf on them.

Strengthen or weaken only interned symbols.  Ignore uninterned ones.

Add O(1) ADD-TO-POPULATION!/UNSAFE to the runtime (unexported).

This does not check whether the population already holds the object
to be added; hence it is unsafe.

Change MAKE-1D-TABLE and MAKE-THREAD to use it: newly allocated
objects are guaranteed not to be in the population.

Fix bug in INTEGER->FLONUM primitive on 64-bit systems.

Not all fixnums can be converted losslessly into flonums.

Work around a buggy IMAP server that returns bogus UNSEEN counts.

Clean up top level controller.  Don't use Scheme packages as a
substitute for Lisp packages; instead use environments.  Implement
support for slime-repl.  Fix broken implementation of apropos.  Hide
restarts and stack frames that aren't relevant to the Emacs user.

Add INDEX matcher since that's so common.

Fix broken implementation of completion.

Add suggested elisp code for using this.

Gobble up swank support and integrate it.

Merge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme

Add some more named patterns.

Fix bug: logic for ->URI wasn't handling no-error case right.

Finished the disassembler.  Debugging the machine (too).

* src/Makefile.in: Make sure the assembler-compiler ran, generating
compiler/machines/svm/svm1-defns.h, assembler-db.scm, etc.

* src/Stage.sh: Punt avoiding subdirs with nothing to stage.  A few
empty STAGE subdirs should not hurt, and maybe_mv is quiet.

* src/compiler/Clean.sh (distclean, maintainer-clean): Use maybe_rm
and clean up assembler compilation products.

* src/compiler/Stage.sh, src/etc/Stage.sh: Use maybe_mv to avoid
errors when the subdir has not been compiled, so that an incomplete
compile can be stashed and unstashed without horror.

* src/compiler/machines/svm/assembler-compiler.scm
(write-copyright+license): Resurrected with the 9.0.1 runtime system's
procedures.  Used to generate the standard copyright though the GNU
standards suggest assembler-db's copyright should be copied.

(rt-defn-encoder-constructor): Include the opcode byte.

* src/compiler/machines/svm/assembler-rules.scm (interrupt-test-closure):
Folded into the enter-closure instruction, which knows the index.

* src/compiler/machines/svm/assembler-runtime.scm
(init-assembler-instructions!): Build fixed instruction assemblers in
smallest-to-largest order, else the largest encoding is always chosen.

(assemble-fixed-instruction): Punt consing a new bit-string.

(pc-relative-stats, pc-relative-selector): New.  The former computes
static info about a class of variable-width instructions so that the
latter need only cons a handler.  Use these in the variable-width
instruction encoders.

(fix-offset): Fix the width of a pc-relative offset, to force a wider
encoding than required by the actual magnitude.  Use this procedure in
the primitive encoders.  The bit tensioner cannot always find an
optimal solution, where no instruction is wider than its operands
require.  Warn when this happens.

(decode-rt-coding-type): Return a list headed by the rt-defn name,
else signal a coding-error.

(coding-error): Signals a condition that the disassembler wants to
catch.

(define-pvt-signed, encode-signed-*, write-bytes): Accept bit-strings
as well as integers.  See fix-offset.

(encode-unsigned-integer-8): Fixed.

(decode-rref): Give symbolic names to the fixed registers.

* src/compiler/machines/svm/compiler.pkg: Moved the (compiler
disassembler) package to inherit from (compiler assembler).  The
disassembler uses many definitions in assembler-runtime.scm.

* src/compiler/machines/svm/compiler.sf: Syntax make.scm.  It is not
mentioned in compiler.pkg, from which syntax-files!(decls.scm) gets
its list of files to syntax.

* src/compiler/machines/svm/decls.scm: Moved lapgen.scm from
lapgen-base to lapgen-body because it depends on assembler-runtime.

* src/compiler/machines/svm/disassembler.scm: New.

* src/compiler/machines/svm/lapgen.scm: Get the entry-types right with
those used in svm1-interp.c.

(encode-procedure-type): Take the frame size min/max per the RTL,
and convert them to required/optional arg counts.  Use this in
generate/cons-*closure as well as make-procedure-label.

(encode-internal-procedure-offset): Punted.  This encoding is also
generated by encode-continuation-offset.

* src/compiler/machines/svm/machine.scm (ea:uuo-entry-address): New,
encoding a peculiar type of pc-relative address.

(trap:set!, trap:define, trap:unbound?, trap:access): Not defined in
svm1-interp.c.

(interrupt-test-closure): Folded into the enter-closure instruction.

(closure-entry-size, entry-type-size, closure-first-offset): Added an
cc-entry type field to each closure entry.

* src/compiler/machines/svm/rules.scm (POP-RETURN): Added entry-type
and gc-offset half words before inst:interrupt-test-continuation, so
that this instruction can push its address on the stack.

(INVOCATION:UUO-LINK, INVOCATION:GLOBAL-LINK): Use the new
ea:uuo-entry-address.

(PROCEDURE-HEADER): Pass min/max directly to make-procedure-label

(generate/cons-closure, generate/cons-multiclosure): Added a cc-entry
type field before each entry point.  Do NOT tag the target register.
No need to interrupt-test-closure after entering.

(generate-uuos): This is not actually generating LAP.

(interpreter-call:cache-reference, interpreter-call:cache-assignment):
(interpreter-call:cache-unassigned?): Need an entry point after the
trap instructions.

(Interpreter Calls, lookup-call, assignment-call): Removed.  I could
not find the corresponding compiler utilities: comutil_access,
comutil_define, comutil_set, comutil_unbound_p_trap.  The utilities I
DID find want a cache address.  Removing these rules left lookup-call
and assignment-call unused.

* src/etc/compile-svm.sh: Use src/Stage.sh to un/stash the
cross-compiler.

* src/microcode/cmpint.c, src/microcode/cmpint.h: Move
trampoline_type_t to cmpint.h, where svm1-interp.c can include it.

* src/microcode/cmpintmd/svm1.c: Use new closure entry point type
field in read_cc_entry_type.

(store_trampoline_insns): Translate from abstract trampoline kinds to
trap-0 operations, e.g. TRAMPOLINE_K_APPLY to
SVM1_TRAP_0_OPERATOR_APPLY.

* src/microcode/cmpintmd/svm1.h:

* src/microcode/svm1-defns.h:

* src/microcode/svm1-interp.c:

Merge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme

Implement ENCODE-URI-PATH-SEGMENT.

Fix fencepost in ASCII-RANGE->CHAR-SET.

Alien address offsets are byte offsets.

Restored more copyright dates.

Use properties in RUN-SUB-TEST where appropriate.  Change tests to run
properly now that argument SVLs may contain null ranges.

Change RUN-SUB-TEST to allow it to take properties.

Fix thinko in previous change.

Change MAKE-RANDOM-SVL to generate empty ranges.

Change MAKE-RANDOM-SVL to generate empty ranges.

Change MAPPER->GENERATOR to generate empty ranges.

Change %CANONICALIZE-SCALAR-VALUE-LIST to eliminate empty ranges.