Remove the pseudo stuff in favour of modified is_move instructions to represent
copies: it's all still the same logic with the conversion pass, but is now much
simpler.

Add a fairly clunky pass which converts @copy pseudos into moves. Seems to
work, but needs more thought.

Fix header name typo.

Properly propagate the registers returned by stmt:reg rules.

Wire up REG and NOP properly (so they actually import the right values).

Add basic freezing code. Rework the actual allocation phase to do it in the
right order. Disable spilling (as it's not working yet). Now the results look
almost correct, sometimes!

Fix bug where pop would return the wrong value.

Loading longs might corrupt the input register (if the output register pair
aliases it).

We now allocate fake registers! Although it's broken and needs reworking.

Add a function for finding the first unset bit.

The degree of missing vertices is now always 0.

Merge from default.

Keep track of which vregs need to be in real registers (i.e. are being used to
do work) and which ones aren't (and so can be spilt). Do some long-needed
cleanup and removal of dead code.

Merge pull request #46 from kernigh/kernigh-pr-man

Tune the installed manual pages.

Enough of the new allocator works to construct interference and affinity
graphs, coalesce BB inputs/outputs, and coalesce some affinity nodes (although
there's not really any logic yet to properly think about node degrees).

Fix a horrible bug where removing edges wouldn't work; add the ability to
iterate over a vertex's neighbours; add the ability to merge vertices.

Add set_get_any() to return a random item in the set (just a simple wrapper
around a one-use iterator).

Tune the installed manual pages.

This commit slightly improves the formatting of the manuals.  My
OpenBSD machine uses mandoc(1) to format manuals.  I check the manuals
with `mandoc -T lint` and fix most of the warnings.  I also make
other changes where mandoc didn't warn me.

roff(7) says, "Each sentence should terminate at the end of an input
line," but we often forgot this rule.  I insert some newlines after
sentences that had ended mid-line.

roff(7) also says that blank lines "are only permitted within literal
contexts."  I delete blank lines.  This removes some extra blank lines
from mandoc's output.  If I do want a blank line in the output, I call
".sp 1" to make it in man(7).  If I want a blank line in the source,
but not the output, I put a plain dot "." so roff ignores it.

Hyphens used for command-line options, like \-a, should be escaped by
a backslash.  I insert a few missing backslashes.

mandoc warns if the date in .TH doesn't look like a date.  Our manuals
had a missing date or the RCS keyword "$Revision$".  Git doesn't
expand RCS keywords.  I put in today's date, 2017-01-18.

Some manuals used tab characters in filled mode.  That doesn't work.
I use .nf to turn off filled mode, or I use .IP in man(7) to make the
indentation without a tab character.

ack(1) defined a macro .SB but never used it, so I delete the
definition.  I also remove a call to the missing macro .RF.

mandoc warns about empty paragraphs.  I deleted them.  mandoc also
warned about these macro pairs in anm(1):

    .SM
    .B text

The .SM did nothing because the .B text is on a different line.  I
changed each pair to .SB for small bold text.

I make a few other small changes.

Merge pull request #44 from kernigh/kernigh-pr-as

mach/proto/as: allow more tokens

Merge from default.

Merge pull request #45 from davidgiven/dtrg-fixups

Add hi16[], ha16[], lo16[] support to the PowerPC assembler

Add a man page for the PowerPC assembler (not used anywhere yet).

Clean up the led includes.

Allow more tokens in the assembler.

I need this so I can add more %token lines to mach/powerpc/as/mach2.c

The assembler's tempfile encoded each token in a byte.  This only
worked with tokens 0 to 127 and 256 and 383.  If a token 384 or higher
existed, the assembler stopped working.  I need tokens 384 and higher.

I change the token encoding to a 2-byte little-endian integer.  I also
change a byte in the string encoding.

Apply kernigh@'s fix to broken symbol tables in aelflod (via mailing list patch):

---snip---
The ELF spec at http://www.sco.com/developers/gabi/ says, "In each
symbol table, all symbols with STB_LOCAL binding precede the weak and
global symbols," and that sh_info is the index of the first non-local
symbol.

I was mixing local and global symbols and setting sh_info to zero. I
also forgot to set the type of the .shstrtab section.
---snip---

Merge from default.

Use prototypes in mach/proto/as/comm5.c

Order the function prototypes in comm1.h to match the order of the
function definitions in *.c files.

Add a bunch more set operations to the PowerPC backends, and the Pascal test
for the same.

Delay inclusion of <stdint.h> when compiling comm2.y

See issue #1 (https://github.com/davidgiven/ack/issues/1).  The file
mach/proto/as/comm2.y goes through cpp twice.  The _include macro,
defined in comm2.y and used in comm0.h, delays the inclusion of system
header files.  The inclusion of <stdint.h> wasn't delayed.  This
caused multiple inclusions of <sys/_types.h> in FreeBSD and
<machine/_types.h> in OpenBSD.

Use _include to delay <stdint.h>.  Also use _include for "arch.h" and
"out.h", because h/out.h includes <stdint.h> and h/arch.h might
include it in the future.

Sort the system includes in comm0.h by moving them up to be with
<stdint.h>.  Must include <stdint.h> before "mach0.c", because
mach/powerpc/as/mach0.c needs it.  Must include "mach0.c" before
checking ASLD.

Remove some obsolete code that causes a gcc warning.

In my OpenBSD/amd64 system, the code becomes

    if (0)
        outname.on_valu &= ~(((0xFFFFFFFF)<<32)<<32);

The 0xFFFFFFFF is a 32-bit int, so the left shift by 32 is out of
range and causes the gcc warning.

The intent might be to clear any sign-extended bits, if the assignment
outname.on_valu = valu did sign extension.  Old C had no unsigned
long, so .on_valu would have been long.  The code is obsolete because
h/out.h now declares .on_valu as uint32_t.

Ensure that memory is zero-initialised.

Fix a buffer overrun that was manifesting on OpenBSD; also fix a bounds check and some uninitialised variable problems.

Run through clang-format.

Fix cosmetic warning when compiling B.

Merge pull request #40 from davidgiven/dtrg-pas

Make Pascal sets work on PowerPC (both ncg and mcg); make Pascal know about 8-bit bytes.

Allow the full 8-bit byte range when reading program source.

Rename the test to something more sensible.

Increase the number of items in a char set from 128 to 256, to cover all
possible bytes (7-bit bytes are so 70s).

Add a test (currently failing) to check that Pascal char sets can store all 256
possible values. Add the PowerPC ncg and mcg backend support to let the test
actually run, including modifying a bunch of PowrePC libem functions so that
they can be called from both ncg and mcg.

Actually tell the user which tests failed.

Add missing header.

Turns out Apple's hi16/ha16 exactly match my ha16/has16, so renamed
accordingly. (Memo to self: read the docs *before* doing the work.)

Signed vs unsigned lower halves of powerpc fixups are now handled by having two
assembler directives, ha16() and has16(), for the upper half; has16() applies
the sign adjustment. .powerpcfixup is now gone, as we generate the relocation
in ha*() instead. Add special logic to the linker for undoing and redoing the
sign adjustment when reading/writing fixups. Tests still pass.

Revert change; addis/ori requires different handling to addis/lwz due to ori's
payload being unsigned while lwz's payload is signed.

Update the hi/lo syntax to be a bit more standard.

Add assembler support for fixing up arbitrary oris/addi pairs of instructions;
this should allow oris/lwz constant value loads, which will save an opcode.

vregmapping has gone; the input and output vregs are now part of the valueusage
structure. This allows them to be different, which vastly simplifies parallel
copies.

Rework hashtable iterators; you can now delete items while iterating over them
(only the current item, though).

Typo fix so that liveness is now calculated correctly again; remember to reset
the storage set on exit so we don't end up with bogus pointers after the heap
is freed.

Hashtables now allow you to specify allocation and free functions; the mcg code
generator uses this to put all temporary data onto the procedure heap.

Change the value in/out info from a bunch of ARRAYOFs to a single hashtable of
per-hop value metadata.

Hashtable get, next and pop operations now treat a null hashtable pointer as if
it were an empty hashtable.

Clone all the vregs just before and after every instruction, so converting the
program into elementary form.

Replace the 'preserved' constraint with a per-register form of 'corrupted';
it's going to work almost exactly the same, but is easier to get my head around
and friendlier to the new allocator.

Start putting the vreg stuff back in; vregs are now assigned (but we're not in
elementary form yet).

Remove imap, as it was ugly and nobody used it.

Archival checkin (won't build): monster refactor; don't allocate vregs at
instruction selection time, but instead deal with 'values' which are tied to
their parent IR. The code is now way cleaner and more understandable. We'll
aasign vregs in a later pass, as we convert to elementary form.

Fixup after merge.

Merge from default.

Fix typo.

Improve confusing error message when calling function procedures from a
top-level statement.

Fixes: #30

Run through clang-format.

Don't print source file names during compilation (gcc stopped doing it years
ago).

Run through clang-format.

Don't sort inludes any more (breaks too many ACK files).

Merge pull request #32 from dram/add-execve

Add execve() system call for Linux

No longer truncate module names at 10 characters when constructing paths;
rename some library modules to their full names.

Run through clang-format.

Properly install man pages.

Add a B man page.

Update the README.

Make sure that constant folding doesn't render our tests trivial.

Sections are now aligned (required by the EM spec).

Fix a bunch of issues with pushing and popping mismatched sizes, which the B
compiler does a lot; dup 8 for pairs of words is now optimised.

Pre-and-post-modification operators now work substantially better (i.e.,
working).

Moved the inc/dec operator tests into their own source file; more exhaustive
testing.

ine and ste are now declared to modify memory (preventing cached values being
propagated across the modification).

Introduce sequence points before store instructions to prevent loads from the
same address being delayed until after the store (at which point they'll return
the wrong value).

Use a better NOT; and after remembering that PowerPC bit numbers are all
backwards in the documentation, rewrote IFEQ/IFLT/IFLE to actually work.
Probably. Thanks to the B test suite for spotting this.

Extern variables can now be written to.

Ensure that procedure labels are word-aligned.

Add execve() system call for Linux

Fix typo in the descr file which was stopping -B from working. Add B
documentation to the ack man page.

Added an abmodules tool which detects B modules and generates an initialiser
function for them (in C, unfortunately).

Add a control flow test.

Jump tables for switch now go in ROM (required by the EM spec). Forward gotos
now work.

Add proper support for negative constants in external initialisers.

Remove the negative-constant code from the compiler; I think it's going to
break a=-1 (with no spaces). Backed out changeset dead3363ac7d.

Add tests for more operators.

Add support for the ~ operator.

Add support for negative constants in external initialisers.

Allow programs to override binit() (so they can register their own modules).

Add support for B tests; add a test for the B operators (finding several
compiler bugs in the process).

Add support for the xor operator.

B patch table names shouldn't be in the B symbol namespace.

Fix issue where !x was actually calculating !!x.

Trying to install openbios-ppc causes Travis to error out now (not sure why).

Add a B version of the hilo program.

Add a declaration for the -Bxyz module name flag, used by the B compiler.
Rename some of the Basic flags to avoid confusion.

Fix an issue throughout where B couldn't be built by ackprogram due to symbol
laziness.