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.

Don't restrict character sets to Unicode characters.

More simplification and restyling.

Fix compilation errors.  Simplify part of the code by a suitable
macro.  Do a little style tweaking.

Fix broken reference: "load.scm" -> "make.scm".

Add name for CALLBACK_HANDLER slot.

Eliminate trailing whitespace.

Restore copyright dates.

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

Put back alphabet compatibility, in a different form.

A fairly straightforward merge of the FFI.

* src/etc/Clean.sh (maintainer-clean): Clean up src/*/TAGS.

* src/ffi/Clean.sh (maintainer-clean): Clean up prhello-const*.

* src/ffi/ffi.cbf, src/ffi/ffi.sf: Separate syntaxing and compiling.
Temporarily hacked to load the (runtime ffi) package when necessary.
Replaces compile.scm.

* src/ffi/make.scm: Replaces load.scm.

* src/ffi/compile.scm, src/ffi/load.scm: Replaced by ffi.sf, ffi.cbf
and make.scm.

Implement SCALAR-VALUE-IN-CHAR-SET?.

Eliminate PREDICATE->CHAR-SET, and tweak documentation.

Eliminate all trace of the alphabet abstraction.

Fix swapped conditional arms in RE-COMPILE-CHAR-SET; then split off
part of it as RE-CHAR-PATTERN->SCALAR-VALUES.

Move Unicode char predicates to "char.scm".

Improve test reporting for errors.  Add boolean equality assertions.

Don't restrict CHAR-SET-MEMBERS; it gets used on the inversion of
8-bit char sets, which aren't 8-bit.

Fix thinko.

Fix typo.

Fix fencepost error.

Add membership test.

Fix broken reference.

Update to use new test framework.

Refactor test infrastructure to use conditions and to have more flexible reporting.

Rewrite, this time to use "signal processing" mode for high segments.
Also, don't use combinators at top level; instead use combinations
called at run time.

When re-loading unit-testing, unlink the previous copy so it will be
garbage collected.

Restructure test to use new multiple-result mechanism.

Allow each sub-test to return multiple test results.

Use new ASSERT-ERROR.

Fix some bugs discovered by unit testing.

Add LOAD-WITH-BOOT-INITS! for testing.

Get unit tests working.

Add ASSERT-ERROR.  Small reorganization to improve readability.

Fix parsing of multiline comments from ports without line numbers.

Fix parsing of comments.

Comment handlers should return CONTINUE-PARSING, not UNSPECIFIC.

Implement alphabet as char-set.

Change char-set abstraction to handle unicode.

Implement VECTOR-HEAD!.

Rename DEFAULT_STAGE0 to STAGE0.

Fix x86-64 lapgen rules for simple float offsets.

This should fix flonum vector references in cases where type and
range checks are disabled.

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

Make the m4 test in microcode/configure.ac less strict.

Some luser might run `./configure M4=/usr/frobblethorpe/bin/m4'.
This requires makegen/m4.sh to accept the m4 program as an argument.
(Don't try to pass any extra arguments to the m4 program that way...)

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

Fix bug: when merging register maps, if a pseudo register was saved
into its home on some of the maps, and not saved on the other maps,
then the resulting map would show that it was saved.  Instead, it
should show that it is NOT saved.  That's less optimal but correct.

Handle case where INPUT-LINE port operation isn't available; was
breaking use of comments in Edwin evaluation.

In dist/make-native-files, don't rmdir src/lib/lib.

src/lib/lib is a symbolic link to ../microcode, created by
src/Setup.sh.

Under Linux/ELF on i386 and x86-64, mark the stack nonexecutable.

This is apparently what a `.note.GNU-stack' section does.

Use AC_MSG_ERROR rather than AC_ERROR.

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

Make makegen/m4.sh report m4 failure by returning 1.

Previously, the return code of m4 was totally ignored, because it was
invoked only in a pipeline not at the end.  Because of brain damage
in shell script, we have to use a temporary file to let the subshell
in which we run m4 report the failure to the script so that the
script can know to return 1.

If native code is enabled, check for m4 in microcode/configure.

Got the svm1 back end to assemble... something.

No disassembler yet.  Added lapgen rules until it compiled the whole
system.

* src/Makefile.in (microcode/svm1-defns.h): Detect changes to machine
definition and re-compile it, BEFORE compile-microcode.

(subdir-list): New.  Cough up SUBDIRS.

* src/Stage.sh: New.  Uses `make subdir-list' to get SUBDIRS from the
Makefile, allowing this script to be invoked with arguments, via
shell command line, not make.

* src/compiler/Clean.sh: Added make.bin to the remove list.

* src/compiler/Stage.sh, src/etc/Stage.sh (make-cross): This new Stage
command stashes compilation AND cross-compilation products.

* src/compiler/machines/svm/assembler-compiler.scm: Added rule-matcher
anti-syntax, so that assembler-runtime.scm can be loaded.

* src/compiler/machines/svm/assembler-rules.scm: Changed the offset
addressing mode to take signed 8 and 16 bit offsets.

* src/compiler/machines/svm/assembler-runtime.scm: Added variable-width
instruction encoders to the fixed-width encoders of the machine
description.

Punted symbolic-expressions.  All such are now passed up to the assembler
top-level.

(match-pattern): Get the list of values leftmost-first.

(register-reference?): Punt these redundant definitions.  Register
references are now part of machine.scm.

(any-register?, word-register?, float-register?): Not used.

(word-register-reference?, float-register-reference?): Use the register
reference munging procedures.

(encode-rref): The machine expects float register numbers to start with 0.

* src/compiler/machines/svm/compile-assembler.scm: Load assembler-compiler
before assembler-runtime.

* src/compiler/machines/svm/compiler.pkg: Import instructions;
add-instruction! is not sufficient for this assembler.  And the register
reference procedures are now in scope via the (compiler) package.

* src/compiler/machines/svm/lapgen.scm: Punt environment register.  Move
register reference procedures to machine.scm.

Fixed applications of inst:copy.

Use BLOCK-OFFSET directives in external labels.

Move evaluation of parse-memory-address rule bodies into lapgen rule
bodies, where procedures like word-source can gen. LAP.

* src/compiler/machines/svm/machine.scm: Added a new fixed register -- the
interpreter-register-block -- for easy access to the interpreter's
interrupt-mask, lexpr-actuals, etc.  Punted the environment register, now
accessible via interpreter-register-block.

(define-generic-unary-operations, define-generic-binary-operations):
Punted.  These instructions do not need type parameters.  Added them to the
corresponding define-bi/unary-operations lists.

(load-immediate-operand?): Typo.

(ea:environment, ea:lexpr-actuals): New, using the new interpreter-
register-block register.

Fixed the other ea: procedures to use register references, not numbers.

(define-traps): Allow the C-friendly synonyms to be specified.  Provide the
necessary synonyms for +, -, *, /, 1+, -1+, =, < and >.  Punt non-existent
traps: the lookup-apply, conditionally-serialize and *-trap traps.  The
reference-trap trap is actually the lookup trap.  The unassigned?-trap trap
is actually the unassigned? trap.  Etc.

(register-reference, register-reference?, etc.): Create the fixed registers
and register references from one list.  Provide the register reference
procedures here, for the (compiler assembler) and (compiler lap-syntaxer)
packages, AND assembler-compiler.

* src/compiler/machines/svm/make.scm: Initialize the assembler instructions.

* src/compiler/machines/svm/rules.scm: Get the right type of target/source
for inst:load/store.

Fixed applications of inst:copy, inst:increment.

Expect a thunk from parse-memory-address.

There is no single-arg predicate LT, but there is an SLT.

(OVERFLOW-TEST): Without a register argument (or implicit condition
register) fixnum methods must test for overflow.

Added a few rules to recognize float constants being loaded into registers,
used as the second arg. in flonum-pred-2-args instructions, or as an
argument to flonum-1/2-arg instructions.

Get the correct type of register for flonum instructions.

(INVOCATION:CACHE-REFERENCE): Punt fixed registers.  Use the extension
register if possible, and temporaries for the rest.

(INVOCATION:LOOKUP): No such utility, and the lookup-apply trap is no more.

(INVOCATION:PRIMITIVE): trap:primitive-lexpr-apply takes just one arg.
Store the arg count in the interpreter's lexpr-actuals register.

(move-frame-up): Compare registers (numbers), not references.  The arg is a
reference.

inst:load-pointer does not take an address, just a register.

(generate/closure-header): Don't skip the external/internal equate when
nentries is zero.

(generate/quotation-header, generate/remote-link): Rename registers to
indicate usage.

(generate/remote-links): Keep the interpreter's environment in a temporary
register.

Typos.

Punted several rewrite rules that replace registers with their known
values.  This is useless here, where instructions like + and load-pointer
only take register operands.

* src/etc/compile-svm.sh: Re-written to do a proper cross-compilation, with
host-compiled cross-compiler.  Swaps host and cross compiler products
in/out of stages X and 0, respectively.  Thus a rebuild does not have to
recompile much, not even the previously cross-compiled files.

* src/etc/create-makefiles.sh, src/microcode/makegen/makeinit.sh: Use
--batch-mode.

* src/etc/functions.sh (run_cmd_in_dir): Echo dir name as well as command
line.

(maybe_mv): New.  Punts moving e.g. *.moc if there are none.

* src/microcode/svm1-defns.h: New machine definition.  See changes to
assembler-rules.scm and machine.scm.

* src/microcode/svm1-interp.c (initialize_svm1): Initialize new fixed
register interpreter-register-block.  Fix initialization of the float
registers.

Added new offset address decoders.

Change keyword implementation to be based on symbols rather than structs.

Collapse chains of CAR/CDR.

Add ENCODE- and DECODE-GENERAL-CAR-CDR.

Export new fixnum ops and guarantees.

POSITIVE-FIXNUM? and NEGATIVE-FIXNUM? and appropriate guarantees.

Declare r-rename and r-compare as IGNORABLE.

Handle edge case of : as a symbol.

Make STRING-LENGTH a foldable operator.

Can't fold non-primitives.

Make SYMBOL? and SYMBOL->STRING foldable operators.

Export symbol->keyword.

Add symbol->keyword.

Add keyword-style:none to attributes.

Allow keyword-style attribute to be none or false.  Fix typo.

Typo.

Enable parsing of file attributes line.

Support for parsing the file attributes line.

Add simple restart to sf/internal.