Bigraph now uses hash tables to hold edges inside vertices, rather than linked
lists.

Massive graph performance boost by checking to see whether an edge already
exists in the hash table before trying to add it.

More porting to the set and graph libraries; no longer maintain a set of
vertices, as it's easier and faster to fetch from the interference or
preference graphs.

Fix warning.

Add hashtable/set_empty to go with _reset, which removes all items from the
table but doesn't free the bucket array or reset the size --- saves an
allocation when reusing the hashtable.

Fix crash when enumerating uninitialised hashtables.

Convert to the set API.

Convert to use the set API.

Convert to use the set API.

Convert to use set and graph APIs.

Expand the graph and set APIs.

The hash table now automatically resizes when it gets full.

Add a set-based hashtable; change the register allocator to use it for vertices.

Switch completely away from pmap_bi to the new bigraph module.

Ensure that cflags is honoured when linking cprograms. (Needed for -pg to
work.)

Archival checkin: partial conversion to using bigraph for the interference and
preference graphs.

Actually, let's not split phis on entry just yet; because we split vregs one at
a time, splitting several in a row just causes half of them to interfere with
the other half, which doesn't really help.

Add hashtable and work-in-progress bigraph modules.

Fix an embarrassing but safe mistake where 3x the space was being allocated for
arrays.

Ensure we cover all vregs, even pathalogical cases (e.g. phis which are never
used).

Spillable vregs now get simplified, if possible.

Much more aggressive splitting.

Merge in warning fixes (properly, this time).

Merge from trunk.

Add pmap_contains_bi() and pmap_remove_bi().

Fix warnings.

Cleanup for correctly assigning bbs when tinkering with IRs.

Wire up the new passes.

Add infrastructure for new, special move hops.

Fix warnings.

Gets much further at allocating registers now; the register graph is (possibly)
correctly simplified and spilt, although it still fails on mandelbrot.c.

Nothing uses phi congruence any more (replaced by register allocator anode
coalescing), so remove the pass that calculated it.

Don't record use-def data; we have a pass now that does this for us.

Rename the locals SSA pass to be more clearly named.

Always insert phis, even if we don't technically need one (saves time later).

Move the dominance frontier calculation into graph.c for cleanness (thought we
were going to use this in several places, but turned out not to).

Add standard functions for rewriting IRs (because we do that in several
places).

Fix warnings.

IR imports are now analysed and split so that all IRs imported from another
block come via a phi and from a direct predecessor. Add a separate pass for
calculate use-def data on vregs. Add a pass for (attempting to) split vregs
before and after instructions.

Merge in warning fixes.

Merge from default.

Fix a warning.

Run lang/basic/lib through clang-format.

Ansify function definitions.

Merge pull request #27 from kernigh/pr-qemu-doze

Teach qemuppc to halt the cpu on _exit().

Convert the inn test to work with the test library and not import InOut; it now
runs on qemuppc again. Reenable qemuppc tests.

Merge pull request #28 from kernigh/pr-set-ppc

add Modula-2 set operations to PowerPC ncg

Add Modula-2 set operations to PowerPC ncg.

This provides and, ior, xor, com, zer, set, cms when defined($1) and
ior, set when !defined($1).  I don't provide the other operations
!defined($1) because our Modula-2 compiler hasn't used them.

I wrote a Modula-2 example in
https://gist.github.com/kernigh/add79662bb3c63ffb7c46d01dc8ae788

Put a dummy comment in mach/powerpc/libem/build.lua so git checkout
will touch that file.  Without the touch, the build system doesn't see
the new *.s files.

Add some missing clauses to los, sts, aar, inn, cmi, cmu.

We only implement 'los 4', 'sts 4', 'cmi 4', 'cmu 4', not for sizes
other than 4.  Add clause $1==4.

We only implement inn when defined($1).

The rule for aar needs 'kills ALL' because it kills many registers,
like other rules that call libem.

Add a move from CONST smalls(%val) to GPR.

This allows 'move {CONST, $1}, R3' with a small enough $1 to emit one
instruction (addi) instead of two instructions (addis, ori).  The
CONST token confusingly isn't in the CONST_ALL set.

Fix ass to match the EM spec.

The spec says, "ASS w: Adjust the stack pointer by w-byte integer".
The w argument "can either be given as argument or on top of the
stack."  Therefore, 'ass 4' would pop the 4-byte integer from the
stack, but 'ass' would pop the size w from the stack, then pop the
w-byte integer.

PowerPC ncg wrongly implemented 'ass' as if it was 'ass 4'.  Fix it to
accept only 'ass 4'.

Remove the bogus rules for 'lor 2' and 'str 2'.

These instructions would load or store the EM heap pointer.  They
don't work.  Programs must use brk() or sbrk() in libsys.

The last file to use 'lor 2' and 'str 2' was lang/pc/libpc/sav.e in
the Pascal library.  Commit c084f9f deleted the file, so we no longer
need rules 'lor 2' or 'str 2' to build the ACK.

