issue#62488: Correct some syntax errors. Leave location and custom-operation-format unchanged, because I'm not sure.

Reviewed By: Mogball

Differential Revision: https://reviews.llvm.org/D149810
This commit is contained in:
Stevengre 2023-06-05 16:06:33 -07:00 committed by Jeff Niu
parent e6c401b5e8
commit f04cf6b73a
2 changed files with 6 additions and 6 deletions

View File

@ -142,7 +142,7 @@ Syntax:
```
affine-map-inline
::= dim-and-symbol-id-lists `->` multi-dim-affine-expr
::= dim-and-symbol-value-lists `->` multi-dim-affine-expr
```
The identifiers in the dimensions and symbols lists must be unique. These are
@ -227,7 +227,7 @@ Syntax of semi-affine maps:
```
semi-affine-map-inline
::= dim-and-symbol-id-lists `->` multi-dim-semi-affine-expr
::= dim-and-symbol-value-lists `->` multi-dim-semi-affine-expr
```
Semi-affine maps may be defined inline at the point of use, or may be hoisted to
@ -271,7 +271,7 @@ name.
integer-set-id ::= `#` suffix-id
integer-set-inline
::= dim-and-symbol-id-lists `:` '(' affine-constraint-conjunction? ')'
::= dim-and-symbol-value-lists `:` '(' affine-constraint-conjunction? ')'
// Declarations of integer sets are at the top of the file.
integer-set-decl ::= integer-set-id `=` integer-set-inline

View File

@ -207,7 +207,7 @@ symbol-ref-id ::= `@` (suffix-id | string-literal) (`::` symbol-ref-id)?
value-id-list ::= value-id (`,` value-id)*
// Uses of value, e.g. in an operand list to an operation.
value-use ::= value-id
value-use ::= value-id (`#` decimal-literal)?
value-use-list ::= value-use (`,` value-use)*
```
@ -294,13 +294,13 @@ generic-operation ::= string-literal `(` value-use-list? `)` successor-list
`:` function-type
custom-operation ::= bare-id custom-operation-format
op-result-list ::= op-result (`,` op-result)* `=`
op-result ::= value-id (`:` integer-literal)
op-result ::= value-id (`:` integer-literal)?
successor-list ::= `[` successor (`,` successor)* `]`
successor ::= caret-id (`:` block-arg-list)?
dictionary-properties ::= `<` dictionary-attribute `>`
region-list ::= `(` region (`,` region)* `)`
dictionary-attribute ::= `{` (attribute-entry (`,` attribute-entry)*)? `}`
trailing-location ::= (`loc` `(` location `)`)?
trailing-location ::= `loc` `(` location `)`
```
MLIR introduces a uniform concept called *operations* to enable describing many