Beaver.MLIR.Value (beaver v0.4.0)

This module handles MLIR values, which represent SSA (Static Single Assignment) values in the IR.

Values can be either block arguments or operation results. That's why this module provides functions to check if a value is an argument or a result (argument?/1, result?/1), or to get the owner of a result (owner/1).

Summary

Types

t()

Functions

argument?(value)

make(value)

owner(value)

Return the defining op of this value if this value is a result

owner!(value)

Return the defining op of this value. Raises if this value is not a result

result?(value)

Returns true if the value is a result of an operation.

type(value)

Return the type of this value