Beaver.MLIR.ConditionallySpeculatable behaviour (beaver v0.4.8)

Installs and queries a callback-backed ConditionallySpeculatable fallback interface model.

A dedicated attachment process owns the callback mailbox. Queries execute on the MLIR context worker pool, so no BEAM scheduler blocks while native MLIR waits for the callback result. The process is released with the context.

Summary

Types

speculatability()

@type speculatability() ::
  :not_speculatable | :speculatable | :recursively_speculatable

Callbacks

speculatability(t)

@callback speculatability(Beaver.MLIR.Operation.t()) :: speculatability()

Functions

attach(context, operation_name, implementation, opts \\ [])

@spec attach(
  Beaver.MLIR.Context.t(),
  String.t(),
  module()
  | (Beaver.MLIR.Operation.t() -> speculatability() | {:ok, speculatability()}),
  keyword()
) :: Beaver.MLIR.ExternalInterface.Attachment.t()

query(operation, opts \\ [])

@spec query(
  Beaver.MLIR.Operation.t(),
  keyword()
) :: speculatability()