Beaver.Pattern (beaver v0.3.4)

Beaver pattern DSL for MLIR, a PDL frontend in Elixir.

Summary

Functions

The difference between a pdl.operation creation in a match body and a rewrite body

Evaluate SSA as ops in a rewrite block. Note that function is only public so that it could be used in a AST.

Functions

Link to this macro

attribute(a)

(macro)
Link to this function

create_operation(env, op_name, operands, attributes, results)

The difference between a pdl.operation creation in a match body and a rewrite body:

  • in a match body, pdl.attribute/pdl.operand/pdl.result will be generated for unbound variables
  • in a rewrite body, all variables are considered bound before creation pdl ops
Link to this macro

defpat(call, list)

(macro)
Link to this function

eval_rewrite(ssa)

Evaluate SSA as ops in a rewrite block. Note that function is only public so that it could be used in a AST.

Link to this macro

replace(root, opts)

(macro)
Link to this macro

rewrite(root, list)

(macro)
Link to this macro

type()

(macro)
Link to this macro

type(t)

(macro)
Link to this macro

value()

(macro)