[llvm-dev] [Beginner] Understanding Tablegen language

[Thomas Lively via llvm-dev]

Part of the problem is that ISel patterns are like their own DSL inside the
TableGen DSL, so keywords like "ins", "outs", and "ops" aren't keywords at
the TableGen level, but rather at the level of the ISel system implemented
with TableGen. Copying existing patterns and reading the comments in
Target.td and TargetSelectionDAG.td are the best ways I know of learning
how this works. I haven't seen a separate guide, although it would be very
cool if one existed.

Concretely, a PatFrag is essentially just a macro for patterns. In your
example, `(ops node:$in)` says that this pattern fragment takes a single
argument called $in, which can be any other dag or dag operation. The right
hand side `(xor node:$in, -1)` is what the pattern fragment expands to
wherever it is used. So if I write a pattern that includes `(not <some
stuff>)`, that will expand to `(xor <some stuff>, -1)`. "ops" here is
just a marker operation (in the tablegen language sense, not in the
instruction selection sense) to introduce the operands for the pattern
fragment. If ISel were its own DSL rather than implemented on top of
TableGen, this would probably have a more straightforward syntax (but then
we'd have another separate DSL to deal with).

On Mon, Jul 13, 2020 at 11:11 AM Rotate Right via llvm-dev <
llvm-dev at lists.llvm.org> wrote:

> Hi,
> I am new to LLVM and I find TableGen language really cryptic. The
> reference manual to the language is not helpful either. I can look at the
> existing .td file and reverse engineer but I am looking for a detailed
> manual. Specifically, I have below questions:
>
> 1. What is a basic syntax for writing a dag? From the lang ref manual I
> can see that its something like operator followed by ArgList which is
> enclosed in parentheses. Where does predicate fit in this picture? I don't
> see any mention of predicates in lang ref manual. A DAG should have an
> operator, one or more return value and a bunch of arguments. Each of them
> would have a type. I am not sure how that maps to syntax provided by
> TableGen language. In TargetSelectionDAG.td I see (vt SDNode) in definition
> of ImmLeaf. Does that mean vt is return type of SDNode?
> 2. Entity followed after "(" is always need to be an operator? or it can
> be ValueType or something else?
>
> 3. What are keywords like "ins", "outs" and "ops"? They are not mentioned
> in lang ref manual either.
>
> 4. What is a "node" keyword?
>
> 5. How are PatFrags used? I see some .td files I see, like X86InstrFMA.td,
> PatFrag MemFrag is passed as argument to multiclass and then used along
> with addr:$src3 in it. I really don't understand what this means. Does this
> mean that whatever comes after PatFrag "object" is substituted as Args in
> PatFrag? e.g. TargetSelectionDAG defines
>
> *def not  : PatFrag<(ops node:$in), (xor node:$in, -1)>; how do you
> visualize this? *
>
>
> Thanks.
> Praveen
> BTech Student, VIT.
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200713/bd06f4db/attachment.html>