forked from OSchip/llvm-project
[mlir][docs] Fix links to index and integer types
Reviewed By: mehdi_amini Differential Revision: https://reviews.llvm.org/D102922
This commit is contained in:
parent
335fa18028
commit
b3127c94dd
|
@ -13,7 +13,7 @@ core concepts that are used throughout the document.
|
||||||
### Dimensions and Symbols
|
### Dimensions and Symbols
|
||||||
|
|
||||||
Dimensions and symbols are the two kinds of identifiers that can appear in the
|
Dimensions and symbols are the two kinds of identifiers that can appear in the
|
||||||
polyhedral structures, and are always of [`index`](../LangRef.md#index-type)
|
polyhedral structures, and are always of [`index`](Builtin.md#indextype)
|
||||||
type. Dimensions are declared in parentheses and symbols are declared in square
|
type. Dimensions are declared in parentheses and symbols are declared in square
|
||||||
brackets.
|
brackets.
|
||||||
|
|
||||||
|
@ -113,7 +113,7 @@ less than or equal to that result. `mod` is the modulo operation: since its
|
||||||
second argument is always positive, its results are always positive in our
|
second argument is always positive, its results are always positive in our
|
||||||
usage. The `integer-literal` operand for ceildiv, floordiv, and mod is always
|
usage. The `integer-literal` operand for ceildiv, floordiv, and mod is always
|
||||||
expected to be positive. `bare-id` is an identifier which must have type
|
expected to be positive. `bare-id` is an identifier which must have type
|
||||||
[index](../LangRef.md#index-type). The precedence of operations in an affine
|
[index](Builtin.md#indextype). The precedence of operations in an affine
|
||||||
expression are ordered from highest to lowest in the order: (1)
|
expression are ordered from highest to lowest in the order: (1)
|
||||||
parenthesization, (2) negation, (3) modulo, multiplication, floordiv, and
|
parenthesization, (2) negation, (3) modulo, multiplication, floordiv, and
|
||||||
ceildiv, and (4) addition and subtraction. All of these operators associate from
|
ceildiv, and (4) addition and subtraction. All of these operators associate from
|
||||||
|
|
|
@ -1395,11 +1395,11 @@ dialect.
|
||||||
[MlirDialectConversionRewritePattern]: ../DialectConversion.md#conversion-patterns
|
[MlirDialectConversionRewritePattern]: ../DialectConversion.md#conversion-patterns
|
||||||
[MlirDialectConversionSignatureConversion]: ../DialectConversion.md#region-signature-conversion
|
[MlirDialectConversionSignatureConversion]: ../DialectConversion.md#region-signature-conversion
|
||||||
[MlirOpInterface]: ../Interfaces/#operation-interfaces
|
[MlirOpInterface]: ../Interfaces/#operation-interfaces
|
||||||
[MlirIntegerType]: ../LangRef.md#integer-type
|
[MlirIntegerType]: Builtin.md#integertype
|
||||||
[MlirFloatType]: ../LangRef.md#floating-point-types
|
[MlirFloatType]: ../LangRef.md#floating-point-types
|
||||||
[MlirVectorType]: ../LangRef.md#vector-type
|
[MlirVectorType]: ../LangRef.md#vector-type
|
||||||
[MlirMemrefType]: ../LangRef.md#memref-type
|
[MlirMemrefType]: ../LangRef.md#memref-type
|
||||||
[MlirIndexType]: ../LangRef.md#index-type
|
[MlirIndexType]: Builtin.md#indextype
|
||||||
[MlirGpuDialect]: ../Dialects/GPU.md
|
[MlirGpuDialect]: ../Dialects/GPU.md
|
||||||
[MlirStandardDialect]: ../Dialects/Standard.md
|
[MlirStandardDialect]: ../Dialects/Standard.md
|
||||||
[MlirSpirvHeaders]: https://github.com/llvm/llvm-project/tree/main/mlir/include/mlir/Dialect/SPIRV
|
[MlirSpirvHeaders]: https://github.com/llvm/llvm-project/tree/main/mlir/include/mlir/Dialect/SPIRV
|
||||||
|
|
|
@ -25,13 +25,13 @@ So before defining the derived `Type`, it's important to know which of the two
|
||||||
classes of `Type` we are defining:
|
classes of `Type` we are defining:
|
||||||
|
|
||||||
Some types are _singleton_ in nature, meaning they have no parameters and only
|
Some types are _singleton_ in nature, meaning they have no parameters and only
|
||||||
ever have one instance, like the [`index` type](LangRef.md#index-type).
|
ever have one instance, like the [`index` type](../Dialects/Builtin.md#indextype).
|
||||||
|
|
||||||
Other types are _parametric_, and contain additional information that
|
Other types are _parametric_, and contain additional information that
|
||||||
differentiates different instances of the same `Type`. For example the
|
differentiates different instances of the same `Type`. For example the
|
||||||
[`integer` type](LangRef.md#integer-type) contains a bitwidth, with `i8` and
|
[`integer` type](../Dialects/Builtin.md#integertype) contains a bitwidth, with `i8` and
|
||||||
`i16` representing different instances of
|
`i16` representing different instances of
|
||||||
[`integer` type](LangRef.md#integer-type). _Parametric_ may also contain a
|
[`integer` type](../Dialects/Builtin.md#integertype). _Parametric_ may also contain a
|
||||||
mutable component, which can be used, for example, to construct self-referring
|
mutable component, which can be used, for example, to construct self-referring
|
||||||
recursive types. The mutable component _cannot_ be used to differentiate
|
recursive types. The mutable component _cannot_ be used to differentiate
|
||||||
instances of a type class, so usually such types contain other parametric
|
instances of a type class, so usually such types contain other parametric
|
||||||
|
|
|
@ -72,7 +72,7 @@ constructing and uniquing an instance of a storage class.
|
||||||
When defining a new `Type` that contains parametric data (e.g. the `struct`
|
When defining a new `Type` that contains parametric data (e.g. the `struct`
|
||||||
type, which requires additional information to hold the element types), we will
|
type, which requires additional information to hold the element types), we will
|
||||||
need to provide a derived storage class. The `singleton` types that don't have
|
need to provide a derived storage class. The `singleton` types that don't have
|
||||||
any additional data (e.g. the [`index` type](../../LangRef.md#index-type)) don't
|
any additional data (e.g. the [`index` type](../../Dialects/Builtin.md#indextype)) don't
|
||||||
require a storage class and use the default `TypeStorage`.
|
require a storage class and use the default `TypeStorage`.
|
||||||
|
|
||||||
##### Defining the Storage Class
|
##### Defining the Storage Class
|
||||||
|
|
Loading…
Reference in New Issue