diff --git a/mlir/docs/LangRef.md b/mlir/docs/LangRef.md --- a/mlir/docs/LangRef.md +++ b/mlir/docs/LangRef.md @@ -241,8 +241,8 @@ ``` operation ::= op-result-list? (generic-operation | custom-operation) trailing-location? -generic-operation ::= string-literal '(' ssa-use-list? ')' attribute-dict? - `:` function-type +generic-operation ::= string-literal `(` ssa-use-list? `)` successor-list? + (`(` region-list `)`)? attribute-dict? `:` function-type custom-operation ::= bare-id custom-operation-format op-result-list ::= op-result (`,` op-result)* `=` op-result ::= ssa-id (`:` integer-literal) diff --git a/mlir/lib/Parser/Parser.cpp b/mlir/lib/Parser/Parser.cpp --- a/mlir/lib/Parser/Parser.cpp +++ b/mlir/lib/Parser/Parser.cpp @@ -3573,8 +3573,9 @@ /// operation ::= op-result-list? /// (generic-operation | custom-operation) /// trailing-location? -/// generic-operation ::= string-literal '(' ssa-use-list? ')' attribute-dict? -/// `:` function-type +/// generic-operation ::= string-literal `(` ssa-use-list? `)` +/// successor-list? (`(` region-list `)`)? +/// attribute-dict? `:` function-type /// custom-operation ::= bare-id custom-operation-format /// op-result-list ::= op-result (`,` op-result)* `=` /// op-result ::= ssa-id (`:` integer-literal)