From 72108a3ee9401ecf16eca66e63464063ae0b865f Mon Sep 17 00:00:00 2001 From: "Documenter.jl" Date: Tue, 23 Jul 2024 13:57:04 +0000 Subject: [PATCH] build based on 518e396 --- previews/PR81/IR/affineexpr/index.html | 4 ++-- previews/PR81/IR/affinemap/index.html | 4 ++-- previews/PR81/IR/attribute/index.html | 2 +- previews/PR81/IR/block/index.html | 2 +- previews/PR81/IR/context/index.html | 2 +- previews/PR81/IR/dialect/index.html | 2 +- previews/PR81/IR/identifier/index.html | 2 +- previews/PR81/IR/integerset/index.html | 2 +- previews/PR81/IR/iterators/index.html | 2 +- previews/PR81/IR/location/index.html | 2 +- previews/PR81/IR/logicalresult/index.html | 2 +- previews/PR81/IR/module/index.html | 2 +- previews/PR81/IR/operation/index.html | 2 +- previews/PR81/IR/pass/index.html | 2 +- previews/PR81/IR/region/index.html | 2 +- previews/PR81/IR/symboltable/index.html | 2 +- previews/PR81/IR/type/index.html | 4 ++-- previews/PR81/IR/typeid/index.html | 2 +- previews/PR81/IR/value/index.html | 2 +- previews/PR81/api/index.html | 2 +- previews/PR81/dialects/affine/index.html | 2 +- previews/PR81/dialects/amdgpu/index.html | 2 +- previews/PR81/dialects/amx/index.html | 2 +- previews/PR81/dialects/arith/index.html | 2 +- previews/PR81/dialects/arm_neon/index.html | 2 +- previews/PR81/dialects/arm_sve/index.html | 2 +- previews/PR81/dialects/async/index.html | 2 +- previews/PR81/dialects/bufferization/index.html | 2 +- previews/PR81/dialects/builtin/index.html | 2 +- previews/PR81/dialects/complex/index.html | 2 +- previews/PR81/dialects/controlflow/index.html | 2 +- previews/PR81/dialects/emitc/index.html | 2 +- previews/PR81/dialects/func/index.html | 2 +- previews/PR81/dialects/gpu/index.html | 2 +- previews/PR81/dialects/linalg/index.html | 2 +- previews/PR81/dialects/llvm/index.html | 2 +- previews/PR81/dialects/math/index.html | 2 +- previews/PR81/dialects/memref/index.html | 2 +- previews/PR81/dialects/ml_program/index.html | 2 +- previews/PR81/dialects/nvgpu/index.html | 2 +- previews/PR81/dialects/openacc/index.html | 2 +- previews/PR81/dialects/openmp/index.html | 2 +- previews/PR81/dialects/pdl/index.html | 2 +- previews/PR81/dialects/pdl_interp/index.html | 2 +- previews/PR81/dialects/quant/index.html | 2 +- previews/PR81/dialects/scf/index.html | 2 +- previews/PR81/dialects/shape/index.html | 2 +- previews/PR81/dialects/sparse_tensor/index.html | 2 +- previews/PR81/dialects/spirv/index.html | 2 +- previews/PR81/dialects/tensor/index.html | 2 +- previews/PR81/dialects/tosa/index.html | 2 +- previews/PR81/dialects/transform/index.html | 2 +- previews/PR81/dialects/vector/index.html | 2 +- previews/PR81/dialects/x86vector/index.html | 2 +- previews/PR81/index.html | 2 +- previews/PR81/search/index.html | 2 +- 56 files changed, 59 insertions(+), 59 deletions(-) diff --git a/previews/PR81/IR/affineexpr/index.html b/previews/PR81/IR/affineexpr/index.html index 9fd07cfd..19e070d3 100644 --- a/previews/PR81/IR/affineexpr/index.html +++ b/previews/PR81/IR/affineexpr/index.html @@ -1,4 +1,4 @@ -AffineExpr · MLIR.jl
Edit on GitHub

Affine Expressions

Base.:* — Method
*(lhs, rhs)

Creates an affine mul expression with 'lhs' and 'rhs'.

source
Base.:+ — Method
+(lhs, rhs)

Creates an affine add expression with 'lhs' and 'rhs'.

source
Base.:== — Method
==(a, b)

Returns true if the two affine expressions are equal.

source
Base.cld — Method
cld(lhs, rhs)

Creates an affine ceildiv expression with 'lhs' and 'rhs'.

source
Base.div — Method
div(lhs, rhs)
+AffineExpr · MLIR.jl
Edit on GitHub
Affine Expressions
Base.:* — Method
*(lhs, rhs)
Creates an affine mul expression with 'lhs' and 'rhs'.
source
Base.:+ — Method
+(lhs, rhs)
Creates an affine add expression with 'lhs' and 'rhs'.
source
Base.:== — Method
==(a, b)
Returns true if the two affine expressions are equal.
source
Base.cld — Method
cld(lhs, rhs)
Creates an affine ceildiv expression with 'lhs' and 'rhs'.
source
Base.div — Method
div(lhs, rhs)
 ÷(lhs, rhs)
-fld(lhs, rhs)
Creates an affine floordiv expression with 'lhs' and 'rhs'.
source
Base.gcd — Method
gcd(affineExpr)
Returns the greatest known integral divisor of this affine expression. The result is always positive.
source
Base.mod — Method
mod(lhs, rhs)
Creates an affine mod expression with 'lhs' and 'rhs'.
source
MLIR.IR.ConstantExpr — Method
ConstantExpr(constant::Int; context=context())
Creates an affine constant expression with 'constant' in the context.
source
MLIR.IR.SymbolExpr — Method
SymbolExpr(position; context=context())
Creates an affine symbol expression with 'position' in the context.
source
MLIR.IR.is_pure_affine — Method
is_pure_affine(affineExpr)
Checks whether the given affine expression is a pure affine expression, i.e. mul, floordiv, ceildic, and mod is only allowed w.r.t constants.
source
MLIR.IR.isadd — Method
isadd(affineExpr)
Checks whether the given affine expression is an add expression.
source
MLIR.IR.isceildiv — Method
isceildiv(affineExpr)
Checks whether the given affine expression is an ceildiv expression.
source
MLIR.IR.isdimexpr — Method
isdimexpr(affineExpr)
Checks whether the given affine expression is a dimension expression.
source
MLIR.IR.isfloordiv — Method
isfloordiv(affineExpr)
Checks whether the given affine expression is an floordiv expression.
source
MLIR.IR.ismod — Method
ismod(affineExpr)
Checks whether the given affine expression is an mod expression.
source
MLIR.IR.ismul — Method
ismul(affineExpr)
Checks whether the given affine expression is an mul expression.
source
MLIR.IR.ismultipleof — Method
ismultipleof(affineExpr, factor)
Checks whether the given affine expression is a multiple of 'factor'.
source
MLIR.IR.lhs — Method
lhs(affineExpr)
Returns the left hand side affine expression of the given affine binary operation expression.
source
MLIR.IR.position — Method
position(affineExpr)
Returns the position of the given affine dimension expression, affine symbol expression or ...
source
MLIR.IR.rhs — Method
rhs(affineExpr)
Returns the right hand side affine expression of the given affine binary operation expression.
source
MLIR.IR.value — Method
value(affineExpr)
Returns the value of the given affine constant expression.
source

+fld(lhs, rhs)

Creates an affine floordiv expression with 'lhs' and 'rhs'.

source
Base.gcd — Method
gcd(affineExpr)

Returns the greatest known integral divisor of this affine expression. The result is always positive.

source
Base.mod — Method
mod(lhs, rhs)

Creates an affine mod expression with 'lhs' and 'rhs'.

source
MLIR.IR.ConstantExpr — Method
ConstantExpr(constant::Int; context=context())

Creates an affine constant expression with 'constant' in the context.

source
MLIR.IR.SymbolExpr — Method
SymbolExpr(position; context=context())

Creates an affine symbol expression with 'position' in the context.

source
MLIR.IR.is_pure_affine — Method
is_pure_affine(affineExpr)

Checks whether the given affine expression is a pure affine expression, i.e. mul, floordiv, ceildic, and mod is only allowed w.r.t constants.

source
MLIR.IR.isadd — Method
isadd(affineExpr)

Checks whether the given affine expression is an add expression.

source
MLIR.IR.isceildiv — Method
isceildiv(affineExpr)

Checks whether the given affine expression is an ceildiv expression.

source
MLIR.IR.isdimexpr — Method
isdimexpr(affineExpr)

Checks whether the given affine expression is a dimension expression.

source
MLIR.IR.isfloordiv — Method
isfloordiv(affineExpr)

Checks whether the given affine expression is an floordiv expression.

source
MLIR.IR.ismod — Method
ismod(affineExpr)

Checks whether the given affine expression is an mod expression.

source
MLIR.IR.ismul — Method
ismul(affineExpr)

Checks whether the given affine expression is an mul expression.

source
MLIR.IR.ismultipleof — Method
ismultipleof(affineExpr, factor)

Checks whether the given affine expression is a multiple of 'factor'.

source
MLIR.IR.lhs — Method
lhs(affineExpr)

Returns the left hand side affine expression of the given affine binary operation expression.

source
MLIR.IR.position — Method
position(affineExpr)

Returns the position of the given affine dimension expression, affine symbol expression or ...

source
MLIR.IR.rhs — Method
rhs(affineExpr)

Returns the right hand side affine expression of the given affine binary operation expression.

source
MLIR.IR.value — Method
value(affineExpr)

Returns the value of the given affine constant expression.

source
diff --git a/previews/PR81/IR/affinemap/index.html b/previews/PR81/IR/affinemap/index.html index 7cbc1bf2..f1c76fcc 100644 --- a/previews/PR81/IR/affinemap/index.html +++ b/previews/PR81/IR/affinemap/index.html @@ -1,7 +1,7 @@ -AffineMap · MLIR.jl
Edit on GitHub

Affine Map

MLIR.IR.AffineMap — Method
AffineMap(ndims, nsymbols, affineExprs; context=context())

Creates an affine map with results defined by the given list of affine expressions. The map resulting map also has the requested number of input dimensions and symbols, regardless of them being used in the results.

