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.

Checkpoint.  Parser ready to deal with file attributs line.

Export new control variables.

Initialize new control variables.

Add new parser control variables.

Sort parser control variables.

Delete *keyword-style*.

Don't export *keyword-style*.

Bugfix and use *parser-keyword-style*.

Use *parser-keyword-style*.

Add *parser-keyword-style*.

Add stub file-attributes-line parser and hook into scheme parser.

Track the line count when reading.

New input port operation 'INPUT-LINE.

Change %d to %ld for pointer diffs without C99.

Use %td only if C99 is supported.

Detect whether C99 is supported.

Pruned too much from src/microcode/option.c.

* src/microcode/option.c (add_to_library_path, quote_string)
(strlen_after_quoting, must_quote_char_p): Restored inside #ifdef
__APPLE__.

Use %td, not %d, to format ptrdiff_t values with printf.