Fill in a hint for enabling the COMMENT macro.

If you want to enable comments in the .s file, change

    #define COMMENT(n) /* comment {LABEL, n} */

to

    #define COMMENT(n) comment {LABEL, n}

Remove trailing whitespace in mach/powerpc/ncg/table

Fix typo: msr0 should be msr.

Teach qemuppc to halt the cpu on _exit().

Without this, qemu-system-ppc spins the host cpu until I close its
window.  I assume the default G3 emulation.  The emulator yields the
host cpu if I set certain flags in hid0 then msr.  The hid0 flag can
be any of DOZE, NAP, SLEEP, so I just set all 3.  I encode mfmsr and
mtmsr with .data4, because our assembler doesn't know instructions for
supervisor mode.

Also move some common symbols from .rom to .bss.  Our assembler puts
common symbols in any section.

Also clean up the file.  Delete a comment about linuxppc that is wrong
here.  Delete redundant .extern because .define is the same.

Allow mfspr, mtspr with a register number.

PowerPC has a few hundred special-purpose registers.  The assembler
had only accepted the names "xer", "lr", "ctr".  Most programs use
only those three SPRs.  If I add more names, they would almost never
get used, and they might conflict with labels.

I want to use "mfspr r3, 0x3f0" and "mtspr 0x3f0, r3" in
plat/qemu/boot.s to access register hid0 from supervisor mode.

Merge pull request #25 from davidgiven/dtrg-inn

Fix endianess issue with inn.

Add a test for #22.

Disable qemuppc tests; turns out qemu-system-ppc won't load more than the first
4kB of a kernel...

Fix redirection so stray stderr output from qemu doesn't cause mysterious test
failures.

inn was assuming that bitfields were arrays of bytes, when actually they're
arrays of words (which makes the LSB move on big-endian systems).

Merge pull request #23 from kernigh/pr-osx

new platforms osx386 and osxppc

Don't share as, ncg, top between Linux and Mac OS X.

Telling osx386 and osxppc to build and run their own tools, not to
reuse the tools from linux386 and linuxppc.  This wastes time to build
identical tools, but it removes some bogus dependencies.  OS X tools
had wrongly depended on Linux descr files and aelflod; now they don't.

Discussion in https://github.com/davidgiven/ack/pull/23

Add pmap_remove_either().

Add array_replace().

Fix some shell issues that would occasionally cause hangs if no tests failed.

Clean up how the language libraries refer to plat headers; they should be using
the +pkg forms of the rules and getting the headers via the paths in descr,
rather than depending on the +headers version.

Change dependency from simplerule{} with a dependency but no outputs to an
installable; otherwise, the dependency would be built, but the result wouldn't
get added to the header path and so wouldn't be seen.

Merge branch 'pr-osx' of https://github.com/kernigh/ack into kernigh-pr-osx

Create Mach-o files with mode 0777 to allow executing them.

Until now, I was always doing chmod +x before running my files on the
Mac.  Now files get created +x.  There's no change when overwriting
an existing file.  I needed to gmake clean my build to remove the
example programs without +x, so cvmach can create them with +x.

Write README files for osx386 and osxppc.

Remove bad overflow check from plat/osx/libsys/brk.c

If I want to check for overflow, then I should check it before I do
base + incr, not after.

Now that I have no check, I am passing the overflowed base + incr to
brk1(), where it will probably fail the nbreak < segment check.

Write a manual page for cvmach(6).

This manual is in the new mdoc(7) format.  All existing ack manuals
use the old man(7) format.  This might be a problem if someone can't
display mdoc(7) files.

The build system doesn't install the cvmach(6) manual; that might
happen later.  The current build system installs manuals in two
different places, and doesn't install some manuals, so I don't know
what to do.

Merge from default.

Merge pull request #21 from davidgiven/dtrg-tests

Run all tests, even if some fail, and produce a test summary at the end of the build.

Typo fix.

Don't fail to build if all tests are skipped.

UI tweaks to the test summary.

Report skipped, failed and timed out tests.

Mark skipped tests in the logs (so we can get stats on them later).

Run all tests, even the ones which fail, and emit a test summary right at the
end of the build (and fail then).

Merge pull request #20 from davidgiven/dtrg-tests

Replace the hacky pipeline in testdriver.sh with a bespoke tool.

Fix signal unsafety in testdriver.c.

Merge from default.

Merge pull request #18 from kernigh/pr-util-ack

util/ack: use DEFAULT_PLATFORM, allow non-ASCII filenames, other changes

Write a powerpc.descr for ego and use it with osxppc.

No change to linuxppc and qemuppc.  They continue to run ego without
any descr file.