source
MLIR.IR.AffineMap — Method
AffineMap(ndims, nsymbols; context=context())

Creates a zero result affine map of the given dimensions and symbols in the context. The affine map is owned by the context.

source
MLIR.IR.AffineMap — Method
AffineMap(; context=context())

Creates a zero result affine map with no dimensions or symbols in the context. The affine map is owned by the context.

source
Base.isempty — Method
isempty(affineMap)

Checks whether the given affine map is an empty affine map.

source
Base.isperm — Method
isperm(affineMap)

Checks whether the given affine map represents a symbol-less permutation map.

source
Base.ndims — Method
ndims(affineMap)

Returns the number of dimensions of the given affine map.

source
Base.replace — Method
mlirAffineMapReplace(affineMap, expression => replacement, numResultDims, numResultSyms)

Apply AffineExpr::replace(map) to each of the results and return a new new AffineMap with the new results and the specified number of dims and symbols.

source
MLIR.IR.ConstantAffineMap — Method
ConstantAffineMap(val; context=context())

Creates a single constant result affine map in the context. The affine map is owned by the context.

source
MLIR.IR.IdentityAffineMap — Method
IdentityAffineMap(ndims; context=context())

Creates an affine map with 'ndims' identity in the context. The affine map is owned by the context.

source
MLIR.IR.MinorIdentityAffineMap — Method
MinorIdentityAffineMap(ndims, nresults; context=context())

Creates an identity affine map on the most minor dimensions in the context. The affine map is owned by the context. The function asserts that the number of dimensions is greater or equal to the number of results.

source
MLIR.IR.PermutationAffineMap — Method
PermutationAffineMap(permutation; context=context())

Creates an affine map with a permutation expression and its size in the context. The permutation expression is a non-empty vector of integers. The elements of the permutation vector must be continuous from 0 and cannot be repeated (i.e. [1,2,0] is a valid permutation. [2,0] or [1,1,2] is an invalid invalid permutation). The affine map is owned by the context.

source
MLIR.IR.compose — Method
compose(affineExpr, affineMap)

Composes the given map with the given expression.

source
MLIR.IR.context — Method
context(affineMap)

Gets the context that the given affine map was created with.

source
MLIR.IR.isidentity — Method
isidentity(affineMap)

Checks whether the given affine map is an identity affine map. The function asserts that the number of dimensions is greater or equal to the number of results.

source
MLIR.IR.isprojperm — Method
isprojperm(affineMap)

Checks whether the given affine map represents a subset of a symbol-less permutation map.

source
MLIR.IR.majorsubmap — Method
majorsubmap(affineMap, nresults)

Returns the affine map consisting of the most major nresults results. Returns the null AffineMap if the nresults is equal to zero. Returns the affineMap if nresults is greater or equals to number of results of the given affine map.

source
MLIR.IR.minorsubmap — Method
minorsubmap(affineMap, nresults)

Returns the affine map consisting of the most minor nresults results. Returns the null AffineMap if the nresults is equal to zero. Returns the affineMap if nresults is greater or equals to number of results of the given affine map.

source
MLIR.IR.ninputs — Method
ninputs(affineMap)

Returns the number of inputs (dimensions + symbols) of the given affine map.

source
MLIR.IR.result — Method
result(affineMap)

Returns the constant result of the given affine map. The function asserts that the map has a single constant result.

source
MLIR.IR.submap — Method
submap(affineMap, positions)

Returns the affine map consisting of the positions subset.

source
MLIR.IR.@affinemap — Macro
@affinemap (d1, d2, d3, ...)[s1, s2, ...] -> (d0 + d1, ...)

Returns an affine map from the provided Julia expression. On the right hand side are allowed the following function calls:

  • +, *, ÷, %, fld, cld

The rhs can only contains dimensions and symbols present on the left hand side or integer literals.

julia> using MLIR: IR, AffineUtils
+AffineMap · MLIR.jl
Edit on GitHub
Affine Map
MLIR.IR.AffineMap — Method
AffineMap(ndims, nsymbols, affineExprs; context=context())
Creates an affine map with results defined by the given list of affine expressions. The map resulting map also has the requested number of input dimensions and symbols, regardless of them being used in the results.
source
MLIR.IR.AffineMap — Method
AffineMap(ndims, nsymbols; context=context())
Creates a zero result affine map of the given dimensions and symbols in the context. The affine map is owned by the context.
source
MLIR.IR.AffineMap — Method
AffineMap(; context=context())
Creates a zero result affine map with no dimensions or symbols in the context. The affine map is owned by the context.
source
Base.isempty — Method
isempty(affineMap)
Checks whether the given affine map is an empty affine map.
source
Base.isperm — Method
isperm(affineMap)
Checks whether the given affine map represents a symbol-less permutation map.
source
Base.ndims — Method
ndims(affineMap)
Returns the number of dimensions of the given affine map.
source
Base.replace — Method
mlirAffineMapReplace(affineMap, expression => replacement, numResultDims, numResultSyms)
Apply AffineExpr::replace(map) to each of the results and return a new new AffineMap with the new results and the specified number of dims and symbols.
source
MLIR.IR.ConstantAffineMap — Method
ConstantAffineMap(val; context=context())
Creates a single constant result affine map in the context. The affine map is owned by the context.
source
MLIR.IR.IdentityAffineMap — Method
IdentityAffineMap(ndims; context=context())
Creates an affine map with 'ndims' identity in the context. The affine map is owned by the context.
source
MLIR.IR.MinorIdentityAffineMap — Method
MinorIdentityAffineMap(ndims, nresults; context=context())
Creates an identity affine map on the most minor dimensions in the context. The affine map is owned by the context. The function asserts that the number of dimensions is greater or equal to the number of results.
source
MLIR.IR.PermutationAffineMap — Method
PermutationAffineMap(permutation; context=context())
Creates an affine map with a permutation expression and its size in the context. The permutation expression is a non-empty vector of integers. The elements of the permutation vector must be continuous from 0 and cannot be repeated (i.e. [1,2,0] is a valid permutation. [2,0] or [1,1,2] is an invalid invalid permutation). The affine map is owned by the context.
source
MLIR.IR.compose — Method
compose(affineExpr, affineMap)
Composes the given map with the given expression.
source
MLIR.IR.context — Method
context(affineMap)
Gets the context that the given affine map was created with.
source
MLIR.IR.isidentity — Method
isidentity(affineMap)
Checks whether the given affine map is an identity affine map. The function asserts that the number of dimensions is greater or equal to the number of results.
source
MLIR.IR.isprojperm — Method
isprojperm(affineMap)
Checks whether the given affine map represents a subset of a symbol-less permutation map.
source
MLIR.IR.majorsubmap — Method
majorsubmap(affineMap, nresults)
Returns the affine map consisting of the most major nresults results. Returns the null AffineMap if the nresults is equal to zero. Returns the affineMap if nresults is greater or equals to number of results of the given affine map.
source
MLIR.IR.minorsubmap — Method
minorsubmap(affineMap, nresults)
Returns the affine map consisting of the most minor nresults results. Returns the null AffineMap if the nresults is equal to zero. Returns the affineMap if nresults is greater or equals to number of results of the given affine map.
source
MLIR.IR.ninputs — Method
ninputs(affineMap)
Returns the number of inputs (dimensions + symbols) of the given affine map.
source
MLIR.IR.result — Method
result(affineMap)
Returns the constant result of the given affine map. The function asserts that the map has a single constant result.
source
MLIR.IR.submap — Method
submap(affineMap, positions)
Returns the affine map consisting of the positions subset.
source
MLIR.IR.@affinemap — Macro
@affinemap (d1, d2, d3, ...)[s1, s2, ...] -> (d0 + d1, ...)
Returns an affine map from the provided Julia expression. On the right hand side are allowed the following function calls:
  • +, *, ÷, %, fld, cld
The rhs can only contains dimensions and symbols present on the left hand side or integer literals.
julia> using MLIR: IR, AffineUtils
 
 julia> IR.context!(IR.Context()) do
            IR.@affinemap (d1, d2)[s0] -> (d1 + s0, d2 % 10)
        end
