Validate signed-26 PC-relative offset in B instruction.

Comment out bogus ADRP-ADD pseudo-instruction definition.

This will cause the compiler to fail noisily if it tries to assemble
code with sufficiently distant PC-relative addresses, which is better
than silently assembling garbage.

Need to find a proper fix.

No need for a separate function here.

Fix comment about ADRP to reflect reality.

Add another step to the compiler tests README.

Add note on ughbletchness of ADRP.

Add some basic compiler tests.

For use when bringing up a compiler or back end that can't yet run
the normal test suite.

Fix some bugs in logical immediate encoding.

One more TODO item.

Update TODO.

Disable some tests when trapping is busted.

Expect failure, not error, if trapping is not supported.

Makes these tests pass on my arm64 laptop.

Check at runtime whether feenableexcept does anything.

The bits are defined on aarch64, but apparently some CPUs are
fabricated without support for them so they just read back as zers.
Bummer!

Fix excessive sign bits in uuo link instruction.

Fix displaced byte load rule.

The offset is not a machine register!  Yikes.

Fix FIXNUM-NOT rule: don't set the low bits.

Implement aarch64 logical immediate encoding.

Fix far uuo links.

Apparently ADRP really does do Rd <- (PC & ~0xfff) + (imm << 12), not
PC + (imm << 12), which means it's gonna cause some trouble for the
assembler in LIAR, since it means the code needs to know its own
offset within a page of memory and the target's offset within a page
of memory.

Fix loading complemented immediates.

Fix UNSIGNED-LESS-THAN-FIXNUM? branch condition.

Add some condition code aliases while here and clarify comments.

Fix indexing of remote links.

Fix byte ordering in GENERATE/NSECTS.

Fix register choices in GENERATE/REMOTE-LINKS.

Fix sense of INVOCATION-PREFIX:DYNAMIC-LINK choice.

Fix reference to constant section in GENERATE/REMOTE-LINKS.

Sign-extend PC-relative branch target.

Fix indexing in MOVE-FRAME-UP code: objects, not bytes, here.

And with this, the cold load completes on aarch64!

Fix large application setup.

Teach cmpintmd to flush the instruction cache on aarch64.

Fix argument to PUSH_D_CACHE_REGION.

Takes startptr/count, not startptr/endptr.

This was not an issue before because until aarch64, the only extant
port that even used this, i386, ignored the argument as a macro and
flushed the entire cache.

Fix branch instruction in uuo link stub.

Tweak read/write_compiled_closure_target for clarity and assertions.

Fix cache-assignment code generation.

Fix case.

Fix LSR instruction encoding.

Fix scale->shift.

Fix read/write_compiled_closure_target.

Byte offsets, not object or instruction word offsets.

Fix comment.

Fix PC-relative calculations to work entirely in newspace.

Fix read/write_compiled_closure_target offsets.

Allow non-branch in cc_return_address_to_entry_address.

This happens for trampolines.  Maybe this should be a special case.

Fix scaling of PC offsets: they're byte offsets, not word offsets.

Fix some symbol sizing.

Tidy up interface_to_C.

Note there is a way to do negative offsets.

Make C_to_interface go through interface_to_scheme.

This way C_to_interface sets up VAL, which is necessary in case it is
invoking a continuation.

Fix encoding of ROR and EXTR instructions.

Load UARG2, don't clobber UARG1, in apply hooks.

Fix calculation of hook instruction address.

Fix order of arguments to load-tagged-immediate.

Fix reversed byte order branches in read_uuo_frame_size.

Fix extraction of PC offset from branch instruction.

Fix format word padding and tweak block offsets.

We already arranged for all entries to be 64-bit aligned, so we might
as well take advantage of that in block offsets.

Fix uuo link and trampoline instructions.

Make interface_to_scheme match reality, not sensibility.

Should change cmpint.c so we pass a separate dispatch routine in for
entries and continuations, but that requires changing all the
cmpauxen at once.

Compiler oughta agree cmpauxmd about what register is stack pointer.

