Merge branch 'riastradh-20190113-aarch64-v6'

Open-code floating-point arithmetic on aarch64.

Disabled by default for now due to limited testing.

Reduce some extraneous MOVK instructions in immediate loads.

Fix set of architectures with busted fp compare exceptions.

Work around buggy libm on NetBSD/aarch64.

Will be fixed upstream but it doesn't hurt to add one more bit here.

Show for which parameters the test failed.

Simplify flo:-inf.0 and flo:+inf.0.

We have put out a release now whose reader understands +inf.0/-inf.0,
so we should be able to use the notation.

Fixes bugs with incorrectly raising the divide-by-zero exception flag
(even if no trap), e.g.:

;|log1mexp-invalid/(4.9406564584124654e-324)| failed 1 sub-tests out of 1 in 0. seconds:
     assertion 3: value was 3 but expected an object eqv? to 1

Here 3 = (invalid-operation divide-by-zero), 1 = (invalid-operation)
[aarch64].

Fix missing #include.

Mistake failed silently because it only changed #ifdef outcome.

Let caller specify how to get a temporary in ADD-IMMEDIATE.

Fixes

;  Compiling file: "test-hack.bin" => "test-hack.com"...
;Unassigned variable: *needed-registers*

because of attempt to allocate a temporary in ADD-IMMEDIATE during
GENERATE/REMOTE-LINKS.

New GENERAL-TEMPORARY! shorthand.

Fix units for cc_entry_to_block_offset/cc_return_to_block_offset.

It would make more sense for the compiler to generate debug data
labels in instruction units, but this is a simpler change and is what
was done in the past on machines like mips with 32-bit aligned
instructions.

aarch64 now has functioning debug data!

Fix comment about odd rounding mode.

Add missing include guards.

Update and clarify fp-env documentation.

Simplify flo:update-environment!.

Caller is interested in exceptions afterward, so it is not sensible
to deregister interest in the floating-point environment afterward.
If you really want that, surround it in flo:preserving-environment.

Fix two bugs in floating-point environment.

1. Don't cache it in the current thread.

   We can't mark everywhere the cache needs to be invalidated --
   i.e., every floating-point instruction -- and it's not clear
   there's any performance benefit to the cache anyway.  The main
   performance cost, as I recall, was swapping environments on every
   thread switch, which we avoid for all threads in the default
   environment.

2. The default environment initialization left the machine in a wacky
   state after reset-package!, which caused many spurious exception
   traps once I undid the cache.  There's no need to preserve the
   machine environment here; we are setting up the default
   environment, after all, so the environment we're in when done
   should be the default one.

Test busted flo:set-environment!.

Simplify some logic by using dedicated scratch registers or targets.

No need to allocate temporaries except when we need more than two or
three of them.

Use AC_CHECK_TOOL for as and allow configure parameter.

This way we auto-detect a cross-assembler more easily with, e.g.,
--build=aarch64--netbsd.

Fix sign error in previous.

Link the endian-independent cmpauxmd for aarch64.

Update aarch64 release note.

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.