I copied m68020.descr to powerpc.descr and changed some numbers.  My
numbers are guesses; I know little about PowerPC cycle counts, and
almost nothing about ego.  This powerpc.descr causes most of the
example programs to shrink in size (without descr -> with descr):

  65429 -> 57237  hilo_b.osxppc        -8192
  36516 -> 32420  hilo_c.osxppc        -4096
  55782 -> 51686  hilo_mod.osxppc      -4096
  20096 -> 20096  hilo_p.osxppc            0
   8813 ->  8813  mandelbrot_c.osxppc      0
  93355 -> 89259  paranoia_c.osxppc    -4096
  92751 -> 84559  startrek_c.osxppc    -8192

(Each file has 2 Mach segments, then a symbol table.  Each segment
takes a multiple of 4096 bytes.  When the code shrinks, we lose a
multiple of 4096 bytes.)

I used "ack -mosxppc -O6 -c.so" to examine the assembly code for
hilo.mod and mandelbrot.c, both without and with descr.  This reveals
optimizations made only with descr, from 2 ego phases: SP (stack
pollution) and RA (register allocation).  In hilo.mod, SP deletes some
instructions that remove items from the stack.  These items get
removed when the function returns.  In both hilo.mod and mandelbrot.c,
RA moves some values into local variables, so ncg can make them into
register variables.  This shrinks code size, probably because register
variables get preserved across function calls.  More values stay in
registers, and ncg emits shorter code.

I believe that the ego descr file uses (time,space) tuples but the ncg
table uses (space,time) tuples.  This is confusing.  Perhaps I am
wrong, and some or all tuples are backwards.  My time values are the
cycle counts in latency from the MPC7450 Reference Manual (but not
including complications like "store serialization").

In powerpc.descr, I give the cost for saving and restoring registers
as if I was using chains of stw and lwz instructions.  Actually ncg
uses single stmw and lmw instructions with at least 2 instructions.
The (time,space) for stmw and lmw would be much less than the
(time,space) for chains of stw and lwz.  But this ignores the pipeline
of the MPC7450.  The chains of stw and lwz may run faster than stmw
and lmw in the pipeline, because the throughput may be better than the
latency.  By using the wrong values for (time,space), I'm trying to
tell ego that stmw and lmw are not better than chains of stw and lwz.

Declare raise() for Mac OS X.

This prevents the warning, "implicit declaration of function raise",
in programs that call raise().  I forgot to declare it because the
function raise() is in libc but the declaration goes in libsys.

Replace the hacky and broken pipeline in testdriver.sh with a custom-written
tool in C; much more robust and easier to understand, as well as avoiding the
dependency on timeout (which isn't Posix).

Enable top and make other tweaks in plat/osxppc/descr

David Given made top for PowerPC.  Copy the asopt phase (running top)
from linuxppc to osxppc.

Remove CC_ALIGN=-Vr to become compatible with Apple's gcc.  Apple uses
left adjustment for bitfields; the first bitfield is on the left side
(the big end), not the right side.

Remove unused variables C_LIB and OLD_C_LIB; the file libc-ansi.a
doesn't exist.

Change MACHOPT_F from -m10 to -m3.  This means to use no more than 3
adds and shifts to optimize a multiply by a constant.  I pick -m3
because -m4 can use too many instructions.  At -m4, the compiler
rewrites

    n * 14

as

    s = n << 1
    (s << 3) + (0 - s)

This means (n * 16 - n * 2), but even at ack -O6, the compiler doesn't
rewrite (a + (0 - b)) as (a - b).  The compiler emits 5 instructions:
2 of rlinmw for 2 left shifts, then addi to load 0 in a register, subf
to subtract from that 0, then add.  These 5 instructions cost 5 cycles
on the MPC7450, using the cycle counts from mach/powerpc/ncg/table.

At -m3, (n * 14) becomes 2 instructions: addi to load 14 in a register
and mullw to multiply.  This also costs 5 cycles (because mullw costs
4 cycles), but uses less space.

While fiddling with mcg, change qemuppc back to using ncg (so that everything
still builds).

Basic building and initial coalescing of the interference graph now works.

Add a routine for adding bidirectional edges to a graph.

Merge branch 'default' into kernigh-osx

This brings in David Given's PowerPC changes, including the addition
of the modern code generator (mcg) for PowerPC.

Resolve minor conflicts in top build.lua and util/led/main.c

Add getdirentries() and stat() for Mac OS X.

Also add fstat() and lstat().  I don't #define the constants for
st_mode or d_type, but I provide enough to get the block size of a
file and to list the names in a directory.  Some fields of struct stat
get truncated, see XXX in plat/osx/include/sys/stat.h.

In struct dirent, the inode field might be d_ino or d_fileno.  I
picked d_ino because Apple's sys/dirent.h uses d_ino (but Apple's
manual pages use d_fileno).

Use heaps to reduce memory usage a bit.

Suppress spurious message when testdriver probes for a testing method.

Updated the README.

Merge pull request #17 from davidgiven/dtrg-tests

Refactor the tests so they run for several plats.

Use command -v rather than hash to detect commands (command is Posix and works
on OpenBSD).