This instruction uses two type variables: input and output. Make sure that our
parser can handle...

Rename the Select instruction format to Ternary since it is also used by the fma
instruction.

Add new intcc and floatcc operand types for the immediate condition codes on
these instructions....

The icmp and fmp instructions use different kinds of condition codes because
integers and floati...

These instruction formats take immediate lane index operands. We store these as
u8 fields and re...

These instruction formats take EBB references with lists of argument values. For
EBBs with no ar...

Start with a shell script that runs .cton files through 'cton-util cat' and
compares the output ...

The lexer still recognizes comments and generates tokens for them. They may be
useful for test a...

Instructions that don't produce any result values are marked with first_type() =
VOID. The inst_...

This is mostly useful when updating to a new version of rustfmt with different
behavior.

Include the name of the unrecognized opcode along with the line number.

The 'cton-util cat' command parses the given files and writes them out again to
stdout. This has...

Add an external dependency to the docopt package and use it for a scaffold
command line interfac...

Wrangle the borrow checker into allowing us to iterate over function result
values while mutatin...

Replace the make_multi_inst() function with a make_inst_results() which uses
the constraint syst...

During parsing, it is possible to see instruction operands that reference
values or EBBs that ha...

Use derived type variables with the 'LaneOf' function.

Add u8 immediates to be used for lane in...

This gives us the opportunity to use the AsBool derived type variables and a
Select instruction ...

Add an Opcode::constraints() method which returns an OpcodeConstraints object.
This object provi...

Add a typevar_operand argument to the InstructionFormat constructor which
determines the operand...

This will eventualy be used for add-with-carry and add-with-overflow type
instructions. For now ...

Accessors for shared fields and multiple results can be generated automatically.

Add a 'boxed_s...

Rename 'br' to 'jump'. We'll use jump/br to mean unconditional/conditional
control transfer resp...

Define known entities in the cretonne.entities module.

Separate instruction descriptions from instruction formats which deal with the
Rust representati...

Create map entries for ebbs and values as they are defined, but leave ebb and
value operands unr...

Also introduce the concept of a derived type variable, and provide two
methods for deriving type...

Use the new iterators to write out the contents of a function.

Place instructions in a doubly linked list and point to the first and last
instruction in an EBB...

These two enums must have identical variants. One is generated from the
instruction formats in m...

Avoid gathering too much code in repr.rs.

The `entities` module contains entity reference types...

This is a no-payload enum which will have the same variants as InstructionData.
This makes it po...

Cargo doesn't scan a directory for changed dependencies recursively, so do that
as part of the b...

Define all known instruction formats in the cretonne.formats module.

We have a two-level type system: OperandKinds and ValueTypes. The value types
only apply to valu...

Values that are defined together are represented as a singly linked list. These
lists appear in:...

When Function serves as a container for IL entities, use the Index trait to
translate a referenc...

It soome that 'cargo doc' gets confused when there is both a library crate
and a binary called '...

libctonfile -> libreader.

This library will only provide .cton file reading/parsing services wh...

Convert a function to text.

Both use the Display trait.

Add a stack slot array to repr::Function, use repr::StackSlot to reference them.

Parse stack sl...

Simplify the uses in parser.rs to avoid too many module qualifiers.

The main entry point is Parser::parse().

Use 'if let' instead of 'match' where it makes sense.

Use EBNF notation for the grammar rules. ...

Recursive descent parser, although with this simple grammar there won't be any
recursion.

Describe function argument and return value types along with flags for passing
values in an ABI-...

Don't use assertions to enforce the limits on SIMD lanes in a type, Type is too
fundamental for ...

Add a lexer module which implements the lexical analysis of .cton files.

These are bitwise exact conversions from string to immediates, implementing the
inverse of the D...

The src/tools directory contains the cretonne-tools crate which will build
binaries for testing ...

Replace the home-grown from_str function.

Use a simple quadratically probed, open addressed hash table. We could use a
parfect hash functi...

This function returning a &'static str is more primitive that the Display
implementation. It all...

A function owns instructions and extended basic blocks. References to these
entities are impleme...

Generate nice doc comments for the Opcode enum variants that 'cargo doc'
will pick up.

Include ...

Start out easy by emiting an opcodes.rs file containing an opcode enumeration.

Flesh out the directory structure for defining target instruction set
architectures. Use RISC-V ...

This will be used as the instruction name in Rust code. By making this a
property of the instruc...

Hook up a Cargo build script that runs a Python script in the meta directory.

This runs the convenient sphinx-autobuild web server for docs development.

The b1 type is an abstract boolean value. The others are concrete
representations.

This is recommended by IEEE 754-2008.

We still distinguish signaling NaNs with 'sNaN'.

Clarify the textual encoding of floating point numbers.

Don't allow decimal floating point sinc...

Use the meta language to define instructions, just insert 'autoinst' references
in langref.

Add new immediate types for floating point and vector immediates.
Use new immediates to define t...

Format larger immediates as hexadecimal with a multiple of 4 digits and '_'
group separators.

Start the Cretonne library as a Rust crate.

Use the autodoc Sphinx module to add a .. autoctontype:: directive which
generates documentation...

The Cretonne meta language is used to describe Cretonne instructions, both the
target independen...

Define the syntax for function signatures.

Rename 'local' to 'stack_slot'.