This is an archive of the discontinued LLVM Phabricator instance.

Differential D122977

[MLIR] Add nested symbols into LangRef
ClosedPublic

Authored by bollu on Apr 2 2022, 7:31 AM.

Details

Reviewers
mehdi_amini
rriddle
silvas
stephenneuendorffer
kiszk
Commits
rG96039b73d8d2: [MLIR] Add nested symbols into LangRef
rGb4865dd67f05: [MLIR] Add nested symbols into LangRef
Summary

Add documentation into the LangRef for parsing nested symbols.

Diff Detail

Event Timeline

bollu created this revision.Apr 2 2022, 7:31 AM
Herald added a project: Restricted Project. · View Herald TranscriptApr 2 2022, 7:31 AM
Herald added subscribers: arjunp, sdasgup3, wenzhicui and 18 others. · View Herald Transcript
bollu requested review of this revision.Apr 2 2022, 7:31 AM
Herald added a subscriber: nicolasvasilache. · View Herald TranscriptApr 2 2022, 7:31 AM
Harbormaster completed remote builds in B157593: Diff 419982.Apr 2 2022, 7:50 AM
rriddle accepted this revision.Apr 4 2022, 12:56 AM
This revision is now accepted and ready to land.Apr 4 2022, 12:56 AM
Closed by commit rGb4865dd67f05: [MLIR] Add nested symbols into LangRef (authored by Groverkss). · Explain WhyApr 4 2022, 9:30 AM
This revision was automatically updated to reflect the committed changes.
Groverkss added a commit: rGb4865dd67f05: [MLIR] Add nested symbols into LangRef.
Groverkss added a reverting change: rGaebd3f07995e: Revert "[MLIR] Add nested symbols into LangRef".Apr 4 2022, 9:33 AM
Groverkss added a commit: rG96039b73d8d2: [MLIR] Add nested symbols into LangRef.Apr 4 2022, 9:37 AM

Revision Contents

PathSize
mlir/
docs/
2 lines

Diff 420212

mlir/docs/LangRef.md

Show First 20 Lines • Show All 197 Lines • ▼ Show 20 Lines
``` ```
// Identifiers // Identifiers
bare-id ::= (letter|[_]) (letter|digit|[_$.])* bare-id ::= (letter|[_]) (letter|digit|[_$.])*
bare-id-list ::= bare-id (`,` bare-id)* bare-id-list ::= bare-id (`,` bare-id)*
value-id ::= `%` suffix-id value-id ::= `%` suffix-id
suffix-id ::= (digit+ | ((letter|id-punct) (letter|id-punct|digit)*)) suffix-id ::= (digit+ | ((letter|id-punct) (letter|id-punct|digit)*))
symbol-ref-id ::= `@` (suffix-id | string-literal) symbol-ref-id ::= `@` (suffix-id | string-literal) (`::` symbol-ref-id)?
value-id-list ::= value-id (`,` value-id)* value-id-list ::= value-id (`,` value-id)*
// Uses of value, e.g. in an operand list to an operation. // Uses of value, e.g. in an operand list to an operation.
value-use ::= value-id value-use ::= value-id
value-use-list ::= value-use (`,` value-use)* value-use-list ::= value-use (`,` value-use)*
``` ```
Identifiers name entities such as values, types and functions, and are chosen by Identifiers name entities such as values, types and functions, and are chosen by
▲ Show 20 Lines • Show All 635 Lines • Show Last 20 Lines