Correct types in BIGNUM_REDUCE_LENGTH and use output parameter as such.

Make definition of VERIFY-HEAP primitive unconditional.

Define a verify_heap stub that always returns true if
!ENABLE_DEBUGGING_TOOLS.

Fix string-head! to hide the unused (non-marked) words.

This quiets 3 of the 17 complaints from verify_heap during `make
check'.  The remaining 14 appear to be caused by SIGFPE recovery.

Fix BIGNUM_REDUCE_LENGTH to hide the unused (non-marked) words.

This quiets 7093 of the 7110 complaints from verify_heap during the
tests.

Call verify_heap before GC to scan for bogosities.

Trap recovery (on Unix) occasionally fails the assert in
linkage_section_type when its scan of the heap encounters non-marked
words that are not "hidden" by a non-marked vector header.

The new verify_heap function scans the heap in the same way, and
complains on stderr about any invalid linkage section types, object
types, etc.  If the GC_Debug flag is set, verify_heap is called by the
garbage-collect primitive to scan maximal heap.

The new dump_heap_at function can be used to inspect the heap around a
reported bogosity.

Fix technically incorrect malloc size in re_match.  Omit needless cast.

Nix dead initialization in scan_ephemerons.

Mark scan unused in non-debug builds.

Make (cd "/nonexistent") fail.

Kinda kludgey, but it'll do for interactive use.

See XXX comment for what a proper solution should look like.

Remove vestigial unused variable in FAST-DIVISION.

Revert "Assemble (JMP (@PCR FOO)) (LABEL FOO) to zero bits on amd64."

This reverts commit f4dda7bf4a6f9f529fd2b295a0f51ee9ed6dc22b.

Apparently this doesn't work.

Clarify comment over amd64 fixnum_shift hook.

Open-code non-2^n quotients and remainders by multiplication on amd64.

Assemble (JMP (@PCR FOO)) (LABEL FOO) to zero bits on amd64.

Reorder branches in FIX:QUOTIENT/FIX:REMAINDER code on amd64.

Make the negative numerator case a forward branch so it will be
statically predicted not-taken.

Avoid modifying rcx in amd64 fixnum_shift assembly hook.

Fix sf/cgen so it doesn't just drop declarations for the compiler.

Attempt to fix an undefined variable reference in svm disassembler.

Guessing here what the right way is; I don't know this code well
enough to say for sure.

Generate all OS constructors for compiler.

Remove obsolete AC_SYS_RESTARTABLE_SYSCALLS.

We don't use the result anyway, and it always causes an annoying
delay in configure.

Use FLO:NEGATE, not (FLO:- 0. ...), to apply sign in NUMBER->STRING.

Don't rewrite (flo:- 0. x) as (flo:negate x) on amd64.

This is wrong because (flo:- 0. 0.) is 0. but (flo:negate 0.) is -0.

This caused some broken code to be miscompiled and yield the correct
result accidentally!

More hacks to get liarc to build.

Try builtin objects before fasl files in liarc FASLOAD.

Generate code for -0. constants correctly in liarc.

compile-liarc-bundle rules depend on some tools in microcode/.

Fix up fni->bci files in crsend.scm.

Temporary kludge: bake a fresh runtime into the toolchain.

This is practically necessary for now because of the SEQUENCE-2 mess.
It may continue to be necessary in the future until we have proper
cross-compilation tools that can handle macros and fasdump format
changes sanely.

Put back some temporary SEQUENCE-2 scaffolding.

Simplify x86 fenv structures.

Avoid needless typedefs and unions.

On i386, avoid FCOM[P] and FTST in favour of FUCOM[P].

The FCOM[P] and FTST instructions trap even on quiet NaN; the
FUCOM[P] instructions don't.

Avoid using new-style SEQUENCE stuff in LIAR.

Fix default (ISO-8859-1) char image strings.

We previously used `ANSI' char image strings, which really meant
Windows-1252 for some reason.  Now we use ISO-8859-1 so things get
displayed correctly in X at least.  Some characters may not display
*nicely* on Windows, but they will display *correctly* (with an octal
escape).

