The various entity maps in a function end up being referenced in
multiple places, so create type...

Use a new StackSlots struct to keep track of a function's stack slots
instead of just an entity ...

Add a StackSlotKind enumeration to help keep track of the different
kinds of stack slots support...

An instruction may have fixed operand constraints that make it
impossibly to use a single regist...

Even if an argument is already in the correct register, make sure that
we detect conflicts by re...

This breaks our depending on two different versions of the regex
library.

This updated docopt u...

Calls clobber many registers, so spill everything that is live across a
call for now.

In the fu...

Make sure that spill instructions are generated in the same way
everywhere, including adding enc...

Values passed as arguments to calls and return instructions may also be
reload candidates.

Add a spilling pass which lowers register pressure by assigning SSA
values to the stack. Importa...

The register pressure tracker now has to separate register counts: base
and transient.

The tran...

Add a Stack() class for specifying operand constraints for values on the
stack.

Add encoding re...

This is now subsumed by the generic 'dominates' function.

This is now a generic function that can test arbitrary combinations of
instructions and EBBs for...

When comparing instructions in the same EBB, behave like the RPO visits
instructions in program ...

* Function names should start with %

* Create FunctionName from string

* Implement display...

* Improved DFG API with swap_remove_ebb_args and append_inst_arg
* Implemented EntityList::swap...

This is now unused. Use domtree.cfg_postorder() instead.

Also remove the dead cfg.ebbs().

Switch to the new domtree.cfg_postorder() which returns a reference to a
pre-computed post-order...

The reload pass inserts spill and fill instructions as needed so
instructions that operate on re...

A ValueDef is really no more than a program point plus an
argument/result number.

The create_dead() methods can create a live range for a new value, and
extend_local() can extend...

* LICM pass

* Uses loop analysis to detect loop tree
* For each loop (starting with the inne...

This is analogous to replace_ebb_arg(). It replaces an instruction
result value with a new value...

* Updated the regex crate to 0.2.2 as per issue #88
* Added potential fix for cryptic CI error....

The DominatorTree has existing DomNodes per EBB that can be used in lieu
of expensive HastSets f...

* Implemented in two passes
* First pass discovers the loops headers (they dominate one of their...

* Fix GVN skipping the instruction after a deleted instruction.

* Teach GVN to resolve aliase...

* Skeleton simple_gvn pass.
* Basic testing infrastructure for simple-gvn.
* Add can_load and ...

The spilling and reload passes need to ensure that the set of live
ranges with register affinity...

The set of available registers in a register class is known ahead of
time. It can be computed wi...

Avoid spreading u32 as a bitmask of register classes throughout the
code.

Enforce the limit of ...

A top-level register class is one that has no sub-classes. It is
possible to have multiple top-l...

This makes it possible to find the register bank that contains a
register class.

Cretonne's encoding recipes need to have a fixed size so we can compute
accurate branch destinat...

We don't support the full set of Intel addressing modes yet. So far we
have:

- Register indirec...

Also add versions with 8-bit and 32-bit immediate operands.

We'll arrange encoding lists such that the first suitable encoding is
the best choice for the le...

This gets rid of the last TargetIsa method with a default
implementation.

We can start adding some real test cases for the move resolver now.

The register constraint solver has two kinds of variables:

1. Live values that were already in ...

After finding a register solution, it need to be executed as a sequence
of regmove instructions....

It is not necessary to to a second pass over the live values to update
the set of available regi...

The live value tracker expects them to be there.

We may eventually delete dead arguments from i...

Provide a drop_dead_args() function which deletes them instead.

We still need to assign a regis...

The live value tracker goes through the trouble of looking up the live
range for each value it t...

* Check for unknown instruction attributes.

* Avoid has_key, at flake8's advice.

* Use Ass...

Keep track of the current location of register values as regmove
instructions are encountered th...

Most of the time, register coloring is almost trivial: just pick
available registers for the val...

These instructions have a fixed register constraint; the shift amount is
passed in CL.

Add meta...

This is how remainder is defined in C (as of C99), C++ (as of C++11), Rust,
and WebAssembly, for...

Tabulate the Intel opcode representations and implement an OP() function
which computes the enco...

Most instructions don't have any fixed register constraints. Add boolean
summaries that can be u...

The register constraint for an output operand can be specified as an
integer indicating the inpu...

The coloring algorithm will need to look at the live-through values to
check if they interfere w...

Test it with the arm32 register banks which have the most interesting
properties. Most other reg...

This still picks up the 2.7 type annotations in comments.

Fix the compute_quadratic signature t...

A recent mypy update started writing the .mypy_cache directory which we
don't want under version...

This will be used to locally change the register locations of values in
order to satisfy instruc...

Multiple passes will need to iterate over EBBs in a
dominator-topological order. Move that funct...

- Add a check-rustfmt.sh script which checks if the right version of
rustfmt is installed.
- R...

- Remove some uses of 'static in const and static globals that are no
longer needed.
- Use the...

The arguments to the entry block arrive in registers determined by the
ABI. This information is ...

This gives the target ISA a chance to reserve registers like the stack
pointer or hard-wired 0 r...

This limited RISC-V version only has registers %x0 - %x15.

Make sure the ABI lowering code does...

This value affinity doesn't mean "whatever", it means that the value
does not interact with any ...

Make it possible to display affinities given a RegInfo reference.

Use the argument types from the function signature to initialize the
affinity of register and st...

The legalize_signature() function will return ArgumentLoc::Reg arguments
that contain a register...

This covers a common pattern for secondary entity maps: Get the value in
the map or the default ...

Fixes #69

If we generated new instructions as part of legalize, and the new
instructions failed to legaliz...

The other legalizer cases have a continue after setting the position
to double back, while this ...

This means that we can verify the basics with verify_context before
moving on to verifying the l...

The liveness verifier will check that the live ranges are consistent
with the function. It runs ...

The test drivers can stop calling comp_ctx.verify because legalize() and
regalloc() do it themse...

No need for a type parameter.

These are for reporting the overall result of compiling a function.

This is off by default, but enabled by the parser when reading a textual
IL file. Test files can...

Make room for verifier sub-modules in separate files.

The return address is now always supplied in %x1, so the return address
predictor will recognize...

RISC architectures that take a return address in a register can use a
special-purpose `link` ret...

These special-purpose arguments and return values are only relevant for
the function being compi...

Iterator tricks.

Enumerate a set of special purposes for function arguments that general
purpose code needs to kn...

All instruction formats can represent multiple results now, so a few
redundant formats can be re...

- The detach_secondary_results() is a leftover from the two-plane value
representation. Use de...