<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Sep 15, 2014 at 12:44 PM, Adam Nemet <span dir="ltr"><<a href="mailto:anemet@apple.com" target="_blank">anemet@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><br><div><div><div class="h5"><div>On Sep 13, 2014, at 11:03 AM, Adam Nemet <<a href="mailto:anemet@apple.com" target="_blank">anemet@apple.com</a>> wrote:</div><br><blockquote type="cite"><div style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><br>On Sep 13, 2014, at 4:45 AM, Sean Silva <<a href="mailto:chisophugis@gmail.com" target="_blank">chisophugis@gmail.com</a>> wrote:</div><br style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><blockquote type="cite" style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><br><br style="font-family:Helvetica;font-size:11px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><div class="gmail_quote" style="font-family:Helvetica;font-size:11px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">On Fri, Sep 12, 2014 at 4:02 PM, Adam Nemet<span> </span><span dir="ltr"><<a href="mailto:anemet@apple.com" target="_blank">anemet@apple.com</a>></span><span> </span>wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div style="word-wrap:break-word"><br><div><div><div><div>On Sep 12, 2014, at 1:34 PM, Sean Silva <<a href="mailto:chisophugis@gmail.com" target="_blank">chisophugis@gmail.com</a>> wrote:</div><br><blockquote type="cite"><br><span style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;display:inline!important">On Thu, Sep 11, 2014 at 9:57 PM, Adam Nemet<span> </span></span><span dir="ltr" style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><<a href="mailto:anemet@apple.com" target="_blank">anemet@apple.com</a>></span><span style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;display:inline!important"> </span><span style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;display:inline!important">wrote:</span><br style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><blockquote class="gmail_quote" style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div style="word-wrap:break-word"><br><div><div><div>On Sep 11, 2014, at 12:56 PM, Tom Stellard <<a href="mailto:tom@stellard.net" target="_blank">tom@stellard.net</a>> wrote:</div><br><blockquote type="cite"><div style="font-size:11px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">On Wed, Sep 10, 2014 at 05:56:57PM -0700, Adam Nemet wrote:<br><blockquote type="cite">By class-instance values I mean 'Class<Arg>' in 'Class<Arg>.Field' or in<br>'Other<Class<Arg>>' (syntactically a SimpleValue).  This is to differentiate<br>from unnamed/anonymous record definitions (syntactically an ObjectBody) which<br>are not affected by this change.<br><br>Consider the testcase:<br><br>   class Struct<int i> {<br>     int I = !shl(i, 1);<br>     int J = !shl(I, 1);<br>   }<br><br>   class Class<Struct s> {<br>       int Class_J = s.J;<br>   }<br><br>   multiclass MultiClass<int i> {<br>     def Def : Class<Struct<i>>;<br>   }<br><br>   defm Defm : MultiClass<2>;<br><br>Before this fix, DefmDef.Class_J yields !shl(I, 1) instead of 8.<br><br>This is the sequence of events.  We start with this:<br><br>   multiclass MultiClass<int i> {<br>     def Def : Class<Struct<i>>;<br>   }<br><br>During ParseDef the anonymous object for the class-instance value is created:<br><br>   multiclass Multiclass<int i> {<br>     def anonymous_0 : Struct<i>;<br><br>     def Def : Class<NAME#anonymous_0>;<br>   }<br><br>Then class Struct<i> is added to anonymous_0.  Also Class<NAME#anonymous_0> is<br>added to Def:<br><br>   multiclass Multiclass<int i> {<br>     def anonymous_0 {<br>       int I = !shl(i, 1);<br>       int J = !shl(I, 1);<br>     }<br><br>     def Def {<br>       int Class_J = NAME#anonymous_0.J;<br>     }<br>   }<br><br>So far so good but then we move on to instantiating this in the defm<br>by substituting the template arg 'i'.<br><br>This is how the anonymous prototype looks after fully instantiating.<br><br>   defm Defm = {<br>     def Defmanonymous_0 {<br>        int I = 4;<br>        int J = !shl(I, 1);<br>     }<br><br>Note that we only resolved the reference to the template arg.  The<br>non-template-arg reference in 'J' has not been resolved yet.<br><br>Then we go on to instantiating the Def prototype:<br><br>     def DefmDef {<br>        int Class_J = NAME#anonymous_0.J;<br>     }<br><br>Which is resolved to Defmanonymous_0.J and then to !shl(I, 1).<br><br>When we fully resolve each record in a defm, Defmanonymous_0.J does get set to 8<br>but that's too late for its use.<br><br>The patch adds a new attribute to the Record class that indicates that this<br>def is actually a class-instance value that may be *used* by other defs<br>in a multiclass.  (This is unlike regular defs which don't reference each<br>other and thus can be resolved independently.)  These are then fully resolved before the<br>other defs while the multiclass is instantiated.<br><br></blockquote><br>Hi Adam,<br><br>Is there any reason why your patch works on defs inside multiclasses and not all<br>defs?  I'm running into a similar problem with this example:<br><br>class A <bits<2> op> {<br> field bits<2> OP = op;<br>}<br><br>class B <bits <2> op> {<br> field A OP = A<op>;<br>}<br><br>def : B <0>;<br><br>As you can see, the value of B.OP.OP fails to resolve:<br><br>------------- Classes -----------------<br>class A<bits<2> A:op = { ?, ? }> {<br> field bits<2> OP = { A:op{1}, A:op{0} };<br> string NAME = ?;<br>}<br>class B<bits<2> B:op = { ?, ? }> {<br> field A OP = anonymous_0;<br> string NAME = ?;<br>}<br>------------- Defs -----------------<br>def anonymous_0 {       // A<br> field bits<2> OP = { B:op{1}, B:op{0} };<br> string NAME = ?;<br>}<br>def anonymous_1 {       // B<br> field A OP = anonymous_0;<br> string NAME = ?;<br>}<br><br>I'm wondering if modifying your patch to work everywhere and not just<br>in multiclasses will fix this.  Do you think this might work?<br></div></blockquote><div><br></div></div><div>Hi Tom,</div><div><br></div><div>I think conceptually you’re right, these should be handled similarly but unfortunately they are not.  In fact I am not even sure I understand how your case is supposed to be handled by the current design.</div><div><br></div><div>Multiclasses have this concept of defprototypes.  E.g. in:</div><div><br></div><div><span><div>       <span> </span>multiclass Multiclass<int i> {</div><div>         <span> </span>def anonymous_0 : Struct<i>;</div><div><br></div><div>         <span> </span>def Def : Class<NAME#anonymous_0>;</div><div>       <span> </span>}</div><div><br></div></span><div>Even though we create anonymous_0 on the fly we don’t make it a top-level def but rather a defprototype just like Def.  Defprototypes (as opposed to definitions) still depend on template args of the enclosing multiclass.  This all happens when we instantiate the multiclass at the defm.</div><div><br></div><div>Classes don’t have this intermediate concepts.  This is also pretty clear from what tablegen prints.  As you can see anonymous_0 becomes as top-level def and is detached from class B.  So there is little surprise we don’t substitute B:op upon instantiating B.</div><div><br></div><div>My immediate thought is that we may want to extend the defprototype concept to regular classes…</div><div><br></div><div>For the record, I also had another idea to mostly push the existing design.   If you used specific fields from the class instance value rather than the entire thing, we could make this work by fully resolving the class before substituting template args:</div><span><div><br></div><div>class B <bits <2> op> {</div></span><div> <span> </span>field bits<2> OP = A<op>.OP;</div><div>}</div><div><br></div><div>The last line is anonymous_0.OP and it would become { B:op{1}, B:op{0} } with the new round of reference-resolution.  So after substituting the template arg B:op, field OP resolves properly.</div><div><br></div><div>This unfortunately still breaks down if you hold on to the entire object just like in your original code and let’s say you try to use one of its fields outside.  E.g. note z.z. in:</div><div><br></div><div><div>class A <int op1> {</div><div> <span> </span>int OP1 = op1;</div><div>}</div><div><br></div><div>class B <int op2> {</div><div> <span> </span>A OP2 = A<op2>;</div><div> <span> </span>int OP3 = OP2.OP1;</div><div>}</div><div><br></div><div>def b : B <1>;</div><div><br></div><div>def z {</div><div> <span> </span>int k = b.OP3;</div><div> <span> </span>int z = b.OP2.OP1;</div><div>}</div><div><br></div><div>As expected z.z fails to resolve:</div><div><br></div><div><div>------------- Classes -----------------</div><div>class A<int A:op1 = ?> {</div><div> <span> </span>int OP1 = A:op1;</div><div> <span> </span>string NAME = ?;</div><div>}</div><div>class B<int B:op2 = ?> {</div><div> <span> </span>A OP2 = anonymous_0;</div><div> <span> </span>int OP3 = OP2.OP1;</div><span><div> <span> </span>string NAME = ?;</div><div>}</div><div>------------- Defs -----------------</div><div>def anonymous_0 {       // A</div></span><div> <span> </span>int OP1 = B:op2;</div><div> <span> </span>string NAME = ?;</div><div>}</div><div>def b { // B</div><div> <span> </span>A OP2 = anonymous_0;</div><div> <span> </span>int OP3 = 1;</div><div> <span> </span>string NAME = ?;</div><div>}</div><div>def z {</div><div> <span> </span>int k = 1;</div><div> <span> </span>int z = B:op2;</div><div> <span> </span>string NAME = ?;</div><div>}</div></div></div><div><br></div><div>I’m copying Jakob to see if he has any ideas how this is supposed to work but my current assumption is that these two cases are distinct, so the patch still stands.  That said, we may want to move classes more in the direction of multiclasses…</div></div></div></div></blockquote><div style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><br></div><div style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">Both cases fall into the general pile of "TableGen's resolution/evaluation machinery is extremely convoluted". Your original patch makes this worse; I would categorize it as a band-aid. If you really need it as a band-aid to fix an important use case, then carry on, but if that's the case then a little bit of refactoring in another part of TableGen to pay back that technical debt would be appreciated.</div></blockquote><div><br></div></div></div><div>Hi Sean,</div><div><br></div><div>Yes, this bug is blocking further cleanup and development using the new X86VTVectorInfo abstraction in AVX512 so I would prefer to get that unblocked first before moving on to other refactoring work.</div><div><br></div><div>Having been through debugging these problems, I do agree that there is room for improvement in tablegen.  I can certainly look into these as follow-on work.</div><div><br></div><div>For example I would like to get multiclasses printed as well just like we print classes.  There may be other ways to improve the debugging experience... </div><div><br></div><div>We also need a new design for how class-instance values are handled when enclosed in template classes.  I don’t think we currently have a design for that.</div><div><br></div><div>Can you please elaborate what improvements you’re proposing for multiclasses (i.e. why do you think my fix is a band-aid)?</div></div></div></blockquote><div><br></div><div>It's a band-aid in the sense of "oops, we don't handle this corner case; just add in a flag and a couple if's in random places to fix it". It's a form of technical debt.</div><div><br></div><div>There's nothing inherently wrong with this kind of thing (actually, in my experience, a measured dose of such band-aids tends to characterize production-quality software), but it becomes problematic when they pile up (and there are plenty piled up in TableGen right now), or when they are used in place of a "proper" solution that simplifies the logic to be more general, extracts commonality to a single point of truth, etc.</div><div><br></div><div>There's a decent argument that can be made that the difficulty of understanding/refactoring a piece of code increases exponentially with the number of "random flags" that couple disparate parts of the code, so I'd especially avoid adding a flag if at all possible.</div></div></blockquote><div style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><br></div><div style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">OK, that’s what I was assuming too; your yet-another-flag trigger had gone off.</div><div style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><br></div><div style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">What do you think about proceeding like this?  We keep the patch as proposed (I would appreciate a LGTM if your OK with the plan), then I file a bug on Tom’s test case with mentioning that we should probably abstract the problem with classes and multiclasses similarly and hopefully get rid of the flag I added along the way.</div></blockquote><div><br></div></div></div><div>This may not have been clear; what I meant was that besides filing the bug I will of course attempt to fix it as well.</div></div></div></blockquote><div><br></div><div>Sounds good to me. Go for it.</div><div><br></div><div>-- Sean Silva</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><span class="HOEnZb"><font color="#888888"><div><br></div><div>Adam</div></font></span><div><div class="h5"><br><blockquote type="cite"><div style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">Adam</div><div style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><br></div><blockquote type="cite" style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><div class="gmail_quote" style="font-family:Helvetica;font-size:11px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><div>-- Sean Silva</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div style="word-wrap:break-word"><div> Class-instance values get fully resolved immediately (i.e. before any of its use) when not inside multiclasses.  My change just extends this logic to multiclasses, i.e. resolve immediately as soon as the template args are known.  I guess we can differentiate class-instance values from the real defprototypes and keep them in a separate list inside MultiClass.  This would remove the need for the new flag but other than that, these concepts seem pretty sound to me.</div><div><br></div><div>Thanks,</div><div>Adam</div><span><br><blockquote type="cite"><div style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">-- Sean Silva</div><div style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"> </div><blockquote class="gmail_quote" style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div style="word-wrap:break-word"><div><div><div><br></div><div>Thanks,</div><div>Adam</div></div><span><br><blockquote type="cite"><div style="font-size:11px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">Thanks,<br>Tom<br><br><br><br><blockquote type="cite">I added vg_leak to the new test.  I am not sure if this is necessary but I<br>don't think I have a way to test it.  I can also check in without the XFAIL<br>and let the bots test this part.<br><br>Also tested that X86.td.expanded and AAarch64.td.expanded were unchange before<br>and after this change.  (This issue triggering this problem is a WIP patch.)<br><br>Part of <<a>rdar://problem/17688758</a>><br><br>Please let me know if it looks good.<br><br>Thanks,<br>Adam<br><br></blockquote><br><br><blockquote type="cite">_______________________________________________<br>llvm-commits mailing list<br><a href="mailto:llvm-commits@cs.uiuc.edu" target="_blank">llvm-commits@cs.uiuc.edu</a><br><a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits</a></blockquote></div></blockquote></span></div><br></div><br>_______________________________________________<br>llvm-commits mailing list<br><a href="mailto:llvm-commits@cs.uiuc.edu" target="_blank">llvm-commits@cs.uiuc.edu</a><br><a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits</a></blockquote></blockquote></span></div></blockquote></div></blockquote></blockquote></div></div></div><br></div></blockquote></div><br></div></div>