svm: Fix the disassembler.

Re-wrote it with a "cursor" that wraps up the block and offset and
symbol-table previously passed around and/or fluid-bound to *block,
*current-offset, *symbol-table, etc.

svm: Convert program_counter from a static variable to an argument.

This seems to speed the machine up 20%.  Before this patch, the
compile-everything phase ("Use the new machine and compiler to
re-compile everything.") took ~67 minutes on a 3.2GHz Core i3-550.
After applying this patch, that phase took ~53 minutes (21% less).

This conversion was incomplete in the original implementation (in
6ae556b).  I backed it out in order to get a simpler machine working.

ffi: Avoid longjmps in C-CALL primitive (callout_continue).

Rather than abort after every callout (in callout_continue), call the
second trampoline directly, after unsealing the Scheme stack.

make.so is supposed to be found in the compiler bundle.

It must have been Chaos that slipped in this bogus fix.

src/Makefile.tools.in: Missing dependency made cross-compiler crawl.

ffi: Add flovec_* functions and abort_to_c for shims.

Add flovec_length, flovec_loc and flovec_ref.  The abort_to_c function
allows the Gtk shim's run_gtk() to stop Scheme and return to the
toolkit.

ffi/build.scm.in: Install compile-file:sf-only?ed options.

Copy the .bin if there is no .com.  Copy .ext too.

doc/ffi: typo

mhash: Simplify configure.ac.

doc/user-manual (Unix Installation): Added plugin building.

src/Makefile.in: Make xml/xml-unx.pkd depend on cref-star-parser.

dist/make-src-files: Fix $plugin-config log file names.

Revert 13b5bca.  Use the host's runtime, not a cross runtime.

Revert 41c0070 and 5cf6bfc too, and the "training" in cref/make.scm
(for the compiler) and runtime.sf (for a cross runtime).

dist/make-src-files: Autoconf plugins (FFI wrappers).

Fix a confusing error message too.

ffi: Add DESTDIR support.

Fix LIAR/svm build to cross from 9.1.1.

As for LIAR/C, do not cross compile host .bins containing sequence-3s.
Chuck them to STAGEX/ and re-syntax with cross runtime.  And syntax
compiler/base/crsend AFTER said chucking.

Make compile-xml dependent on cref-star-parser.

xml.pkg wants (global-definitions "../star-parser/parser") else
;Warning: Could not find global definitions: ...

Fix LIAR/C build to cross from 9.1.1.

Toss the .bins generated by the host runtime (which include
sequence-3).  Only cross-compile .bins generated by the cross runtime.

More FFI cleanups: no need to include microcode/achost.ac.

Fix new build to cross from 9.1.1.

On a 9.1.1 host, the new build dies while compiling the compiler.

    ;  Generating SCode for file: "fggen/canon.scm" => "fggen/canon.bin"...
    ;MICROCODE-TYPE: Unknown name sequence

The usual remedies did not suffice.  In fact now the temporary code in
cref/make.scm is not needed.  The compiler is compiled with a cross
runtime that provides the necessary patch via its utabs.scm, where
access to type-aliases and returns-aliases is easy, though
insufficient to train the host.  9.1.1 still needs the training in
runtime.sf.

Unlike a cross compile, a cross runtime was not used by this build(?).
Use a new compile-cross-runtime target and --fasl make.com to make
tools/syntaxer.com.  Make syntax-cross-cref and syntax-cross-sf
dependent on syntax-cross-runtime for its runtime.pkd (pinching off a
little parallelism, but allowing them to proceed while the runtime
compiles).  Did not try to syntax anything but the new compiler with
the new star-parser.

Eliminate compile-system.

Automatically clean tree and build tools if necessary.

Turn some phony rules into explicit file rules to reduce rebuilds.  [retry]

Unfinished conversion; some of the explicit file rules still depend
on phony rules.  Finishing this is left as an exercise for the
reader.

Revert "Turn some phony rules into explicit file rules to reduce rebuilds."

This reverts commit 54e7f433ab16f65cd12779b7a672edf713c72427.

That commit wasn't supposed to revert an earlier change to SVM1; not
sure how that snuck in there.

Turn some phony rules into explicit file rules to reduce rebuilds.

Unfinished conversion; some of the explicit file rules still depend
on phony rules.  Finishing this is left as an exercise for the
reader.

Reduce SVM1 address decoding indirection.

This must have hammered horrendously on the CPU's branch target
predictor.  No measurements yet but I'm sure SVM1 should be a lot
faster now.

Tweak svm1-interp a little.

- Mark several routines inline.
- Add branch predictions.
- Fail gracefully, don't abort, on illegal instructions.

Add a few more file types for save/restore targets.

In COMPILE-SYSTEM, load the bin if cross-compiling too.

XXX COMPILE-SYSTEM is completely wrong; it needs to be eliminated in
favour of a principled way to identify macro dependencies, like in
Scheme48 and Racket.

Call it `saved-objects', not `obj', to avoid confusing BSD make.

Don't list compiler twice in SUBDIRS.

Load ffimacro.bin in win32.sf, not ffimacro.

Avoids accidentally loading cross-compiled gobbledegook which the
toolchain barfs on.

Explain what the `cross-target' target does.

toolchain target should really depend on tools/syntaxer.com too.

Remove unfinished kludge to build IMAIL with LIARC.

Recompile edwin/edwin.bld only if necessary.

Recompile *.pkd files for liarc only if necessary.

Fasload errors should fail gracefully, not terminate Scheme.

Lots of changes toward making liarc build use new structure.

Doesn't fully work yet, but it's progress!

Old build system is still all there; you must use `make all-native'
to try the new one.

Use $@ and $< for liarc .c.o rule, not $*.o and $*.c.

Otherwise, it won't work in subdirectories.

Update links created by Setup.sh to reflect installed lib directory.

Compile IMAIL in --batch-mode.

OOPS!  Don't forget to build compiler/rtlopt...

Dependents of cross-target must be conditionalized on @IF_CROSS@.

First whack at making new build system work for liarc.

Rename cross-barrier/cross-end to cross-host/cross-target.

Add cast to avoid negative arguments to isalnum.

compile-imail needs cross-end, not just cross-barrier.

Just cast to long; don't check whether %td will work for ptrdiff_t.

Don't reset AS_FLAGS and M4_FLAGS to empty in microcode/configure.

Use a compile-test, not a run-test, for __ELF__.

Use CAREFUL-OBJECT-DATUM in i386 MULTIPLY-OBJECT-BY-2.

Merge branch 'make-cross-tools'

Make the `save' makefile targets fail noisily.

Fix missing close paren in Makefile.in.

Call it the toolchain, not the bootstrap toolchain.

Rename Makefile.boot -> Makefile.tools, boot/ -> tools/.

`Bootstrap toolchain' sounds like something that is useful only to
bootstrap MIT Scheme, when in fact the object of the exercise is to
make it a general-purpose cross-compilation toolchain application
that you can use to cross-compile anything.

Tweak native rules so they work for svm too.

Rename @CROSS@ to @IF_CROSS@.

Load crsend.scm into the right environment.

Remove Makefile.boot on distclean too.

Avoid CBF in win32.sf.

Use CREF/GENERATE-TRIVIAL-CONSTRUCTOR for makefile cref-* rules.

That way cref-foo need not wait for syntax-foo to complete, which
substantially increases parallelism of the build.

Make cross-compilation a configure-time option.

Eventually I would like to get rid of non-cross-compilation, but it's
probably a good idea to keep it for now.

Make every build a cross-build.

Parallelize compiling compiler subdirectories.

All the compiler.cbfs are the same except for the machine directory,
which is available as a symlink.

Separate tools from target in the build.

To build a native Scheme, instead of just running `make', you must
first run

make -f Makefile.boot

to get a bootstrap toolchain in boot/, every time you want to use a
new compiler or cref or sf or star-parser to compile Scheme.

Write files atomically in the microcode makefile.

Use a temporary file and rename it over the permanent one only if the
command succeeded.  That way, we don't leave truncated files around
on failure.