Even though Cretonne doesn't implement callee-saved registers yet,
it will, so we shouldn't need...

Everything builds and simple modules run, though there's still lots more
to do.

This is based on the code in https://github.com/denismerigoux/cretonne/commits/wasm2cretonne
bef...

A FuncCursor works a like a layout cursor, but it holds a reference to
the entire function and l...

Same deal as for spilling. Place an EncCursor in the context and use
that to reference into the ...

Use an EncCursor instead of a layout cursor to keep track of the
current position in the functio...

Add a new cursor module and define an EncCursor data type in it. An
EncCursor is a cursor that i...

Leave the primary InstBuilderBase trait alone, but add an alternative
InstInserterBase trait tha...

The CursorBase::at_* are convenience methods for building a cursor that
points to a specific ins...

The Cursor navigation methods all just depend on the cursor's position
and layout reference. Mak...

The dbg!() macro should behave like a function call in how it evaluates
its arguments, and captu...

* Partial recompute for dominator tree in case of ebb splitting
Implemented via striding in RPO...

This will compute the stack frame layout as appropriate for the
function's calling convention an...

This is trying to keep algorithms out if the ir module which deals with
the intermediate represe...

A CallConv enum on every function signature makes it possible to
generate calls to functions wit...

Add a StackSlots::layout() method which computes the total stack frame
size and assigns offsets ...

* Avoid floating-point types in Ieee32::new and Ieee64::new.

This eliminates the need for uns...

When making an outgoing call, some arguments may have to be passed on
the stack. Allocate Outgoi...

Once a signature has been legalized, the arguments to any call using
that signature must be assi...

Stack slots for outgoing arguments can be reused between function calls.
Add a list of outgoing ...

* Fix bextend semantics; Change smtlib.py to use z3 python bindings for query building instead o...

* Added Intel x86-64 encodings for 64bit loads and store instructions

* Using GPR registers i...

These operations need custom legalization in order to use Intel's div
and idiv instructions.

Generated code should used qualified names assuming that `ir` is in
scope, not everything else.

The generated legalization code needs to evaluate any instruction
patterns on the input pattern ...

We already do this for the encoding tables, but the instruction
predicates computed by Apply.ins...

Get all type variables controlling an instruction, whether it is
polymorphic or not.

Each input pattern can have a predicate in addition to an opcode being
matched. When an opcode h...

Make it possible to write AST nodes: iconst.i32(imm64(0)).

Replace the isa::Legalize enumeration with a function pointer. This
allows an ISA to define its ...

Make sure legalization codes are assigned by TargetIsa::finish() such
that they can be accessed ...

The following instructions have simple encodings:

- bitcast.f32.i32
- bitcast.i32.f32
- bitcast...

Instructions will multiple type variables can now use `any` to indicate
encodings that don't car...

Predicate numbers are available in the maps
isa.settings.predicate_number and isa.instp_number i...

The name of a predicate was only ever used for named settings that are
computed as a boolean exp...

This enables interning of predicates to avoid duplicates.

Add a predicate registry to TargetIsa...

The encoding tables are keyed by the controlling type variable only. We
need to distinguish diff...

The new encoding format allows entries that mean "stop with this
legalization code" which makes ...

The encoding list compression algorithm is not the sharpest knife in the
drawer. It can reuse su...

Encodings has a 16-bit "recipe" field, but even Intel only has 57
recipes currently, so it is un...

It turns out that most encoding predicates are expressed as recipe
predicates. This means that t...

Instead of generating a single `check_instp()` function, create an array
of individual function ...