diff --git a/mlir/docs/Dialects/Affine.md b/mlir/docs/Dialects/Affine.md index 1ce535a0c9b7..639d2ba781de 100644 --- a/mlir/docs/Dialects/Affine.md +++ b/mlir/docs/Dialects/Affine.md @@ -13,7 +13,7 @@ core concepts that are used throughout the document. ### Dimensions and Symbols 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 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 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 -[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) parenthesization, (2) negation, (3) modulo, multiplication, floordiv, and ceildiv, and (4) addition and subtraction. All of these operators associate from diff --git a/mlir/docs/Dialects/SPIR-V.md b/mlir/docs/Dialects/SPIR-V.md index 895132395992..7e473b030e56 100644 --- a/mlir/docs/Dialects/SPIR-V.md +++ b/mlir/docs/Dialects/SPIR-V.md @@ -1395,11 +1395,11 @@ dialect. [MlirDialectConversionRewritePattern]: ../DialectConversion.md#conversion-patterns [MlirDialectConversionSignatureConversion]: ../DialectConversion.md#region-signature-conversion [MlirOpInterface]: ../Interfaces/#operation-interfaces -[MlirIntegerType]: ../LangRef.md#integer-type +[MlirIntegerType]: Builtin.md#integertype [MlirFloatType]: ../LangRef.md#floating-point-types [MlirVectorType]: ../LangRef.md#vector-type [MlirMemrefType]: ../LangRef.md#memref-type -[MlirIndexType]: ../LangRef.md#index-type +[MlirIndexType]: Builtin.md#indextype [MlirGpuDialect]: ../Dialects/GPU.md [MlirStandardDialect]: ../Dialects/Standard.md [MlirSpirvHeaders]: https://github.com/llvm/llvm-project/tree/main/mlir/include/mlir/Dialect/SPIRV diff --git a/mlir/docs/Tutorials/DefiningAttributesAndTypes.md b/mlir/docs/Tutorials/DefiningAttributesAndTypes.md index 7942fa2e1868..4afafe718b54 100644 --- a/mlir/docs/Tutorials/DefiningAttributesAndTypes.md +++ b/mlir/docs/Tutorials/DefiningAttributesAndTypes.md @@ -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: 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 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 -[`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 recursive types. The mutable component _cannot_ be used to differentiate instances of a type class, so usually such types contain other parametric diff --git a/mlir/docs/Tutorials/Toy/Ch-7.md b/mlir/docs/Tutorials/Toy/Ch-7.md index 72dc8440e9ef..8dcf47e969e3 100644 --- a/mlir/docs/Tutorials/Toy/Ch-7.md +++ b/mlir/docs/Tutorials/Toy/Ch-7.md @@ -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` 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 -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`. ##### Defining the Storage Class