Keep the top-level ir module free of implementation details that are
inadvertently exposed to su...

Delete the StackSlots iterator and move the remaining StackSlotData into its
own module.

Clients should not have to navigate the ir sub-modules to find commonly used
types.

The 'cargo test' command simply compiles each 'tests/*.rs' and runs the
enclosed tests. The 'lib...

The integration tests use both libcretonne and libreader, so moving them avoids
the circular dev...

Each ISA predicate is assigned a bit the the Flags struct, and a corresponding
method is generated.

Predcates are boolean functions. There will be ISA predicates and instruction
predicates.

The I...

Add an isa::lookup() function which serves as a target registry for creating
Box<TargetIsa> trai...

- Move detail data structures into a settings::detail module to avoid polluting
the settings n...

The EnumSetting objects can take one of 256 named values.

This trait allows settings to be manipulated as strings, using descriptors and
constant hash-tab...

Settings can be defined globally or per-ISA. They are available to code through
a generated Sett...

More to come here.

Clarify terminology by always referring to a 'Target ISA' instead of just
'Target'. Use 'isa' as...

Targeted ISAs will be defined as sub-modules of isa.

The shift instructions have two type variables since the shift amount can be a
differently sized...

Encodings need to refer to concrete instances of polymorphic instructions by
binding type variab...

Start adding some RISC-V encodings too as a way of testing the ergonomics.

Move the CPUMode reference from EncRecipe to the Encoding itself, allowing
EncRecipes to be shar...

Describe the meta-language data structures that are built to represent
instruction encodings.

B...

Require this trait on the value type stored in an EntityMap to 'unlock' the
methods intended for...

This iterator enumerates all EBB references whether they are in the layout or
not. That is usual...

EBBs not in the layout should never be printed as part of the CFG.

Create a secondary entity map with space reserved for a known range of entity
references.

Add d...

The push and pop commands print the directory stack to stdout, while subshells
and cd is quiet.

The previous implementation was actually a reverse preorder walk.

This is a more accurate description. Further return the ebbs in a
btreemap so that the index of ...

Rather than switching on instruction formats to discover the destination of a
branch, use the an...

Resolve the jump table reference immediately since all jump tables are declared
in the preamble.

- Add a ir::jumptable module with a JumpTableData struct representing the vector
of destinatio...

The single entry block in a function is simply the first block in the layout.

Remove the 'entry...

This module and its submodules define the Intermidiate Representation of the
Cretonne IL.

Use the cretonne::repr module as a common namespace for sub-modules defining the
in-memory repre...

Replace the three tables instructions, extended_basic_blocks, and
extended_values with a single ...

The DFG keeps track of instruction definitions, values, and EBBs.

Store the primary definition ...

There are two kinds of entity maps:

- A primary map is used to allocate entity references and s...

The ebbs_numerically() function was a workaround for the unimplemented EBB layout
order.

The Layout also handles EBB layout, so new append_ebb calls are necessary.

- Rewrite callers to...

Fix bugs in append methods. Linked lists are hard.

Each EBB has a linked list of instructions in layout order.

Move test utility functions to their own module

Implement some tests, fix bugs in is_ebb_inserted().

This is the opposite of unwrap(). It converts the ad-hoc null references like
NO_EBB and NO_INST...

The Layout data structure will keep track of the order of EBBs and their
instructions.

WIP.

The only exception is Value which has two dimensions.

This supports the pattern of creating structs wrapping a u32 and using them as
indexes into a ve...

Graphviz

Add a print-cfg subcommand.

The command returns parses a .cton file, builds a CFG, and prints it to
stdout in graphviz format.

Control Flow Graph

It seems reasonable that certain non-recoverable errors during the building of the
CFG should cr...

The CFG must be instantiated against an existing function but may be
modified after creation

This was supposed to make verification fast, but WebAssembly is no longer in
this form since it'...

It is possible to return multiple values from a function, so ReturnData contains
a VariableArgs ...

We llow forward references to values and EBBs, so it is not possible to rewrite
these from the s...

The latest Sphinx 1.4.4 produces lots of warnings about four-column indices.
We'll wait for Read...

Naming is interesting here. Since 'truncate' refers to removing the least
significant digits, us...

Move test-all.sh to the top level directory, and also run the parser tests from
this script.

Us...