Beaver.Slang behaviour (beaver v0.4.2)

Provides macros and utilities for defining MLIR dialects in Elixir.

This module allows you to define MLIR dialects using Elixir macros, which are internally compiled to IRDL. It provides:

  • Macro-based dialect definition
  • Operation creation and manipulation
  • Type and attribute handling
  • Constraint definition support

Summary

Functions

__using__(opts)

This macro is invoked when the module is used. It sets up the module by registering attributes and importing macros from Beaver.Slang.

any()

This macro generates the AST for the irdl.any op.

any_of(types)

This macro generates the AST for the any_of attribute in the dialect.

defalias(call, block)

This macro defines an alias for a lengthy type. It generates the AST for the alias function.

defattr(call)

This macro defines a attribute in the dialect.

defop(call, block \\ nil)

This macro defines an operation in the dialect. It generates the AST for the creator function for the operation.

deftype(call)

This macro defines a type in the dialect.

is(type)

This macro generates the AST for irdl.is op, usually used to create a constraint on type

load(ctx, mod)

This function loads the MLIR dialect into the MLIR context. It invokes the internal function of the provided module to create the dialect's IRDL module and performs additional MLIR transformations and verification.

Functions

__using__(opts)

(macro)

This macro is invoked when the module is used. It sets up the module by registering attributes and importing macros from Beaver.Slang.

any()

(macro)

This macro generates the AST for the irdl.any op.

any_of(types)

(macro)

This macro generates the AST for the any_of attribute in the dialect.

defalias(call, block)

(macro)

This macro defines an alias for a lengthy type. It generates the AST for the alias function.

defattr(call)

(macro)

This macro defines a attribute in the dialect.

defop(call, block \\ nil)

(macro)

This macro defines an operation in the dialect. It generates the AST for the creator function for the operation.

deftype(call)

(macro)

This macro defines a type in the dialect.

is(type)

(macro)

This macro generates the AST for irdl.is op, usually used to create a constraint on type

load(ctx, mod)

This function loads the MLIR dialect into the MLIR context. It invokes the internal function of the provided module to create the dialect's IRDL module and performs additional MLIR transformations and verification.