Module cranelift_isle::ir
source · [−]Expand description
Lowered matching IR.
Structs
A linear sequence of instructions that produce a new value from the
right-hand side of a rule, given bindings that come from a Pattern derived
from the left-hand side.
The id of an instruction in a PatternSequence.
A linear sequence of instructions that match on and destructure an
argument. A pattern is fallible (may not match). If it does not fail, its
result consists of the values produced by the PatternInsts, which may be
used by a subsequent Expr.
Enums
A single Expr instruction.
A single Pattern instruction.
A value produced by a LHS or RHS instruction.
Functions
Build a sequence from a rule.