<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Nov 3, 2015 at 8:17 AM, Adrian Prantl <span dir="ltr"><<a href="mailto:aprantl@apple.com" target="_blank">aprantl@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><span class=""><blockquote type="cite"><div>On Nov 2, 2015, at 10:44 PM, David Blaikie <<a href="mailto:dblaikie@gmail.com" target="_blank">dblaikie@gmail.com</a>> wrote:</div><br><div><div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Nov 2, 2015 at 10:24 PM, Keno Fischer <span dir="ltr"><<a href="mailto:kfischer@college.harvard.edu" target="_blank">kfischer@college.harvard.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">I'm happy to have either representation, but I would like it to be consistent between pointers and references. One point that speaks for not having it in the debug info is that it makes the debug info dependent on the size of the pointer (when fixing up the test cases I had to add quite a number of explicit `target triple`s to fix the pointer size).</div></blockquote><div><br>More or less agree that consistency is a good idea here (the only marginal counterargument involves weird stuff about how C++ references don't necessarily have storage, etc, but it's not terribly practical/relevant when you get right down to it I don't think)<br><br>& I would tend towards removing the info, if it's not being used in DWARF emission, just to avoid confusion, but I'm open to other ideas from the usual suspects (including yourself)</div></div></div></div></div></blockquote><div><br></div></span><div>Since the size/alignment doesn’t take up any additional space in the IR, I’m leaning towards keeping them — if it allows us to write better/stricter debug info verifiers.</div></div></div></blockquote><div><br></div><div>Fair - let's go with it then. We already have the emission+suppression for pointers, so let's just do the same for references.</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=""><br><blockquote type="cite"><div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>However, is it possible that different pointer types (e.g. in different address spaces) could have different size? In that case it might be needed in either metadata or DWARF or both.<br></div></div></blockquote><div><br></div><div>Possible, though I don't think we've tried representing address-spaced variables as yet. Not 100% sure though. I know it's been mentioned.</div></div></div></div></div></blockquote><div><br></div></span><div>16-bit x86 near/far pointers would be another example, but I think differently sized address spaces are more likely to come to LLVM :-)</div><span class=""><br><blockquote type="cite"><div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div></div></div><div><div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Nov 3, 2015 at 1:13 AM, David Blaikie <span dir="ltr"><<a href="mailto:dblaikie@gmail.com" target="_blank">dblaikie@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote"><span>On Mon, Nov 2, 2015 at 10:04 PM, Keno Fischer via llvm-commits <span dir="ltr"><<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">loladiro added a comment.<br>
<br>
Ah, interesting we skip emitting the size of a pointer in the backend. Will add the same for reference types.<br></blockquote><div><br></div></span><div>Oh, interesting...</div><div><br></div><div>Suspicious why we add it to the metadata then... that seems strange. (admittedly it comes in handy for the verification you're adding - but I'm not sure how much we want to add to the metadata to facilitate that sort of thing & make the debug info less clear in its purpose by doing so)</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span>
<span><br>
<br>
Repository:<br>
rL LLVM<br>
<br>
<a href="http://reviews.llvm.org/D14275" rel="noreferrer" target="_blank">http://reviews.llvm.org/D14275</a><br>
<br>
<br>
<br>
</span></span><span><div><div>_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br>
</div></div></span></blockquote></div><br></div></div>
</blockquote></div><br></div>
</div></div></blockquote></div><br></div></div>
</div></blockquote></span></div><br></div></blockquote></div><br></div></div>