When converting from ABI types to original program types, the final
conversion instruction can p...

When we're splitting an EBB argument, we insert a iconcat/vconcat
instruction that computes the ...

Now that we can detach and reuse all values, there is no longer a need
to create a lot of alias ...

This makes it possible to reuse one or more result values in the
instruction that is being inser...

This is convenient for asserting that the right instruction was removed.

This is a generalization of the existing make_inst_results() which lets
you provide some or all ...

We didn't have a way of removing instructions again.

These methods are used to reattach detached values:

- change_to_alias
- attach_result
- attach_...

All values are now references into the value table, so drop the
distinction between direct and t...

Also remove the type field from all the variants. The type of the first
result value can be reco...

We're about to change that.

We only ever create table values now.

Simplify legalizer::legalize_inst_results. Instead of cal...

Since results are in a value list, they don't need to form a linked
list any longer.

- Simplify...

Soon, InstructionData won't have sufficient information to compute this.

Give TargetIsa::encode...

These low-level methods for manipulating instruction result value lists
will replace the existin...

That is now the job of make_inst_results().

Now that result values are stored in value lists in the DFG, these
head-of-list pointers are no ...

We don't want to distinguish between single-result and multiple-result
instructions any longer.
...

Now we can access instruction results and arguments as well as EBB
arguments as slices.

Delete ...

This is the same as slice::first(), except it returns the first element
by value.

The implement...

This is the first step of a larger refactoring to represent instruction
results as value lists i...

- Add a dfg.is_inst_valid() method for the verifier.
- Use the inst_args_mut() method when rewri...

Now that we have a value list of the arguments, we can get rid of:

- The first_arg and last_arg...

Rather than returning the head of a linked list of EBB arguments, just
return the whole value li...

This is the first step of the value list refactoring which will replace
linked lists of values w...

Calls are jal with a fixed %x1 link register.

Define a MemFlags class, currently holding a notrap and aligned flag.

Any *.cton files in the docs directory are now included when running the
test-all.sh script. Thi...

These are used when lowering WebAssembly sandbox code.

WebAssembly memory instructions encode a 32-bit unsigned offset that is
used to compute an effec...

This will be used to represent an immediate 32-bit signed address offset
for load/store instruct...

This affects the comparison instructions which now read "icmp ult a, b".
This mimics LLVM's styl...

Fix a bug in gen_encoding.py when dealing with non-polymorphic
instructions where the type varia...

Change jumps to fallthroughs in the branch relaxation pass before
computing the EBB offsets.

Start with an adjacent_pairs() iterator adapter.

Stop emitting EBB relocations. Use the offsets computed by
relax_branches() to encode the correc...

Only emit each instruction once, or the offset computations go all
wrong.

Compute exact EBB header offsets and check that branches are in range.

Not implemented yet: Rel...

Two new pieces of information are available for all encoding recipes:

- The size in bytes of an...

The tables returned by recipe_names() and recipe_constraints() are now
collected into an EncInfo...

We need to keep track of code offsets in order to compute accurate
branch displacements.

These branches compare a register to zero. RISC-V implements this with
the %x0 hard-coded zero r...

Not all br_icmp opcodes are present in the ISA. The missing ones can be
reached by commuting ope...

This instruction behaves like icmp fused with brnz, and it can be used
to represent fused compar...

This instruction can materialize constants with the low 12 bits clear.

The ISA has icmp_imm slt/ult with 12-bit signed immediate operands.

This reads better than "typeof(b1)".

The meaning of format.typevar_operand changes recently to be relative to
value operands only ins...

Compare a scalar integer to an immediate constant. Both Intel and RISC-V
ISAs have this operatio...

These are the shift-by-immediate instructions.

These are the BinaryImm formats.

Only slt and ult variants are in the instruction set. Other condition
codes must be synthesized.

Consolidate the imm_members and imm_kinds into this list so the
FormatField is the single defini...

When defining an instruction encoding, allow part of the instruction
predicate to be provided as...

Compute an instruction predicate from any constant values given as
arguments for the immediate o...

Compare an immediate operand to a constant value.

Also require all Python functions to have a type declaration.

Declare the Instruction.number opcode number field.

* Verify integrity of the existing control flow graph of the context.

* Make checking more th...

Wherein we learned that only BoolSettings can be used as predicates.

The meta language patterns sometimes need to refer to specific values of
enumerated immediate op...

Run the verify_contexti() function after invoking the legalize() and
regalloc() context function...

These two instructions make sense for vector types by simply performing
the same operation on ea...

The carry and borrow values are boolean, so we have to convert them to
an integer type with bint...

These are the R-format instructions in RV32I.

Also disable spell checking for .cton files. They tend to contain very
few words, and even comme...

* Verify that a recomputed dominator tree is identical to the existing one.
* The verifier now ...

If an instruction doesn't have an associated encoding, use the standard
TargetIsa hook to encode...

This makes it possible to write file tests that verify the binary
encoding of machine code.

Use the meta language encoding recipes to generate an emit_inst()
function for each ISA. The gen...

This module will provide supporting code for emitting binary machine
code with relocations.

A shortcut for calling arguments() directly that goes with the existing
inst_results() method.

This means that whenever we need to split a value, it is either already
defined by a concatenati...

The EBB argument splitting may generate concat-split dependencies when
it repairs branch argumen...

When the legalizer splits a value into halves, it would previously stop
if the value was an EBB ...

This is needed for rewriting EBB arguments with legalized types.

Legalizing some instructions may require modifications to the control
flow graph, and some opera...

The 'cfg' name was easy to confuse with 'configuration'.

The legalizer often splits values into parts with the vsplit and
isplit_lohi instructions. Avoid...

For symmetry with the vector splitting instructions, we now have:

isplit iconcat
vsplit...

Keep things organized.

As discussed in #3.

Once we know the controlling type variable of a polymorphic instruction,
th...

The call arguments on call_indirect should not include the fixed callee
argument.

Add legalizer...

Like the entry block arguments, the return values from a call
instruction need to be converted b...