<div dir="ltr"><div><div>Hello Ahmed,<br><br></div>Thanks for your explanation. While very clarifying, your response created a lot of questions in my mind.<br><br></div>I could not understand what you meant by: <br><br>"It's the operator used to "set" registers (the first operands) to<br>
given values (the last operand, usually a DAG)."<div><br></div><div>Should I be thinking in terms of basic blocks where multiple operands create a SelectionDAG and produce a result for example? Or maybe think about the union of SDNodes to form MachineInstr by pattern matching?<br></div><div><div><br></div><div>When you presented the following pattern: "[(set GR32:$dst, EFLAGS, (X86add_flag GR32:$src1, GR32:$src2))]" you made me realize that maybe I don't fully understand pattern matching. I know that pattern matching uses the SelectionDAG with SDNodes and produces a SelectionDAG of MachineInstr, but when you use registers as operands in a pattern what does it mean? I believe the first DAG, before instruction selection, is kind of register agnostic exept for the RegisterSDNode. By that logic, you only could VTs and not Registers, although they are widely used. <br><br></div><div>Regarding pattern's syntax, you can have various outputs, which number depend on the last operand being matched, but only one operand, I'm I correct? <br></div><div><br></div><div>Thanks a lot for the detailed explanation.<br><br></div><div>(Also, if you could redirect me to more information about block live-ins/-outs I would be most grateful.)<br></div><div><br></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">2016-06-07 17:37 GMT+01:00 Ahmed Bougacha <span dir="ltr"><<a href="mailto:ahmed.bougacha@gmail.com" target="_blank">ahmed.bougacha@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Mon, Jun 6, 2016 at 8:32 AM, Nemanja Ivanovic via llvm-dev<br>
<<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br>
> It is not a keyword. It is a node defined in<br>
> include/llvm/Target/TargetSelectionDAG.td. You can likely find most of the<br>
> definitions you're wondering about there.<br>
> In terms of its purpose, perhaps someone can elaborate on that a bit more,<br>
> but there is no corresponding ISD node for this and the way I look at it is<br>
> that its purpose is to help Tbl-gen infer the result type of the node (in<br>
> this case the "add" node). For example, you may have an instruction that<br>
> adds two i32's and produces an i64 and then another one that produces an i32<br>
> (I know this is kind of contrived in the case of addition, but you get the<br>
> point). The DAGs would look identical except that the set node would have a<br>
> different type.<br>
> However, I may be wrong about this.<br>
<br>
</span>To elaborate a little: "set" is for more than just type inference.<br>
<br>
It's the operator used to "set" registers (the first operands) to<br>
given values (the last operand, usually a DAG).<br>
It's a special node that doesn't map to an ISD opcode because it<br>
represents something that isn't in the SelectionDAG: instruction-level<br>
(as opposed to block live-ins/-outs) virtual registers.<br>
<br>
Another way to think about it is that, roughly, each SDValue maps to a<br>
vreg, and "set" does the association between SDValues produced by an<br>
SDNode, and vregs produced by the selected instruction.<br>
<br>
It can set multiple registers (if the last operand produces multiple<br>
values).  For instance, X86 has things like "[(set GR32:$dst, EFLAGS,<br>
(X86add_flag GR32:$src1, GR32:$src2))]"<br>
<br>
Patterns can't have a root node with a non-void return, because, how<br>
would we decide where the return value goes?<br>
So, you can basically write two kinds of patterns:<br>
- (set <register class>:$dst, <operand>)<br>
- (<void-typed operator> <operands>)<br>
<br>
"store" is really just the most common case of the second kind: since<br>
it's an operator that doesn't produce any value and has type "void",<br>
it can be used to form a root node in the pattern DAG.<br>
<br>
The third most common kind of root operator is probably void-returning<br>
intrinsics (look for "[(int_").<br>
There's also another special operator, "implicit", which is necessary<br>
because a pattern for an instruction X should define all registers<br>
that X defines, even if the definition isn't something we're matching<br>
in the SelectionDAG (that's what makes it implicit).<br>
<br>
HTH,<br>
-Ahmed<br>
<div class="HOEnZb"><div class="h5"><br>
> Of course, "store" is quite different. That is a full fledged node and has<br>
> fairly straightforward semantics - it's a store node. So for example a DAG<br>
> that looks like:<br>
> (store i64:$src, addr:$dst)<br>
> actually says store the 64-bit integer $src at address $dst.<br>
><br>
> Nemanja<br>
><br>
> On Mon, Jun 6, 2016 at 5:16 PM, Pedro Lopes <<a href="mailto:pedro.fraiao@gmail.com">pedro.fraiao@gmail.com</a>> wrote:<br>
>><br>
>> Thanks, indeed it was on the LegalizeDAG.cpp and the information proved<br>
>> very useful.<br>
>><br>
>> I also realized that the customization, promotion or expansion will occur<br>
>> whenever any operand, with the same type as the type specified on the second<br>
>> argument (MVT) of setOperationAction function, appears. (Correct me if I'm<br>
>> wrong).<br>
>><br>
>> The second doubt I have regards instruction matching.<br>
>><br>
>> When I define a pattern such as:<br>
>> [(set i32:$dst, (add (mul i32:$src1, i32:$src2), i32:$src3))]><br>
>><br>
>> What is the meaning of the word "set" or "store" which appear quite often?<br>
>> From what I can understand this pattern is only interest in an add node<br>
>> with a mul node as one operator and an immediate as the other.<br>
>> Does the "set" (keyword?) translates to an output of the add node, or just<br>
>> another node?<br>
>><br>
>> Thanks,<br>
>> Patosga<br>
>><br>
>> 2016-06-06 6:22 GMT+01:00 Nemanja Ivanovic <<a href="mailto:nemanja.i.ibm@gmail.com">nemanja.i.ibm@gmail.com</a>>:<br>
>>><br>
>>><br>
>>> Hi Patosga,<br>
>>> you can control what type the operands are promoted to as follows:<br>
>>> AddPromotedToType (ISD::ADD, MVT::i1, MVT::i64);<br>
>>><br>
>>> For the "Expand" case, I believe you'll find what you're looking for in<br>
>>> the file:<br>
>>> lib/CodeGen/SelectionDAG/LegalizeDAG.cpp<br>
>>> and function SelectionDAGLegalize::ExpandNode(), but if I'm wrong here<br>
>>> perhaps others can correct me.<br>
>>><br>
>>> Finally, MVT::f32 just states that the operand is a 32-bit single<br>
>>> precision floating point type.<br>
>>><br>
>>> Nemanja<br>
>>><br>
>>> On Sun, Jun 5, 2016 at 11:05 PM, Pedro Lopes via llvm-dev<br>
>>> <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br>
>>>><br>
>>>> Sorry, glad I'm in the right place.<br>
>>>> Before I start, I want to state that I'm a beginer and I'm trying to<br>
>>>> develop a backend by adapting an existent target to my platform.<br>
>>>><br>
>>>> My first doubt is about the SelectionDAG and the TargetLowering class.<br>
>>>> When I use, for example:<br>
>>>> setOperationAction(ISD::ADD, MVT::i1, Promote);<br>
>>>><br>
>>>> Is it correct to say that I'm promoting any operand used by the ISD::ADD<br>
>>>> node to a larger type? If so, what would that value type be?<br>
>>>><br>
>>>> If I use the same function with the expand as the third argument like<br>
>>>> below:<br>
>>>> setOperationAction(ISD::FSIN, MVT::f32, Expand);<br>
>>>> What will the expansion look like, since I don´t provide any custom<br>
>>>> implementation of the node? Also, what is the meaning of the MVT::f32 in<br>
>>>> this case?<br>
>>>><br>
>>>> Thanks,<br>
>>>> Patosga<br>
>>>><br>
>>>> 2016-06-05 19:16 GMT+01:00 Pierre Gagelin <<a href="mailto:Pierre.Gagelin@myport.ac.uk">Pierre.Gagelin@myport.ac.uk</a>>:<br>
>>>>><br>
>>>>> Hi Patosga,<br>
>>>>><br>
>>>>> You are on the right place to ask your questions and get help!<br>
>>>>><br>
>>>>> Try to be more specific with your problem. We need some details to help<br>
>>>>> you =)<br>
>>>>><br>
>>>>> Pierre<br>
>>>>><br>
>>>>> On 5 June 2016 at 18:12, via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br>
>>>>>><br>
>>>>>> Hello sir,<br>
>>>>>><br>
>>>>>> I'm having some problems understading how llvm works. I'm following a<br>
>>>>>> concrete example and visualizing the DAG and the .s output and some stuff<br>
>>>>>> doesn´t seem to match.<br>
>>>>>><br>
>>>>>> I sorry to bother you but I don´t know where I can expose my doubts<br>
>>>>>> and I wonder if you could redirect me to some discussion place where someone<br>
>>>>>> might help me.<br>
>>>>>><br>
>>>>>> Thanks,<br>
>>>>>> Patosga<br>
>>>>>><br>
>>>>>> _____________________________________<br>
>>>>>> Sent from <a href="http://llvm.1065342.n5.nabble.com" rel="noreferrer" target="_blank">http://llvm.1065342.n5.nabble.com</a><br>
>>>>>><br>
>>>>>> _______________________________________________<br>
>>>>>> LLVM Developers mailing list<br>
>>>>>> <a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a><br>
>>>>>> <a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
>>>>><br>
>>>>><br>
>>>><br>
>>>><br>
>>>><br>
>>>><br>
>>>> _______________________________________________<br>
>>>> LLVM Developers mailing list<br>
>>>> <a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a><br>
>>>> <a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
>>>><br>
>>><br>
>><br>
>><br>
>><br>
>> --<br>
>> Cumprimentos,<br>
>> José Pedro Lopes<br>
>> ------------------------------------<br>
>> Best Regards,<br>
>> José Pedro Lopes<br>
><br>
><br>
><br>
> _______________________________________________<br>
> LLVM Developers mailing list<br>
> <a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a><br>
> <a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
><br>
</div></div></blockquote></div><br><br clear="all"><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div><div>Cumprimentos,<br></div>José Pedro Lopes<br>------------------------------------<br></div>Best Regards,<br></div>José Pedro Lopes<br></div></div>
</div>