Beaver.MLIR.Dialect.Ex (beaver v0.4.8)

The ex dialect: a scalar subset of Elixir AST defined in Slang.

M0 implements the scalar subset of the planned Elixir dialect:

ex.lit - integer literals with an integer value attribute
ex.var / ex.bind - named variables and their bindings
ex.add - typed scalar addition
ex.call - local calls with callee and arity attributes
ex.func / ex.return - functions with an isolated body region terminated by ex.return

The dialect is defined entirely with Beaver.Slang and replaces the native TableGen elixir dialect prototype. Load it into a context with Beaver.Slang.load/2.

Summary

Functions

add()

Return op name ex.add as a bitstring.

add(ssa)

ex.add

alias_callee_value(opts)

alias_integer_value(opts)

bind()

Return op name ex.bind as a bitstring.

bind(ssa)

ex.bind

bound(opts \\ [])

call()

Return op name ex.call as a bitstring.

call(ssa)

ex.call

create_add(opts)

create_bind(opts)

create_bound(opts)

create_call(opts)

create_dyn(opts)

create_func(opts)

create_lit(opts)

create_mul(opts)

create_return(opts)

create_sub(opts)

create_unbound(opts)

create_var(opts)

dyn(opts \\ [])

func()

Return op name ex.func as a bitstring.

func(ssa)

ex.func

lit()

Return op name ex.lit as a bitstring.

lit(ssa)

ex.lit

mul()

Return op name ex.mul as a bitstring.

mul(ssa)

ex.mul

return()

Return op name ex.return as a bitstring.

return(ssa)

ex.return

sub()

Return op name ex.sub as a bitstring.

sub(ssa)

ex.sub

unbound(opts \\ [])

var()

Return op name ex.var as a bitstring.

var(ssa)

ex.var