Simplify format words: make them always be instruction words.

No need for endianness conditionalization.

Fix passage of dynamic-link.  Only machine register, not regblock.

Assert block offset is zero.

Add a TODO.

Teach ucode identify about aarch64.

Also make this always return a string here, so it doesn't crash on
boot if it hasn't been taught about new compiled code types.

Save an instruction in multiplication with CSETM.

Tweak some register numbering to reduce a bit of code.

Fix register block indexing: no hooks in the register block here.

Fix add/sub immediate syntax and criterion.

Use a temporary if necessary in AFFIX-TYPE.

Draft aarch64 cmpauxmd.

Fix push order in move-frame-up / dynamic-link.

Fix some instruction syntax bugs.

- Specify target _and_ source -- we're not x86 here.
- Specify operand size.
- Specify multipliers correctly.

Avoid REGISTER-COPY-IF-AVAILABLE and TEMPORARY-COPY-IF-AVAILABLE.

These give out register references, which are a pain.  Just use
REUSE-PSEUDO-REGISTER-IF-AVAILABLE! to get the machine register
number.

Disable floating-point vector primitives too.

Until we have open-coded floating-point arithmetic.

Make RTL:CONSTANT-COST always return positive.

Otherwise CSE might substitute constants for registers where at best
it's not helpful and at worst we don't have rules for it.

Fix up some instruction decriptions.

- Migrate some things with citations and updates to instr1.scm.
- No need for `(evaluation ,terms) in fixed-width instructions.
- Fix some missing or duplicated bits.
- Add some more instructions.

Umptuple-check that instruction widths sum to multiples of 32 bits.

Put something in these stub files so they compile as code.

Otherwise the portable fasdumper barfs trying to fasdump a pathname.

Update config.guess and config.sub so they recognize aarch64.

Fix configure goo for aarch64 with byte order specified.

Block offset units are instructions, not bytes, so we get two more bits.

Various work to get this going.

Enough to compile and assemble advice.scm, the first file in the
runtime.  Still a ways from doing anything.

Teach assembler about MODULO.

XXX Should maybe do EUCLIDEAN-REMAINDER or the full gamut of division
operators, but this is all I need for now.

Report bad expressions more clearly.

Fill in some more files, add some build goo, fix some bugs.

Invent a way to do assembler macros so we can do legible branch
tensioning rules and reuse ADRP/ADD patterns.

Draft aarch64 back end.

Nowhere near completion yet, long TODO list, not compile-tested, &c.
Not sure if I'll find any more copious spare time to work on this for
a while.

Fix multiplication and division by purely imaginary numbers.

That is, complex numbers whose real part is exact zero.

Test multiplication and division by +i and -i.

We do not currently follow Kahan's recommenations that when the real
part is exactly zero, the arithmetic be done by negation rather than
multiplication.

Fix edge cases in ANGLE.

Expand edge cases for ANGLE.

Based on Kahan's `Much Ado about Nothing's Sign Bit' paper.  We screw
up some zero edge cases.

Fix references incorrectly marked with EVR().

`x ... ...' is busted in syntax-rules.

Merge branch 'riastradh-20181220-closentry-v12'

Tweak logit1/2+ condition number plot for clarity.

Factor out common PostScript code for plotting.

Should make this a little more maintainable.

Uniform code and style for plots.

Tweak line widths a little bit to roughly match cmmi10 (Computer
Modern Math Italic 10pt) rule widths for axes, and a little thicker
for the plots themselves, for the printed manual.

Produce 300dpi, not 72dpi, PNGs for HTML output.

Use TLS/SSL for links to <srfi.schemers.org>.

Add release note.

Bump COMPILER_INTERFACE_VERSION.

Make attempts to use old .com files fail a little more obviously.

Set default target to all for cross-builds too.

No need to make it default to cross-host.  If you want to separate
the cross-host/cross-target stages, you'll know to do cross-host
anyway.

Avoid spurious fallthrough (fortunately harmless here).

Test fma exceptions too.