Module cranelift_isle::ir

source ·
Expand description

Lowered matching IR.

Structs

  • ExprSequence
    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.
  • InstId
    The id of an instruction in a PatternSequence.
  • 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.
  • ReturnExpr
    Used as an intermediate representation of expressions in the RuleVisitor implementation for PatternSequence.

Enums

  • ExprInst
    A single Expr instruction.
  • PatternInst
    A single Pattern instruction.
  • Value
    A value produced by a LHS or RHS instruction.

Functions