-MLIR.IR.AffineMap(#= (d0, d1)[s0] -> (d0 + s0, d1 mod 10) =#)
source

+MLIR.IR.AffineMap(#= (d0, d1)[s0] -> (d0 + s0, d1 mod 10) =#)
source
diff --git a/previews/PR81/IR/attribute/index.html b/previews/PR81/IR/attribute/index.html index 1247840b..9f46487b 100644 --- a/previews/PR81/IR/attribute/index.html +++ b/previews/PR81/IR/attribute/index.html @@ -1,2 +1,2 @@ -Attribute · MLIR.jl
Edit on GitHub

Attribute

Core.Bool — Method
Bool(attr)

Returns the value stored in the given bool attribute.

source
Core.Float64 — Method
Float64(attr)

Returns the value stored in the given floating point attribute, interpreting the value as double.

source
Core.Int64 — Method
Int64(attr)

Returns the value stored in the given integer attribute, assuming the value is of signed type and fits into a signed 64-bit integer.

source
Core.String — Method
String(attr)

Returns the attribute values as a string reference. The data remains live as long as the context in which the attribute lives.

source
Core.UInt64 — Method
UInt64(attr)

Returns the value stored in the given integer attribute, assuming the value is of unsigned type and fits into an unsigned 64-bit integer.

source
MLIR.IR.Attribute — Method
Attribute(str; context=context())

Creates a string attribute in the given context containing the given string.

source
MLIR.IR.Attribute — Method
Attribute(value; context=context())

Creates a bool attribute in the given context with the given value.

source
MLIR.IR.Attribute — Method
Attribute(elements; context=context())

Creates a dictionary attribute containing the given list of elements in the provided context.

source
MLIR.IR.Attribute — Method
Attribute(affineMap)

Creates an affine map attribute wrapping the given map. The attribute belongs to the same context as the affine map.

source
MLIR.IR.Attribute — Method
Attribute(type, str)

Creates a string attribute in the given context containing the given string. Additionally, the attribute has the given type.

source
MLIR.IR.Attribute — Method
Attribute(type)

Creates a type attribute wrapping the given type in the same context as the type.

source
MLIR.IR.Attribute — Method
Attribute(float; context=context(), location=Location(), check=false)

Creates a floating point attribute in the given context with the given double value and double-precision FP semantics. If check=true, emits appropriate diagnostics on illegal arguments.

source
MLIR.IR.Attribute — Method
Attribute(elements; context=context())

Creates an array element containing the given list of elements in the given context.

source
MLIR.IR.Attribute — Method
Attribute(int)

Creates an integer attribute of the given type with the given integer value.

source
MLIR.IR.Type — Method
Type(attr)

Returns the type stored in the given type attribute.

source
Base.:== — Method
==(a1, a2)

Checks if two attributes are equal.

source
Base.fill — Method
fill(attr, shapedType)

Creates a dense elements attribute with the given Shaped type containing a single replicated element (splat).

source
Base.parse — Method
parse(::Core.Type{Attribute}, str; context=context())

Parses an attribute. The attribute is owned by the context.

source
Base.reshape — Method
Base.reshape(attr, shapedType)

Creates a dense elements attribute that has the same data as the given dense elements attribute and a different shaped type. The new type must have the same total number of elements.

source
MLIR.IR.DenseElementsAttribute — Method
DenseElementsAttribute(array::AbstractArray{String})

Creates a dense elements attribute with the given shaped type from string elements.

source
MLIR.IR.DenseElementsAttribute — Method
DenseElementsAttribute(array::AbstractArray)

Creates a dense elements attribute with the given shaped type from elements of a specific type. Expects the element type of the shaped type to match the data element type.

source
MLIR.IR.DenseElementsAttribute — Method
DenseElementsAttribute(shapedType, elements)

Creates a dense elements attribute with the given Shaped type and elements in the same context as the type.

source
MLIR.IR.FlatSymbolRefAttribute — Method
FlatSymbolRefAttribute(ctx, symbol)

Creates a flat symbol reference attribute in the given context referencing a symbol identified by the given string.

source
MLIR.IR.OpaqueAttribute — Method
OpaqueAttribute(dialectNamespace, dataLength, data, type; context=context())

Creates an opaque attribute in the given context associated with the dialect identified by its namespace. The attribute contains opaque byte data of the specified length (data need not be null-terminated).

source
MLIR.IR.SymbolRefAttribute — Method
SymbolRefAttribute(symbol, references; context=context())

Creates a symbol reference attribute in the given context referencing a symbol identified by the given string inside a list of nested references. Each of the references in the list must not be nested.

source
MLIR.IR.data — Method
data(attr)

Returns the raw data as a string reference. The data remains live as long as the context in which the attribute lives.

source
MLIR.IR.flatsymbol — Method
flatsymbol(attr)

Returns the referenced symbol as a string reference. The data remains live as long as the context in which the attribute lives.

source
MLIR.IR.isdensearray — Function
isdensearray(attr, ::Core.Type{T})

Checks whether the given attribute is a dense array attribute.

source
MLIR.IR.isdict — Method
isdict(attr)

Checks whether the given attribute is a dictionary attribute.

source
MLIR.IR.isfloat — Method
isfloat(attr)

Checks whether the given attribute is a floating point attribute.

source
MLIR.IR.issplat — Method
issplat(attr)

Checks whether the given dense elements attribute contains a single replicated value (splat).

source
MLIR.IR.leafref — Method
leafref(attr)

Returns the string reference to the leaf referenced symbol. The data remains live as long as the context in which the attribute lives.

source
MLIR.IR.namespace — Method
mlirOpaqueAttrGetDialectNamespace(attr)

Returns the namespace of the dialect with which the given opaque attribute is associated. The namespace string is owned by the context.

source
MLIR.IR.nnestedrefs — Method
nnestedrefs(attr)

Returns the number of references nested in the given symbol reference attribute.

source
MLIR.IR.rootref — Method
rootref(attr)

Returns the string reference to the root referenced symbol. The data remains live as long as the context in which the attribute lives.

source
+Attribute · MLIR.jl
Edit on GitHub

Attribute

Core.Bool — Method
Bool(attr)

Returns the value stored in the given bool attribute.

source
Core.Float64 — Method
Float64(attr)

Returns the value stored in the given floating point attribute, interpreting the value as double.

source
Core.Int64 — Method
Int64(attr)

Returns the value stored in the given integer attribute, assuming the value is of signed type and fits into a signed 64-bit integer.

source
Core.String — Method
String(attr)

Returns the attribute values as a string reference. The data remains live as long as the context in which the attribute lives.

source
Core.UInt64 — Method
UInt64(attr)

Returns the value stored in the given integer attribute, assuming the value is of unsigned type and fits into an unsigned 64-bit integer.

source
MLIR.IR.Attribute — Method
Attribute(str; context=context())

Creates a string attribute in the given context containing the given string.

source
MLIR.IR.Attribute — Method
Attribute(value; context=context())

Creates a bool attribute in the given context with the given value.

source
MLIR.IR.Attribute — Method
Attribute(elements; context=context())

Creates a dictionary attribute containing the given list of elements in the provided context.

source
MLIR.IR.Attribute — Method
Attribute(affineMap)

Creates an affine map attribute wrapping the given map. The attribute belongs to the same context as the affine map.

source
MLIR.IR.Attribute — Method
Attribute(type, str)

Creates a string attribute in the given context containing the given string. Additionally, the attribute has the given type.

source
MLIR.IR.Attribute — Method
Attribute(type)

Creates a type attribute wrapping the given type in the same context as the type.

source
MLIR.IR.Attribute — Method
Attribute(float; context=context(), location=Location(), check=false)

Creates a floating point attribute in the given context with the given double value and double-precision FP semantics. If check=true, emits appropriate diagnostics on illegal arguments.

source
MLIR.IR.Attribute — Method
Attribute(elements; context=context())

Creates an array element containing the given list of elements in the given context.

source
MLIR.IR.Attribute — Method
Attribute(int)

Creates an integer attribute of the given type with the given integer value.

source
MLIR.IR.Type — Method
Type(attr)

Returns the type stored in the given type attribute.

source
Base.:== — Method
==(a1, a2)

Checks if two attributes are equal.

source
Base.fill — Method
fill(attr, shapedType)

Creates a dense elements attribute with the given Shaped type containing a single replicated element (splat).

source
Base.parse — Method
parse(::Core.Type{Attribute}, str; context=context())

Parses an attribute. The attribute is owned by the context.

source
Base.reshape — Method
Base.reshape(attr, shapedType)

Creates a dense elements attribute that has the same data as the given dense elements attribute and a different shaped type. The new type must have the same total number of elements.

source
MLIR.IR.DenseElementsAttribute — Method
DenseElementsAttribute(array::AbstractArray{String})

Creates a dense elements attribute with the given shaped type from string elements.

source
MLIR.IR.DenseElementsAttribute — Method
DenseElementsAttribute(array::AbstractArray)

Creates a dense elements attribute with the given shaped type from elements of a specific type. Expects the element type of the shaped type to match the data element type.

source
MLIR.IR.DenseElementsAttribute — Method
DenseElementsAttribute(shapedType, elements)

Creates a dense elements attribute with the given Shaped type and elements in the same context as the type.

source
MLIR.IR.FlatSymbolRefAttribute — Method
FlatSymbolRefAttribute(ctx, symbol)

Creates a flat symbol reference attribute in the given context referencing a symbol identified by the given string.

source
MLIR.IR.OpaqueAttribute — Method
OpaqueAttribute(dialectNamespace, dataLength, data, type; context=context())

Creates an opaque attribute in the given context associated with the dialect identified by its namespace. The attribute contains opaque byte data of the specified length (data need not be null-terminated).

source
MLIR.IR.SymbolRefAttribute — Method
SymbolRefAttribute(symbol, references; context=context())

Creates a symbol reference attribute in the given context referencing a symbol identified by the given string inside a list of nested references. Each of the references in the list must not be nested.

source
MLIR.IR.data — Method
data(attr)

Returns the raw data as a string reference. The data remains live as long as the context in which the attribute lives.

source
MLIR.IR.flatsymbol — Method
flatsymbol(attr)

Returns the referenced symbol as a string reference. The data remains live as long as the context in which the attribute lives.

source
MLIR.IR.isdensearray — Function
isdensearray(attr, ::Core.Type{T})

Checks whether the given attribute is a dense array attribute.

source
MLIR.IR.isdict — Method
isdict(attr)

Checks whether the given attribute is a dictionary attribute.

source
MLIR.IR.isfloat — Method
isfloat(attr)

Checks whether the given attribute is a floating point attribute.

source
MLIR.IR.issplat — Method
issplat(attr)

Checks whether the given dense elements attribute contains a single replicated value (splat).

source
MLIR.IR.leafref — Method
leafref(attr)

Returns the string reference to the leaf referenced symbol. The data remains live as long as the context in which the attribute lives.

source
MLIR.IR.namespace — Method
mlirOpaqueAttrGetDialectNamespace(attr)

Returns the namespace of the dialect with which the given opaque attribute is associated. The namespace string is owned by the context.

source
MLIR.IR.nnestedrefs — Method
nnestedrefs(attr)

Returns the number of references nested in the given symbol reference attribute.

source
MLIR.IR.rootref — Method
rootref(attr)

Returns the string reference to the root referenced symbol. The data remains live as long as the context in which the attribute lives.

source
diff --git a/previews/PR81/IR/block/index.html b/previews/PR81/IR/block/index.html index 96e788b5..3a53449d 100644 --- a/previews/PR81/IR/block/index.html +++ b/previews/PR81/IR/block/index.html @@ -1,2 +1,2 @@ -Block · MLIR.jl
Edit on GitHub

Block

MLIR.IR.Block — Method
Block(args, locs)

Creates a new empty block with the given argument types and transfers ownership to the caller.

source
Base.:== — Method
==(block, other)

Checks whether two blocks handles point to the same block. This does not perform deep comparison.

source
Base.insert! — Method
insert!(block, index, operation)

Takes an operation owned by the caller and inserts it as index to the block. This is an expensive operation that scans the block linearly, prefer insertBefore/After instead.

source
Base.push! — Method
push!(block, operation)

Takes an operation owned by the caller and appends it to the block.

source
MLIR.IR.insert_after! — Method
insert_after!(block, reference, operation)

Takes an operation owned by the caller and inserts it after the (non-owned) reference operation in the given block. If the reference is null, prepends the operation. Otherwise, the reference must belong to the block.

source
MLIR.IR.insert_before! — Method
insert_before!(block, reference, operation)

Takes an operation owned by the caller and inserts it before the (non-owned) reference operation in the given block. If the reference is null, appends the operation. Otherwise, the reference must belong to the block.

source
MLIR.IR.next — Method
next(block)

Returns the block immediately following the given block in its parent region or nothing if last.

source
MLIR.IR.parent_op — Method
parent_op(block)

Returns the closest surrounding operation that contains this block.

source
MLIR.IR.push_argument! — Method
push_argument!(block, type; location=Location())

Appends an argument of the specified type to the block. Returns the newly added argument.

source
MLIR.IR.terminator — Method
terminator(block)

Returns the terminator operation in the block or nothing if no terminator.

source
+Block · MLIR.jl
Edit on GitHub

Block

MLIR.IR.Block — Method
Block(args, locs)

Creates a new empty block with the given argument types and transfers ownership to the caller.

source
Base.:== — Method
==(block, other)

Checks whether two blocks handles point to the same block. This does not perform deep comparison.

source
Base.insert! — Method
insert!(block, index, operation)

Takes an operation owned by the caller and inserts it as index to the block. This is an expensive operation that scans the block linearly, prefer insertBefore/After instead.

source
Base.push! — Method
push!(block, operation)

Takes an operation owned by the caller and appends it to the block.

source
MLIR.IR.insert_after! — Method
insert_after!(block, reference, operation)

Takes an operation owned by the caller and inserts it after the (non-owned) reference operation in the given block. If the reference is null, prepends the operation. Otherwise, the reference must belong to the block.

source
MLIR.IR.insert_before! — Method
insert_before!(block, reference, operation)

Takes an operation owned by the caller and inserts it before the (non-owned) reference operation in the given block. If the reference is null, appends the operation. Otherwise, the reference must belong to the block.

source
MLIR.IR.next — Method
next(block)

Returns the block immediately following the given block in its parent region or nothing if last.

source
MLIR.IR.parent_op — Method
parent_op(block)

Returns the closest surrounding operation that contains this block.

source
MLIR.IR.push_argument! — Method
push_argument!(block, type; location=Location())

Appends an argument of the specified type to the block. Returns the newly added argument.

source
MLIR.IR.terminator — Method
terminator(block)

Returns the terminator operation in the block or nothing if no terminator.

source
diff --git a/previews/PR81/IR/context/index.html b/previews/PR81/IR/context/index.html index 8eb65386..5c8033c5 100644 --- a/previews/PR81/IR/context/index.html +++ b/previews/PR81/IR/context/index.html @@ -1,2 +1,2 @@ -Context · MLIR.jl
Edit on GitHub
+Context · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/IR/dialect/index.html b/previews/PR81/IR/dialect/index.html index 1764e946..1b4df5e0 100644 --- a/previews/PR81/IR/dialect/index.html +++ b/previews/PR81/IR/dialect/index.html @@ -1,2 +1,2 @@ -Dialect · MLIR.jl
Edit on GitHub
+Dialect · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/IR/identifier/index.html b/previews/PR81/IR/identifier/index.html index efc51a95..bfd082dc 100644 --- a/previews/PR81/IR/identifier/index.html +++ b/previews/PR81/IR/identifier/index.html @@ -1,2 +1,2 @@ -Identifier · MLIR.jl
Edit on GitHub
+Identifier · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/IR/integerset/index.html b/previews/PR81/IR/integerset/index.html index 928a843c..5ec4c174 100644 --- a/previews/PR81/IR/integerset/index.html +++ b/previews/PR81/IR/integerset/index.html @@ -1,2 +1,2 @@ -IntegerSet · MLIR.jl
Edit on GitHub

Integer Set

MLIR.IR.IntegerSet — Method
IntegerSet(ndims, nsymbols, constraints, eqflags; context=context())

Gets or creates a new integer set in the given context. The set is defined by a list of affine constraints, with the given number of input dimensions and symbols, which are treated as either equalities (eqflags is 1) or inequalities (eqflags is 0). Both constraints and eqflags need to be arrays of the same length.

source
MLIR.IR.IntegerSet — Method
Integerset(ndims, nsymbols; context=context())

Gets or creates a new canonically empty integer set with the give number of dimensions and symbols in the given context.

source
Base.:== — Method
==(s1, s2)

Checks if two integer set objects are equal. This is a "shallow" comparison of two objects. Only the sets with some small number of constraints are uniqued and compare equal here. Set objects that represent the same integer set with different constraints may be considered non-equal by this check. Set difference followed by an (expensive) emptiness check should be used to check equivalence of the underlying integer sets.

source
Base.ndims — Method
ndims(set)

Returns the number of dimensions in the given set.

source
Base.replace — Method
mlirIntegerSetReplaceGet(set, dimReplacements, symbolReplacements, numResultDims, numResultSymbols)

Gets or creates a new integer set in which the values and dimensions of the given set are replaced with the given affine expressions. dimReplacements and symbolReplacements are expected to point to at least as many consecutive expressions as the given set has dimensions and symbols, respectively. The new set will have numResultDims and numResultSymbols dimensions and symbols, respectively.

source
MLIR.IR.isconstrainteq — Method
mlirIntegerSetIsConstraintEq(set, i)

Returns true of the i-th constraint of the set is an equality constraint, false otherwise.

source
MLIR.IR.nconstraints — Method
nconstraints(set)

Returns the number of constraints (equalities + inequalities) in the given set.

source
MLIR.IR.ninputs — Method
ninputs(set)

Returns the number of inputs (dimensions + symbols) in the given set.

source
+IntegerSet · MLIR.jl
Edit on GitHub

Integer Set

MLIR.IR.IntegerSet — Method
IntegerSet(ndims, nsymbols, constraints, eqflags; context=context())

Gets or creates a new integer set in the given context. The set is defined by a list of affine constraints, with the given number of input dimensions and symbols, which are treated as either equalities (eqflags is 1) or inequalities (eqflags is 0). Both constraints and eqflags need to be arrays of the same length.

source
MLIR.IR.IntegerSet — Method
Integerset(ndims, nsymbols; context=context())

Gets or creates a new canonically empty integer set with the give number of dimensions and symbols in the given context.

source
Base.:== — Method
==(s1, s2)

Checks if two integer set objects are equal. This is a "shallow" comparison of two objects. Only the sets with some small number of constraints are uniqued and compare equal here. Set objects that represent the same integer set with different constraints may be considered non-equal by this check. Set difference followed by an (expensive) emptiness check should be used to check equivalence of the underlying integer sets.

source
Base.ndims — Method
ndims(set)

Returns the number of dimensions in the given set.

source
Base.replace — Method
mlirIntegerSetReplaceGet(set, dimReplacements, symbolReplacements, numResultDims, numResultSymbols)

Gets or creates a new integer set in which the values and dimensions of the given set are replaced with the given affine expressions. dimReplacements and symbolReplacements are expected to point to at least as many consecutive expressions as the given set has dimensions and symbols, respectively. The new set will have numResultDims and numResultSymbols dimensions and symbols, respectively.

source
MLIR.IR.isconstrainteq — Method
mlirIntegerSetIsConstraintEq(set, i)

Returns true of the i-th constraint of the set is an equality constraint, false otherwise.

source
MLIR.IR.nconstraints — Method
nconstraints(set)

Returns the number of constraints (equalities + inequalities) in the given set.

source
MLIR.IR.ninputs — Method
ninputs(set)

Returns the number of inputs (dimensions + symbols) in the given set.

source
diff --git a/previews/PR81/IR/iterators/index.html b/previews/PR81/IR/iterators/index.html index 4e8b50e4..93c49463 100644 --- a/previews/PR81/IR/iterators/index.html +++ b/previews/PR81/IR/iterators/index.html @@ -1,2 +1,2 @@ -Iterators · MLIR.jl
Edit on GitHub
+Iterators · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/IR/location/index.html b/previews/PR81/IR/location/index.html index 75849f19..433cd026 100644 --- a/previews/PR81/IR/location/index.html +++ b/previews/PR81/IR/location/index.html @@ -1,2 +1,2 @@ -Location · MLIR.jl
Edit on GitHub
+Location · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/IR/logicalresult/index.html b/previews/PR81/IR/logicalresult/index.html index d66aeb40..aca8e94c 100644 --- a/previews/PR81/IR/logicalresult/index.html +++ b/previews/PR81/IR/logicalresult/index.html @@ -1,2 +1,2 @@ -LogicalResult · MLIR.jl
Edit on GitHub

Logical Result

MLIR.IR.LogicalResult — Type
LogicalResult

A logical result value, essentially a boolean with named states. LLVM convention for using boolean values to designate success or failure of an operation is a moving target, so MLIR opted for an explicit class. Instances of LogicalResult must only be inspected using the associated functions.

source
+LogicalResult · MLIR.jl
Edit on GitHub

Logical Result

MLIR.IR.LogicalResult — Type
LogicalResult

A logical result value, essentially a boolean with named states. LLVM convention for using boolean values to designate success or failure of an operation is a moving target, so MLIR opted for an explicit class. Instances of LogicalResult must only be inspected using the associated functions.

source
diff --git a/previews/PR81/IR/module/index.html b/previews/PR81/IR/module/index.html index 90a3bfa5..be908180 100644 --- a/previews/PR81/IR/module/index.html +++ b/previews/PR81/IR/module/index.html @@ -1,2 +1,2 @@ -Module · MLIR.jl
Edit on GitHub

Module

MLIR.IR.Module — Type
Module(location=Location())

Creates a new, empty module and transfers ownership to the caller.

source
Base.parse — Method
parse(::Type{Module}, module; context=context())

Parses a module from the string and transfers ownership to the caller.

source
MLIR.IR.body — Method
body(module)

Gets the body of the module, i.e. the only block it contains.

source
+Module · MLIR.jl
Edit on GitHub

Module

MLIR.IR.Module — Type
Module(location=Location())

Creates a new, empty module and transfers ownership to the caller.

source
Base.parse — Method
parse(::Type{Module}, module; context=context())

Parses a module from the string and transfers ownership to the caller.

source
MLIR.IR.body — Method
body(module)

Gets the body of the module, i.e. the only block it contains.

source
diff --git a/previews/PR81/IR/operation/index.html b/previews/PR81/IR/operation/index.html index b5f07019..fbde6def 100644 --- a/previews/PR81/IR/operation/index.html +++ b/previews/PR81/IR/operation/index.html @@ -1,2 +1,2 @@ -Operation · MLIR.jl
Edit on GitHub

Operation

Base.copy — Method
copy(op)

Creates a deep copy of an operation. The operation is not inserted and ownership is transferred to the caller.

source
MLIR.IR.attr! — Method
attr!(op, name, attr)

Sets an attribute by name, replacing the existing if it exists or adding a new one otherwise.

source
MLIR.IR.attr — Method
attr(op, name)

Returns an attribute attached to the operation given its name.

source
MLIR.IR.block — Method
block(op)

Gets the block that owns this operation, returning null if the operation is not owned.

source
MLIR.IR.is_registered — Method
is_registered(name; context=context())

Returns whether the given fully-qualified operation (i.e. 'dialect.operation') is registered with the context. This will return true if the dialect is loaded and the operation is registered within the dialect.

source
MLIR.IR.move_after! — Method
move_after!(op, other)

Moves the given operation immediately after the other operation in its parent block. The given operation may be owned by the caller or by its current block. The other operation must belong to a block. In any case, the ownership is transferred to the block of the other operation.

source
MLIR.IR.move_before! — Method
move_before!(op, other)

Moves the given operation immediately before the other operation in its parent block. The given operation may be owner by the caller or by its current block. The other operation must belong to a block. In any case, the ownership is transferred to the block of the other operation.

source
MLIR.IR.nattrs — Method
nattrs(op)

Returns the number of attributes attached to the operation.

source
MLIR.IR.parent_op — Method
parent_op(op)

Gets the operation that owns this operation, returning null if the operation is not owned.

source
MLIR.IR.rmattr! — Method
rmattr!(op, name)

Removes an attribute by name. Returns false if the attribute was not found and true if removed.

source
MLIR.IR.rmfromparent! — Method
rmfromparent(op)

Removes the given operation from its parent block. The operation is not destroyed. The ownership of the operation is transferred to the caller.

source
MLIR.IR.typeid — Method
typeid(op)

Gets the type id of the operation. Returns null if the operation does not have a registered operation description.

source
MLIR.IR.verify — Method
verify(op)

Verify the operation and return true if it passes, false if it fails.

source
+Operation · MLIR.jl
Edit on GitHub

Operation

Base.copy — Method
copy(op)

Creates a deep copy of an operation. The operation is not inserted and ownership is transferred to the caller.

source
MLIR.IR.attr! — Method
attr!(op, name, attr)

Sets an attribute by name, replacing the existing if it exists or adding a new one otherwise.

source
MLIR.IR.attr — Method
attr(op, name)

Returns an attribute attached to the operation given its name.

source
MLIR.IR.block — Method
block(op)

Gets the block that owns this operation, returning null if the operation is not owned.

source
MLIR.IR.is_registered — Method
is_registered(name; context=context())

Returns whether the given fully-qualified operation (i.e. 'dialect.operation') is registered with the context. This will return true if the dialect is loaded and the operation is registered within the dialect.

source
MLIR.IR.move_after! — Method
move_after!(op, other)

Moves the given operation immediately after the other operation in its parent block. The given operation may be owned by the caller or by its current block. The other operation must belong to a block. In any case, the ownership is transferred to the block of the other operation.

source
MLIR.IR.move_before! — Method
move_before!(op, other)

Moves the given operation immediately before the other operation in its parent block. The given operation may be owner by the caller or by its current block. The other operation must belong to a block. In any case, the ownership is transferred to the block of the other operation.

source
MLIR.IR.nattrs — Method
nattrs(op)

Returns the number of attributes attached to the operation.

source
MLIR.IR.parent_op — Method
parent_op(op)

Gets the operation that owns this operation, returning null if the operation is not owned.

source
MLIR.IR.rmattr! — Method
rmattr!(op, name)

Removes an attribute by name. Returns false if the attribute was not found and true if removed.

source
MLIR.IR.rmfromparent! — Method
rmfromparent(op)

Removes the given operation from its parent block. The operation is not destroyed. The ownership of the operation is transferred to the caller.

source
MLIR.IR.typeid — Method
typeid(op)

Gets the type id of the operation. Returns null if the operation does not have a registered operation description.

source
MLIR.IR.verify — Method
verify(op)

Verify the operation and return true if it passes, false if it fails.

source
diff --git a/previews/PR81/IR/pass/index.html b/previews/PR81/IR/pass/index.html index bacccd3c..b2833dd0 100644 --- a/previews/PR81/IR/pass/index.html +++ b/previews/PR81/IR/pass/index.html @@ -1,2 +1,2 @@ -Pass Infrastucture · MLIR.jl
Edit on GitHub

Pass Infrastructure

MLIR.IR.OpPassManager — Method
OpPassManager(opPassManager, operationName)

Nest an OpPassManager under the provided OpPassManager, the nested passmanager will only run on operations matching the provided name. The returned OpPassManager will be destroyed when the parent is destroyed.

source
MLIR.IR.OpPassManager — Method
OpPassManager(passManager, operationName)

Nest an OpPassManager under the top-level PassManager, the nested passmanager will only run on operations matching the provided name. The returned OpPassManager will be destroyed when the parent is destroyed. To further nest more OpPassManager under the newly returned one, see mlirOpPassManagerNest below.

source
MLIR.IR.PassManager — Method
PassManager(anchorOp; context=context())

Create a new top-level PassManager anchored on anchorOp.

source
Base.parse — Method
parse(passManager, pipeline)

Parse a textual MLIR pass pipeline and add it to the provided OpPassManager.

source
MLIR.IR.add_owned_pass! — Method
add_owned_pass!(opPassManager, pass)

Add a pass and transfer ownership to the provided OpPassManager. If the pass is not a generic operation pass or matching the type of the provided OpPassManager, a new OpPassManager is implicitly nested under the provided OpPassManager.

source
MLIR.IR.add_owned_pass! — Method
add_owned_pass!(passManager, pass)

Add a pass and transfer ownership to the provided top-level PassManager. If the pass is not a generic operation pass or a ModulePass, a new OpPassManager is implicitly nested under the provided PassManager.

source
MLIR.IR.add_pipeline! — Method
add_pipeline!(passManager, pipelineElements, callback, userData)

Parse a sequence of textual MLIR pass pipeline elements and add them to the provided OpPassManager. If parsing fails an error message is reported using the provided callback.

source
MLIR.IR.run! — Method
run!(passManager, module)

Run the provided passManager on the given module.

source
+Pass Infrastucture · MLIR.jl
Edit on GitHub

Pass Infrastructure

MLIR.IR.OpPassManager — Method
OpPassManager(opPassManager, operationName)

Nest an OpPassManager under the provided OpPassManager, the nested passmanager will only run on operations matching the provided name. The returned OpPassManager will be destroyed when the parent is destroyed.

source
MLIR.IR.OpPassManager — Method
OpPassManager(passManager, operationName)

Nest an OpPassManager under the top-level PassManager, the nested passmanager will only run on operations matching the provided name. The returned OpPassManager will be destroyed when the parent is destroyed. To further nest more OpPassManager under the newly returned one, see mlirOpPassManagerNest below.

source
MLIR.IR.PassManager — Method
PassManager(anchorOp; context=context())

Create a new top-level PassManager anchored on anchorOp.

source
Base.parse — Method
parse(passManager, pipeline)

Parse a textual MLIR pass pipeline and add it to the provided OpPassManager.

source
MLIR.IR.add_owned_pass! — Method
add_owned_pass!(opPassManager, pass)

Add a pass and transfer ownership to the provided OpPassManager. If the pass is not a generic operation pass or matching the type of the provided OpPassManager, a new OpPassManager is implicitly nested under the provided OpPassManager.

source
MLIR.IR.add_owned_pass! — Method
add_owned_pass!(passManager, pass)

Add a pass and transfer ownership to the provided top-level PassManager. If the pass is not a generic operation pass or a ModulePass, a new OpPassManager is implicitly nested under the provided PassManager.

source
MLIR.IR.add_pipeline! — Method
add_pipeline!(passManager, pipelineElements, callback, userData)

Parse a sequence of textual MLIR pass pipeline elements and add them to the provided OpPassManager. If parsing fails an error message is reported using the provided callback.

source
MLIR.IR.run! — Method
run!(passManager, module)

Run the provided passManager on the given module.

source
diff --git a/previews/PR81/IR/region/index.html b/previews/PR81/IR/region/index.html index dcd12202..81bda2e0 100644 --- a/previews/PR81/IR/region/index.html +++ b/previews/PR81/IR/region/index.html @@ -1,2 +1,2 @@ -Region · MLIR.jl
Edit on GitHub

Region

MLIR.IR.Region — Method
Region()

Creates a new empty region and transfers ownership to the caller.

source
Base.:== — Method
==(region, other)

Checks whether two region handles point to the same region. This does not perform deep comparison.

source
Base.insert! — Method
insert!(region, index, block)

Takes a block owned by the caller and inserts it at index to the given region. This is an expensive operation that linearly scans the region, prefer insertAfter/Before instead.

source
Base.push! — Method
push!(region, block)

Takes a block owned by the caller and appends it to the given region.

source
MLIR.IR.insert_after! — Method
insert_after!(region, reference, block)

Takes a block owned by the caller and inserts it after the (non-owned) reference block in the given region. The reference block must belong to the region. If the reference block is null, prepends the block to the region.

source
MLIR.IR.insert_before! — Method
insert_before!(region, reference, block)

Takes a block owned by the caller and inserts it before the (non-owned) reference block in the given region. The reference block must belong to the region. If the reference block is null, appends the block to the region.

source
+Region · MLIR.jl
Edit on GitHub

Region

MLIR.IR.Region — Method
Region()

Creates a new empty region and transfers ownership to the caller.

source
Base.:== — Method
==(region, other)

Checks whether two region handles point to the same region. This does not perform deep comparison.

source
Base.insert! — Method
insert!(region, index, block)

Takes a block owned by the caller and inserts it at index to the given region. This is an expensive operation that linearly scans the region, prefer insertAfter/Before instead.

source
Base.push! — Method
push!(region, block)

Takes a block owned by the caller and appends it to the given region.

source
MLIR.IR.insert_after! — Method
insert_after!(region, reference, block)

Takes a block owned by the caller and inserts it after the (non-owned) reference block in the given region. The reference block must belong to the region. If the reference block is null, prepends the block to the region.

source
MLIR.IR.insert_before! — Method
insert_before!(region, reference, block)

Takes a block owned by the caller and inserts it before the (non-owned) reference block in the given region. The reference block must belong to the region. If the reference block is null, appends the block to the region.

source
diff --git a/previews/PR81/IR/symboltable/index.html b/previews/PR81/IR/symboltable/index.html index 34a076e0..a0bc86cb 100644 --- a/previews/PR81/IR/symboltable/index.html +++ b/previews/PR81/IR/symboltable/index.html @@ -1,2 +1,2 @@ -SymbolTable · MLIR.jl
Edit on GitHub

Symbol Table

MLIR.IR.SymbolTable — Method
mlirSymbolTableCreate(operation)

Creates a symbol table for the given operation. If the operation does not have the SymbolTable trait, returns a null symbol table.

source
Base.push! — Method
push!(symboltable, operation)

Inserts the given operation into the given symbol table. The operation must have the symbol trait. If the symbol table already has a symbol with the same name, renames the symbol being inserted to ensure name uniqueness. Note that this does not move the operation itself into the block of the symbol table operation, this should be done separately. Returns the name of the symbol after insertion.

source
MLIR.IR.delete! — Method
delete!(symboltable, operation)

Removes the given operation from the symbol table and erases it.

source
MLIR.IR.lookup — Method
lookup(symboltable, name)

Looks up a symbol with the given name in the given symbol table and returns the operation that corresponds to the symbol. If the symbol cannot be found, returns a null operation.

source
+SymbolTable · MLIR.jl
Edit on GitHub

Symbol Table

MLIR.IR.SymbolTable — Method
mlirSymbolTableCreate(operation)

Creates a symbol table for the given operation. If the operation does not have the SymbolTable trait, returns a null symbol table.

source
Base.push! — Method
push!(symboltable, operation)

Inserts the given operation into the given symbol table. The operation must have the symbol trait. If the symbol table already has a symbol with the same name, renames the symbol being inserted to ensure name uniqueness. Note that this does not move the operation itself into the block of the symbol table operation, this should be done separately. Returns the name of the symbol after insertion.

source
MLIR.IR.delete! — Method
delete!(symboltable, operation)

Removes the given operation from the symbol table and erases it.

source
MLIR.IR.lookup — Method
lookup(symboltable, name)

Looks up a symbol with the given name in the given symbol table and returns the operation that corresponds to the symbol. If the symbol cannot be found, returns a null operation.

source
diff --git a/previews/PR81/IR/type/index.html b/previews/PR81/IR/type/index.html index 47535afc..574563bc 100644 --- a/previews/PR81/IR/type/index.html +++ b/previews/PR81/IR/type/index.html @@ -1,3 +1,3 @@ -Type · MLIR.jl
Edit on GitHub

Type

MLIR.IR.Type — Method
Type(T::Core.Type{<:Integer}; context=context()

Creates a signless integer type of the given bitwidth in the context. The type is owned by the context.

source
MLIR.IR.Type — Method
Type(T::Core.Type{<:Signed}; context=context()

Creates a signed integer type of the given bitwidth in the context. The type is owned by the context.

source
MLIR.IR.Type — Method
Type(T::Core.Type{<:Unsigned}; context=context()

Creates an unsigned integer type of the given bitwidth in the context. The type is owned by the context.

source
MLIR.IR.Type — Method
Type(T::Core.Type{Bool}; context=context()

Creates a 1-bit signless integer type in the context. The type is owned by the context.

source
MLIR.IR.Type — Method
Type(::Core.Type{Float16}; context=context())

Creates an f16 type in the given context. The type is owned by the context.

source
MLIR.IR.Type — Method
Type(Core.Type{Float32}; context=context())

Creates an f32 type in the given context. The type is owned by the context.

source
MLIR.IR.Type — Method
Type(Core.Type{Float64}; context=context())

Creates a f64 type in the given context. The type is owned by the context.

source
MLIR.IR.Type — Method
Type(::Core.Type{Nothing}; context=context())

Creates a None type in the given context. The type is owned by the context.

source
MLIR.IR.Type — Method
Type(elements; context=context())
-Type(::Core.Type{<:Tuple{T...}}; context=context())

Creates a tuple type that consists of the given list of elemental types. The type is owned by the context.

source
MLIR.IR.Type — Method
Type(Complex{T}) where {T}

Creates a complex type with the given element type in the same context as the element type. The type is owned by the context.

source
Base.ndims — Method
ndims(type)

Returns the rank of the given ranked shaped type.

source
Base.parse — Method
parse(type; context=context())

Parses a type. The type is owned by the context.

source
Base.size — Method
size(type, i)

Returns the i-th dimension of the given ranked shaped type.

source
MLIR.IR.BFloat16Type — Method

BFloat16Type(; context=context())

Creates a bf16 type in the given context. The type is owned by the context.

source
MLIR.IR.Float8E4M3FN — Method
Float8E4M3FN(; context=context())

Creates an f8E4M3FN type in the given context. The type is owned by the context.

source
MLIR.IR.Float8E5M2 — Method
Float8E5M2(; context=context())

Creates an f8E5M2 type in the given context. The type is owned by the context.

source
MLIR.IR.FunctionType — Method
FunctionType(inputs, results; context=context())

Creates a function type, mapping a list of input types to result types.

source
MLIR.IR.IndexType — Method
IndexType(; context=context())

Creates an index type in the given context. The type is owned by the context.

source
MLIR.IR.MemRefType — Method
MemRefType(elementType, rank, shape, layout, memorySpace; location=Location(), check=false)

Creates a MemRef type with the given rank and shape, a potentially empty list of affine layout maps, the given memory space and element type, in the same context as element type. The type is owned by the context. If check=true, emits appropriate diagnostics on illegal arguments.

source
MLIR.IR.MemRefType — Method
MemRefType(elementType, rank, shape, memorySpace; location=Location(), check=false)

Creates a MemRef type with the given rank, shape, memory space and element type in the same context as the element type. The type has no affine maps, i.e. represents a default row-major contiguous memref. The type is owned by the context. If check=true, emits appropriate diagnostics on illegal arguments.

source
MLIR.IR.MemRefType — Method
MemRefType(elementType, memorySpace)

Creates an Unranked MemRef type with the given element type and in the given memory space. The type is owned by the context of element type. If check=true, emits appropriate diagnostics on illegal arguments.

source
MLIR.IR.OpaqueType — Method
OpaqueType(dialectNamespace, typeData; context=context())

Creates an opaque type in the given context associated with the dialect identified by its namespace. The type contains opaque byte data of the specified length (data need not be null-terminated).

source
MLIR.IR.TensorType — Function
TensorType(shape, elementType, encoding=Attribute(); location=Location(), check=false)

Creates a tensor type of a fixed rank with the given shape, element type, and optional encoding in the same context as the element type. The type is owned by the context. Tensor types without any specific encoding field should assign mlirAttributeGetNull to this parameter. If check=true, emits appropriate diagnostics on illegal arguments.

source
MLIR.IR.TensorType — Method
TensorType(elementType)

Creates an unranked tensor type with the given element type in the same context as the element type. The type is owned by the context. If check=true, emits appropriate diagnostics on illegal arguments.

source
MLIR.IR.VectorType — Method
VectorType(rank, shape, elementType; location=Location(), check=false)

Creates a vector type of the shape identified by its rank and dimensions, with the given element type in the same context as the element type. The type is owned by the context. If check=true, emits appropriate diagnostics on illegal arguments.

source
MLIR.IR.data — Method
mlirOpaqueTypeGetData(type)

Returns the raw data as a string reference. The data remains live as long as the context in which the type lives.

source
MLIR.IR.dynsize — Method
dynsize()

Returns the value indicating a dynamic size in a shaped type. Prefer isdynsize to direct comparisons with this value.

source
MLIR.IR.encoding — Method
encoding(type)

Gets the 'encoding' attribute from the ranked tensor type, returning a nothing if none.

source
MLIR.IR.isdyndim — Method
isdyndim(type, i)

Checks wither the i-th dimension of the given shaped type is dynamic.

source
MLIR.IR.isdynsize — Method
isdynsize(size)

Checks whether the given value is used as a placeholder for dynamic sizes in shaped types.

source
MLIR.IR.isdynstrideoroffset — Method
mlirShapedTypeIsDynamicStrideOrOffset(val)

Checks whether the given value is used as a placeholder for dynamic strides and offsets in shaped types.

source
MLIR.IR.memspace — Method
mlirMemRefTypeGetMemorySpace(type)

Returns the memory space of the given MemRef type.

source
MLIR.IR.namespace — Method
mlirOpaqueTypeGetDialectNamespace(type)

Returns the namespace of the dialect with which the given opaque type is associated. The namespace string is owned by the context.

source
+Type · MLIR.jl
Edit on GitHub

Type

MLIR.IR.Type — Method
Type(T::Core.Type{<:Integer}; context=context()

Creates a signless integer type of the given bitwidth in the context. The type is owned by the context.

source
MLIR.IR.Type — Method
Type(T::Core.Type{<:Signed}; context=context()

Creates a signed integer type of the given bitwidth in the context. The type is owned by the context.

source
MLIR.IR.Type — Method
Type(T::Core.Type{<:Unsigned}; context=context()

Creates an unsigned integer type of the given bitwidth in the context. The type is owned by the context.

source
MLIR.IR.Type — Method
Type(T::Core.Type{Bool}; context=context()

Creates a 1-bit signless integer type in the context. The type is owned by the context.

source
MLIR.IR.Type — Method
Type(::Core.Type{Float16}; context=context())

Creates an f16 type in the given context. The type is owned by the context.

source
MLIR.IR.Type — Method
Type(Core.Type{Float32}; context=context())

Creates an f32 type in the given context. The type is owned by the context.

source
MLIR.IR.Type — Method
Type(Core.Type{Float64}; context=context())

Creates a f64 type in the given context. The type is owned by the context.

source
MLIR.IR.Type — Method
Type(::Core.Type{Nothing}; context=context())

Creates a None type in the given context. The type is owned by the context.

source
MLIR.IR.Type — Method
Type(elements; context=context())
+Type(::Core.Type{<:Tuple{T...}}; context=context())

Creates a tuple type that consists of the given list of elemental types. The type is owned by the context.

source
MLIR.IR.Type — Method
Type(Complex{T}) where {T}

Creates a complex type with the given element type in the same context as the element type. The type is owned by the context.

source
Base.ndims — Method
ndims(type)

Returns the rank of the given ranked shaped type.

source
Base.parse — Method
parse(type; context=context())

Parses a type. The type is owned by the context.

source
Base.size — Method
size(type, i)

Returns the i-th dimension of the given ranked shaped type.

source
MLIR.IR.BFloat16Type — Method

BFloat16Type(; context=context())

Creates a bf16 type in the given context. The type is owned by the context.

source
MLIR.IR.Float8E4M3FN — Method
Float8E4M3FN(; context=context())

Creates an f8E4M3FN type in the given context. The type is owned by the context.

source
MLIR.IR.Float8E5M2 — Method
Float8E5M2(; context=context())

Creates an f8E5M2 type in the given context. The type is owned by the context.

source
MLIR.IR.FunctionType — Method
FunctionType(inputs, results; context=context())

Creates a function type, mapping a list of input types to result types.

source
MLIR.IR.IndexType — Method
IndexType(; context=context())

Creates an index type in the given context. The type is owned by the context.

source
MLIR.IR.MemRefType — Method
MemRefType(elementType, rank, shape, layout, memorySpace; location=Location(), check=false)

Creates a MemRef type with the given rank and shape, a potentially empty list of affine layout maps, the given memory space and element type, in the same context as element type. The type is owned by the context. If check=true, emits appropriate diagnostics on illegal arguments.

source
MLIR.IR.MemRefType — Method
MemRefType(elementType, rank, shape, memorySpace; location=Location(), check=false)

Creates a MemRef type with the given rank, shape, memory space and element type in the same context as the element type. The type has no affine maps, i.e. represents a default row-major contiguous memref. The type is owned by the context. If check=true, emits appropriate diagnostics on illegal arguments.

source
MLIR.IR.MemRefType — Method
MemRefType(elementType, memorySpace)

Creates an Unranked MemRef type with the given element type and in the given memory space. The type is owned by the context of element type. If check=true, emits appropriate diagnostics on illegal arguments.

source
MLIR.IR.OpaqueType — Method
OpaqueType(dialectNamespace, typeData; context=context())

Creates an opaque type in the given context associated with the dialect identified by its namespace. The type contains opaque byte data of the specified length (data need not be null-terminated).

source
MLIR.IR.TensorType — Function
TensorType(shape, elementType, encoding=Attribute(); location=Location(), check=false)

Creates a tensor type of a fixed rank with the given shape, element type, and optional encoding in the same context as the element type. The type is owned by the context. Tensor types without any specific encoding field should assign mlirAttributeGetNull to this parameter. If check=true, emits appropriate diagnostics on illegal arguments.

source
MLIR.IR.TensorType — Method
TensorType(elementType)

Creates an unranked tensor type with the given element type in the same context as the element type. The type is owned by the context. If check=true, emits appropriate diagnostics on illegal arguments.

source
MLIR.IR.VectorType — Method
VectorType(rank, shape, elementType; location=Location(), check=false)

Creates a vector type of the shape identified by its rank and dimensions, with the given element type in the same context as the element type. The type is owned by the context. If check=true, emits appropriate diagnostics on illegal arguments.

source
MLIR.IR.data — Method
mlirOpaqueTypeGetData(type)

Returns the raw data as a string reference. The data remains live as long as the context in which the type lives.

source
MLIR.IR.dynsize — Method
dynsize()

Returns the value indicating a dynamic size in a shaped type. Prefer isdynsize to direct comparisons with this value.

source
MLIR.IR.encoding — Method
encoding(type)

Gets the 'encoding' attribute from the ranked tensor type, returning a nothing if none.

source
MLIR.IR.isdyndim — Method
isdyndim(type, i)

Checks wither the i-th dimension of the given shaped type is dynamic.

source
MLIR.IR.isdynsize — Method
isdynsize(size)

Checks whether the given value is used as a placeholder for dynamic sizes in shaped types.

source
MLIR.IR.isdynstrideoroffset — Method
mlirShapedTypeIsDynamicStrideOrOffset(val)

Checks whether the given value is used as a placeholder for dynamic strides and offsets in shaped types.

source
MLIR.IR.memspace — Method
mlirMemRefTypeGetMemorySpace(type)

Returns the memory space of the given MemRef type.

source
MLIR.IR.namespace — Method
mlirOpaqueTypeGetDialectNamespace(type)

Returns the namespace of the dialect with which the given opaque type is associated. The namespace string is owned by the context.

source
diff --git a/previews/PR81/IR/typeid/index.html b/previews/PR81/IR/typeid/index.html index 69e7860b..a0b2bdc7 100644 --- a/previews/PR81/IR/typeid/index.html +++ b/previews/PR81/IR/typeid/index.html @@ -1,2 +1,2 @@ -TypeID · MLIR.jl
Edit on GitHub
+TypeID · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/IR/value/index.html b/previews/PR81/IR/value/index.html index f6bdbfb0..c6074922 100644 --- a/previews/PR81/IR/value/index.html +++ b/previews/PR81/IR/value/index.html @@ -1,2 +1,2 @@ -Value · MLIR.jl
Edit on GitHub

Value

Base.:== — Method
==(value1, value2)

Returns 1 if two values are equal, 0 otherwise.

source
MLIR.IR.block_owner — Method
block_owner(value)

Returns the block in which this value is defined as an argument. Asserts if the value is not a block argument.

source
MLIR.IR.op_owner — Method
op_owner(value)

Returns an operation that produced this value as its result. Asserts if the value is not an op result.

source
MLIR.IR.op_res_num — Method
op_res_num(value)

Returns the position of the value in the list of results of the operation that produced it.

source
MLIR.IR.type! — Method
set_type!(value, type)

Sets the type of the block argument to the given type.

source
+Value · MLIR.jl
Edit on GitHub

Value

Base.:== — Method
==(value1, value2)

Returns 1 if two values are equal, 0 otherwise.

source
MLIR.IR.block_owner — Method
block_owner(value)

Returns the block in which this value is defined as an argument. Asserts if the value is not a block argument.

source
MLIR.IR.op_owner — Method
op_owner(value)

Returns an operation that produced this value as its result. Asserts if the value is not an op result.

source
MLIR.IR.op_res_num — Method
op_res_num(value)

Returns the position of the value in the list of results of the operation that produced it.

source
MLIR.IR.type! — Method
set_type!(value, type)

Sets the type of the block argument to the given type.

source
diff --git a/previews/PR81/api/index.html b/previews/PR81/api/index.html index c4980339..9b9ea22b 100644 --- a/previews/PR81/api/index.html +++ b/previews/PR81/api/index.html @@ -1,2 +1,2 @@ -API · MLIR.jl
Edit on GitHub
+API · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/affine/index.html b/previews/PR81/dialects/affine/index.html index fdc7bba5..45bb8eff 100644 --- a/previews/PR81/dialects/affine/index.html +++ b/previews/PR81/dialects/affine/index.html @@ -1,2 +1,2 @@ -affine · MLIR.jl
Edit on GitHub
+affine · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/amdgpu/index.html b/previews/PR81/dialects/amdgpu/index.html index 041d5118..44c88122 100644 --- a/previews/PR81/dialects/amdgpu/index.html +++ b/previews/PR81/dialects/amdgpu/index.html @@ -1,2 +1,2 @@ -amdgpu · MLIR.jl
Edit on GitHub
+amdgpu · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/amx/index.html b/previews/PR81/dialects/amx/index.html index 4e37e2e8..f115b709 100644 --- a/previews/PR81/dialects/amx/index.html +++ b/previews/PR81/dialects/amx/index.html @@ -1,2 +1,2 @@ -amx · MLIR.jl
Edit on GitHub
+amx · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/arith/index.html b/previews/PR81/dialects/arith/index.html index 5016b281..e367f7ca 100644 --- a/previews/PR81/dialects/arith/index.html +++ b/previews/PR81/dialects/arith/index.html @@ -1,2 +1,2 @@ -arith · MLIR.jl
Edit on GitHub
+arith · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/arm_neon/index.html b/previews/PR81/dialects/arm_neon/index.html index f5046115..eca2cad7 100644 --- a/previews/PR81/dialects/arm_neon/index.html +++ b/previews/PR81/dialects/arm_neon/index.html @@ -1,2 +1,2 @@ -arm_neon · MLIR.jl
Edit on GitHub
+arm_neon · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/arm_sve/index.html b/previews/PR81/dialects/arm_sve/index.html index 4c2f7d61..43375c24 100644 --- a/previews/PR81/dialects/arm_sve/index.html +++ b/previews/PR81/dialects/arm_sve/index.html @@ -1,2 +1,2 @@ -arm_sve · MLIR.jl
Edit on GitHub
+arm_sve · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/async/index.html b/previews/PR81/dialects/async/index.html index 2ff06921..007ff469 100644 --- a/previews/PR81/dialects/async/index.html +++ b/previews/PR81/dialects/async/index.html @@ -1,2 +1,2 @@ -async · MLIR.jl
Edit on GitHub
+async · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/bufferization/index.html b/previews/PR81/dialects/bufferization/index.html index ce58cce5..c7f65595 100644 --- a/previews/PR81/dialects/bufferization/index.html +++ b/previews/PR81/dialects/bufferization/index.html @@ -1,2 +1,2 @@ -bufferization · MLIR.jl
Edit on GitHub
+bufferization · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/builtin/index.html b/previews/PR81/dialects/builtin/index.html index 88ff3c73..d3916aab 100644 --- a/previews/PR81/dialects/builtin/index.html +++ b/previews/PR81/dialects/builtin/index.html @@ -1,2 +1,2 @@ -builtin · MLIR.jl
Edit on GitHub
+builtin · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/complex/index.html b/previews/PR81/dialects/complex/index.html index 1ad37c34..ae8b8107 100644 --- a/previews/PR81/dialects/complex/index.html +++ b/previews/PR81/dialects/complex/index.html @@ -1,2 +1,2 @@ -complex · MLIR.jl
Edit on GitHub
+complex · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/controlflow/index.html b/previews/PR81/dialects/controlflow/index.html index 33053737..67e8bb9d 100644 --- a/previews/PR81/dialects/controlflow/index.html +++ b/previews/PR81/dialects/controlflow/index.html @@ -1,2 +1,2 @@ -cf · MLIR.jl
Edit on GitHub
+cf · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/emitc/index.html b/previews/PR81/dialects/emitc/index.html index 9e387d54..e0607b84 100644 --- a/previews/PR81/dialects/emitc/index.html +++ b/previews/PR81/dialects/emitc/index.html @@ -1,2 +1,2 @@ -emitc · MLIR.jl
Edit on GitHub
+emitc · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/func/index.html b/previews/PR81/dialects/func/index.html index 5dfd02a2..66a9c921 100644 --- a/previews/PR81/dialects/func/index.html +++ b/previews/PR81/dialects/func/index.html @@ -1,2 +1,2 @@ -func · MLIR.jl
Edit on GitHub
+func · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/gpu/index.html b/previews/PR81/dialects/gpu/index.html index ad498bba..83a09567 100644 --- a/previews/PR81/dialects/gpu/index.html +++ b/previews/PR81/dialects/gpu/index.html @@ -1,2 +1,2 @@ -gpu · MLIR.jl
Edit on GitHub
+gpu · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/linalg/index.html b/previews/PR81/dialects/linalg/index.html index c36b0259..eef714ee 100644 --- a/previews/PR81/dialects/linalg/index.html +++ b/previews/PR81/dialects/linalg/index.html @@ -1,2 +1,2 @@ -linalg · MLIR.jl
Edit on GitHub
+linalg · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/llvm/index.html b/previews/PR81/dialects/llvm/index.html index 8a247ef1..f1ad54f4 100644 --- a/previews/PR81/dialects/llvm/index.html +++ b/previews/PR81/dialects/llvm/index.html @@ -1,2 +1,2 @@ -llvm · MLIR.jl
Edit on GitHub
+llvm · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/math/index.html b/previews/PR81/dialects/math/index.html index a8eceee4..394510ac 100644 --- a/previews/PR81/dialects/math/index.html +++ b/previews/PR81/dialects/math/index.html @@ -1,2 +1,2 @@ -math · MLIR.jl
Edit on GitHub
+math · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/memref/index.html b/previews/PR81/dialects/memref/index.html index 0ed214d3..1749127f 100644 --- a/previews/PR81/dialects/memref/index.html +++ b/previews/PR81/dialects/memref/index.html @@ -1,2 +1,2 @@ -memref · MLIR.jl
Edit on GitHub
+memref · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/ml_program/index.html b/previews/PR81/dialects/ml_program/index.html index 48e4c7b4..9d2e407e 100644 --- a/previews/PR81/dialects/ml_program/index.html +++ b/previews/PR81/dialects/ml_program/index.html @@ -1,2 +1,2 @@ -ml_program · MLIR.jl
Edit on GitHub
+ml_program · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/nvgpu/index.html b/previews/PR81/dialects/nvgpu/index.html index 696148ee..3208f763 100644 --- a/previews/PR81/dialects/nvgpu/index.html +++ b/previews/PR81/dialects/nvgpu/index.html @@ -1,2 +1,2 @@ -nvgpu · MLIR.jl
Edit on GitHub
+nvgpu · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/openacc/index.html b/previews/PR81/dialects/openacc/index.html index 1b82db54..2bcfdc09 100644 --- a/previews/PR81/dialects/openacc/index.html +++ b/previews/PR81/dialects/openacc/index.html @@ -1,2 +1,2 @@ -openacc · MLIR.jl
Edit on GitHub
+openacc · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/openmp/index.html b/previews/PR81/dialects/openmp/index.html index 69a561e8..ec53696c 100644 --- a/previews/PR81/dialects/openmp/index.html +++ b/previews/PR81/dialects/openmp/index.html @@ -1,2 +1,2 @@ -openmp · MLIR.jl
Edit on GitHub
+openmp · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/pdl/index.html b/previews/PR81/dialects/pdl/index.html index ad88d21c..53355f9d 100644 --- a/previews/PR81/dialects/pdl/index.html +++ b/previews/PR81/dialects/pdl/index.html @@ -1,2 +1,2 @@ -pdl · MLIR.jl
Edit on GitHub
+pdl · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/pdl_interp/index.html b/previews/PR81/dialects/pdl_interp/index.html index b1c3e4de..3fab337a 100644 --- a/previews/PR81/dialects/pdl_interp/index.html +++ b/previews/PR81/dialects/pdl_interp/index.html @@ -1,2 +1,2 @@ -pdl_interp · MLIR.jl
Edit on GitHub
+pdl_interp · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/quant/index.html b/previews/PR81/dialects/quant/index.html index fb40c130..edda9a75 100644 --- a/previews/PR81/dialects/quant/index.html +++ b/previews/PR81/dialects/quant/index.html @@ -1,2 +1,2 @@ -quant · MLIR.jl
Edit on GitHub
+quant · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/scf/index.html b/previews/PR81/dialects/scf/index.html index 35a400a2..ae3040ae 100644 --- a/previews/PR81/dialects/scf/index.html +++ b/previews/PR81/dialects/scf/index.html @@ -1,2 +1,2 @@ -scf · MLIR.jl
Edit on GitHub
+scf · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/shape/index.html b/previews/PR81/dialects/shape/index.html index 09fee29f..7f4850d4 100644 --- a/previews/PR81/dialects/shape/index.html +++ b/previews/PR81/dialects/shape/index.html @@ -1,2 +1,2 @@ -shape · MLIR.jl
Edit on GitHub
+shape · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/sparse_tensor/index.html b/previews/PR81/dialects/sparse_tensor/index.html index 28eea020..58d63aac 100644 --- a/previews/PR81/dialects/sparse_tensor/index.html +++ b/previews/PR81/dialects/sparse_tensor/index.html @@ -1,2 +1,2 @@ -sparse_tensor · MLIR.jl
Edit on GitHub
+sparse_tensor · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/spirv/index.html b/previews/PR81/dialects/spirv/index.html index 63f1e905..c2936816 100644 --- a/previews/PR81/dialects/spirv/index.html +++ b/previews/PR81/dialects/spirv/index.html @@ -1,2 +1,2 @@ -spv · MLIR.jl
Edit on GitHub
+spv · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/tensor/index.html b/previews/PR81/dialects/tensor/index.html index a2885010..1b6f33ac 100644 --- a/previews/PR81/dialects/tensor/index.html +++ b/previews/PR81/dialects/tensor/index.html @@ -1,2 +1,2 @@ -tensor · MLIR.jl
Edit on GitHub
+tensor · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/tosa/index.html b/previews/PR81/dialects/tosa/index.html index bdde0cb3..359d2f75 100644 --- a/previews/PR81/dialects/tosa/index.html +++ b/previews/PR81/dialects/tosa/index.html @@ -1,2 +1,2 @@ -tosa · MLIR.jl
Edit on GitHub
+tosa · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/transform/index.html b/previews/PR81/dialects/transform/index.html index bbcd56e4..4f6a2d04 100644 --- a/previews/PR81/dialects/transform/index.html +++ b/previews/PR81/dialects/transform/index.html @@ -1,2 +1,2 @@ -transforms · MLIR.jl
Edit on GitHub
+transforms · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/vector/index.html b/previews/PR81/dialects/vector/index.html index d4d53bcb..77156436 100644 --- a/previews/PR81/dialects/vector/index.html +++ b/previews/PR81/dialects/vector/index.html @@ -1,2 +1,2 @@ -vector · MLIR.jl
Edit on GitHub
+vector · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/dialects/x86vector/index.html b/previews/PR81/dialects/x86vector/index.html index ed145b5f..b6f3d4a3 100644 --- a/previews/PR81/dialects/x86vector/index.html +++ b/previews/PR81/dialects/x86vector/index.html @@ -1,2 +1,2 @@ -x86vector · MLIR.jl
Edit on GitHub
+x86vector · MLIR.jl
Edit on GitHub
diff --git a/previews/PR81/index.html b/previews/PR81/index.html index 2924ac60..48dfda63 100644 --- a/previews/PR81/index.html +++ b/previews/PR81/index.html @@ -1,2 +1,2 @@ -Home · MLIR.jl
Edit on GitHub

MLIR.jl

Design

String and MlirStringRef

MlirStringRef is a non-owning pointer, the caller is in charge of performing necessary copies or ensuring that the pointee outlives all uses of MlirStringRef. Since Julia is a GC'd language special care must be taken around the live-time of Julia objects such as Strings when interacting with foreign libraries.

For convenience and safty sake, users of the API should use Julia String or Symbol as the argument to the C-ABI of MLIR instead of directly using MlirStringRef. We translate (cheaply) between Julia String and MlirStringRef.

+Home · MLIR.jl
Edit on GitHub

MLIR.jl

Design

String and MlirStringRef

MlirStringRef is a non-owning pointer, the caller is in charge of performing necessary copies or ensuring that the pointee outlives all uses of MlirStringRef. Since Julia is a GC'd language special care must be taken around the live-time of Julia objects such as Strings when interacting with foreign libraries.

For convenience and safty sake, users of the API should use Julia String or Symbol as the argument to the C-ABI of MLIR instead of directly using MlirStringRef. We translate (cheaply) between Julia String and MlirStringRef.

diff --git a/previews/PR81/search/index.html b/previews/PR81/search/index.html index ba5e233a..478d107a 100644 --- a/previews/PR81/search/index.html +++ b/previews/PR81/search/index.html @@ -1,2 +1,2 @@ -Search · MLIR.jl

Loading search...

    +Search · MLIR.jl

    Loading search...