Beaver.SSA (beaver v0.4.7)

Storing MLIR IR structure with a Elixir struct. Macros like Beaver.mlir/1 will generate SSA structs defined by this module.

Semantically a SSA has no concept of "current block" or "current context". These are only needed when creating an operation. Therefore SSA syntax in Beaver can be used in both IR-generating and PDL-generating. To be more specific, the macro system in Beaver will use an SSA and its surrounding environment to construct a operation changeset, and then create an operation from it by calling MLIR CAPI.

Summary

Types

t()

Functions

eval(ssa)
postwalk(ast, evaluator)
prewalk(ast, evaluator)
put_arguments(ssa, additional_arguments)
put_block(ssa, block)
put_ctx(ssa, ctx)
put_filler(ssa, filler)
put_location(ssa, loc)
put_results(ssa, f)

Types

t()

@type t() :: %Beaver.SSA{
  arguments: any(),
  blk: nil,
  ctx: any(),
  evaluator: function(),
  filler: any(),
  loc: any(),
  op: String.t(),
  results: any()
}

Functions

eval(ssa)

postwalk(ast, evaluator)

prewalk(ast, evaluator)

put_arguments(ssa, additional_arguments)

put_block(ssa, block)

put_ctx(ssa, ctx)

put_filler(ssa, filler)

put_location(ssa, loc)

put_results(ssa, f)