[Mlir-commits] [mlir] c1ac2cf - Use a markdown list in Affine dialect docs

[llvmlistbot at llvm.org]

Author: Oleksandr "Alex" Zinenko
Date: 2024-02-06T03:59:41+01:00
New Revision: c1ac2cfac7f160107041758f458aaf1087f5cac2

URL: https://github.com/llvm/llvm-project/commit/c1ac2cfac7f160107041758f458aaf1087f5cac2
DIFF: https://github.com/llvm/llvm-project/commit/c1ac2cfac7f160107041758f458aaf1087f5cac2.diff

LOG: Use a markdown list in Affine dialect docs

Added: 
    

Modified: 
    mlir/docs/Dialects/Affine.md

Removed: 
    


################################################################################
diff  --git a/mlir/docs/Dialects/Affine.md b/mlir/docs/Dialects/Affine.md
index 8bc4dcfdc7eb6..f34a9b1c1a861 100644
--- a/mlir/docs/Dialects/Affine.md
+++ b/mlir/docs/Dialects/Affine.md
@@ -61,17 +61,22 @@ Example:
 
 The affine dialect imposes certain restrictions on dimension and symbolic
 identifiers to enable powerful analysis and transformation. An SSA value's use
-can be bound to a symbolic identifier if that SSA value is either 1. a region
-argument for an op with trait `AffineScope` (eg. `FuncOp`), 2. a value defined
-at the top level of an `AffineScope` op (i.e., immediately enclosed by the
-latter), 3. a value that dominates the `AffineScope` op enclosing the value's
-use, 4. the result of a
-constant operation, 5. the result of an
+can be bound to a symbolic identifier if that SSA value is either:
+
+1. a region argument for an op with trait `AffineScope` (eg. `FuncOp`),
+2. a value defined at the top level of an `AffineScope` op (i.e., 
+immediately enclosed by the latter),
+3. a value that dominates the `AffineScope` op enclosing the value's
+use,
+4. the result of a constant operation,
+5. the result of an
 [`affine.apply` operation](#affineapply-mliraffineapplyop) that recursively takes as
-arguments any valid symbolic identifiers, or 6. the result of a
+arguments any valid symbolic identifiers, or
+6. the result of a
 [`dim` operation](MemRef.md/#memrefdim-mlirmemrefdimop) on either a memref that
 is an argument to a `AffineScope` op or a memref where the corresponding
 dimension is either static or a dynamic one in turn bound to a valid symbol.
+
 *Note:* if the use of an SSA value is not contained in any op with the
 `AffineScope` trait, only the rules 4-6 can be applied.