Fix BNF nits in TableGen language reference.
authorSimon Tatham <simon.tatham@arm.com>
Mon, 23 Apr 2018 09:15:47 +0000 (09:15 +0000)
committerSimon Tatham <simon.tatham@arm.com>
Mon, 23 Apr 2018 09:15:47 +0000 (09:15 +0000)
commit047c1ab1613dbaf25fedae03b26666eb7351a057
treed8fb4c556f0ab9def1216317b2d08b3e02ecc9d8
parentd6824876c2a9123dd98b5053acff9d88d7b09abe
Fix BNF nits in TableGen language reference.

Summary:
In the course of writing an experimental ANTLR grammar based on this
document, I found three errors in the documented BNF:

SimpleValues of dag type are allowed to have no operands at all after
the initial DagArg specifying the operator. For example, the value
(outs) is extremely common in backends; an example in the test suite
is test/TableGen/AsmVariant.td line 30. But the BNF doesn't allow
DagArgList to expand to the empty string (it must contain at least one
DagArg), and therefore the DagArgList specifying the operands in the
dag-shaped production for SimpleValue should be optional.

In the production for BodyItem with a 'let' and an optional RangeList,
the RangeList should have braces around it if it's present, matching
code such as "let E{7-0} = ..." on test/TableGen/BitsInit.td line 42.
Those braces aren't included in the RangeList nonterminal itself, so
instead they need to be part of the optional segment of the BodyItem
production.

Finally, the identifier after 'defm' should be optional. Again, this
is very common in the real back end .td files; an example in the test
suite is in test/TableGen/defmclass.td line 49.

Reviewers: rengolin, nhaehnle, stoklund

Reviewed By: nhaehnle

Subscribers: llvm-commits

Differential Revision: https://reviews.llvm.org/D45818

llvm-svn: 330570
llvm/docs/TableGen/LangRef.rst