The slow tests are computed as those that would be printed as outliers
on a boxplot of all the t...

Remember the location of the 'function' keyword that starts every
function. This can be useful f...

The CI builds were using a lot of time downloading and building crates.

Spin up one worker thread per cpu, and run filetests on all of them. Use
a reorder buffer in Run...

Always keep PathBufs for every entry in the test list. When concurrent
testing is enabled, we'll...

Loading a file and running the test in it can be separated from the
mechanics of running multipl...

This saves on importing of all the sub-modules that implement new test
commands, and it provides...

The main libcretonne crate should not have any external dependencies if
at all possible. Use sim...

This test runs the verifier on each function and matches the resulting
verifier error against th...

The verifier reports the 'location' of an error message as a reference
to the entity that has a ...

This test verifies the computed dominator tree against annotations.

Move the existing testcases...

This makes it possible to refer to entities defined in the source file,
using the source names p...

Give crate clients the possiblility of mapping source-level entity names
to proper entity refere...

Often, an implementation of VariableMap can return references to
internal strings, and Cow::Borr...

Don't let 'cton-util test' finish without printing anything.

Move the CFG tests into the filetests directory.

Remove the tests directory, there are no more ...

This prepares use for implementing a 'test print-cfg' sub-test.

No point in returning a syntax error if the file contains test commands.

This trait serves as a shared interface for the different kinds of test
commands the 'cton-util ...

Create a new directory hierarchy under 'filetests' for all the tests
that are run by 'cton-util ...

It is common to represent a function as a String, and previously that
required re-validating the...

It's not super fast to clone a function, but it is faster than
re-parsing the test case file it ...

Use (Function, Details) in place of the aggregrate DetailedFunction.
It turns out that some test...

This code looks overly complicated because it is anticipating running
jobs in a thread pool.

Th...

This command accepts files and directories containing test cases to run.
Recursively searches fo...

The top-level parse_test() function now parses test commands in the
preamble of a .cton file.

This is used to grap the tail of a 'test' line which doesn't use the
same tokens as a normal .ct...

The result from parsing a function is now a DetailedFunction which
includes all comments that ca...

It is sometimes useful to know the entity reference number that will be
assigned to the next thi...

The new exported function `parse_test()` will produce it eventually.

Export a single function: parse_functions() which results a vector of
functions parsed from the ...

It's not used for anything yet.

This type can reference any type of entity in a function. It will be
used for the location of ve...

The -c flag to 'cton-util filecheck' will now print out a description of how
the directives are ...

The regex library also uses (usize, usize) for ranges. The type alias is just
to make it clearer...

This library implements functionality similar to LLVM's FileCheck utility, but
in library form.

The current implementation only performs a few basic checks.

Use the new ISA predicate numbering to emit ISA predicate instructions in the
encoding tables.

...

Use 'group.setting' format for named predicates, only display the expression
for anonymous predi...

Move all the byte-sized settings to the front of the byte-vector, and add a
mechanism for assign...

This is just the basic 'imul' the M instruction set also has mulh/mulhu which
yield the high bit...

Three predicates affect each extension:

- supports_m determines whether the target CPU supports...

The 32-bit CPU mode uses a different encoding for iadd_imm.i32, and 64-bit
instructions are not ...

Test that the generated encoding tables work as expected.

Change isa::Encoding into a struct wi...

This will be used to pretty-print encodings in the textual IR.

This hardcodes the division line between the recipe bits and the
encoding bits. It does not seem...

Define data types for the level 1 and level 2 hash tables. These data types are
generic over the...

The large LEVEL2 table consists on multiple concatenated constant hash tables.
Add comments to t...

Many ISAs and 64-bit and 32-bit variants. Use a shared is_64bit setting to
distinguish.

Rustfmt is still so immature that developers can't have different versions
installed, or there w...

All of the level 2 hashtables are concatenated into one constant array per ISA.

The 32-bit arithmetic instructions are encoded differently in the RISC-V 64-bit
mode.

Compute the u16 representation of encoding lists and emit a big table
concatenating all of them....

The recipes are shared across CPU modes.

We need to generate hash tables keyed by types, so the Python scripts need to
know the index use...

Add a TargetISA.finish() method which computes derived data structures after
the ISA definitions...

This is just used for printing better comments in generated code.

Amend build script to generate an encodings-<isa>.rs file for each target ISA.

Emit a function ...

When generating Rust code for an instruction predicate, call the corresponding
function in the p...

Update copyright.

Fix a typo nearby.

This collects all of the leaf predicates that go into a compound predicate.
Current leaf predica...

Only do this is rustfmt is installed, which likely means don't run on Travis
CI.

This allows the usage:

src/format-all.sh --write-mode=diff

If both specify a predicate, combine them with 'And'.

When representing smaller integer types, immediate values should be
sign-extended to i64.

Add new instruction predicates to support the 'I' encoding recipe: IsSignedInt,
IsUnsignedInt us...

Usually an instruction firmat has only a single immediate operand called 'imm',
or 'cond' if it ...

Each InstructionFormat instance gets data members corresponding to its immediate
operands, so th...

Try to keep our Python sources compatible with both Python 2.7 and 3.

Check with 'pylint --py3k...

Corresponding changes to test cases are also included.

Also add the 32-bit shift instructions for RV64.

To be complete the dominator tree must represent idoms as Ebb, Inst pairs, i.e.
bais blocks.

We have multiple pre-computed constant hash tables that all use the same
quadratic probing algor...