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.Used as an intermediate representation of expressions in the RuleVisitor implementation for
PatternSequence.
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.