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