<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Nov 2, 2015, at 10:44 PM, David Blaikie <<a href="mailto:dblaikie@gmail.com" class="">dblaikie@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><br class=""><div class="gmail_extra"><br class=""><div class="gmail_quote">On Mon, Nov 2, 2015 at 10:24 PM, Keno Fischer <span dir="ltr" class=""><<a href="mailto:kfischer@college.harvard.edu" target="_blank" class="">kfischer@college.harvard.edu</a>></span> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr" class="">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 class=""><br class="">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 class=""><br class="">& 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 class=""></div><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><br class=""><blockquote type="cite" class=""><div class=""><div dir="ltr" class=""><div class="gmail_extra"><div class="gmail_quote"><div class=""> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr" class=""><div class="">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 class=""></div></div></blockquote><div class=""><br class=""></div><div class="">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 class=""></div><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><br class=""><blockquote type="cite" class=""><div class=""><div dir="ltr" class=""><div class="gmail_extra"><div class="gmail_quote"><div class=""> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr" class=""><div class=""></div></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br class=""><div class="gmail_quote">On Tue, Nov 3, 2015 at 1:13 AM, David Blaikie <span dir="ltr" class=""><<a href="mailto:dblaikie@gmail.com" target="_blank" class="">dblaikie@gmail.com</a>></span> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr" class=""><br class=""><div class="gmail_extra"><br class=""><div class="gmail_quote"><span class="">On Mon, Nov 2, 2015 at 10:04 PM, Keno Fischer via llvm-commits <span dir="ltr" class=""><<a href="mailto:llvm-commits@lists.llvm.org" target="_blank" class="">llvm-commits@lists.llvm.org</a>></span> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">loladiro added a comment.<br class="">
<br class="">
Ah, interesting we skip emitting the size of a pointer in the backend. Will add the same for reference types.<br class=""></blockquote><div class=""><br class=""></div></span><div class="">Oh, interesting...</div><div class=""><br class=""></div><div class="">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 class=""> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">
<span class=""><br class="">
<br class="">
Repository:<br class="">
rL LLVM<br class="">
<br class="">
<a href="http://reviews.llvm.org/D14275" rel="noreferrer" target="_blank" class="">http://reviews.llvm.org/D14275</a><br class="">
<br class="">
<br class="">
<br class="">
</span></span><span class=""><div class=""><div class="">_______________________________________________<br class="">
llvm-commits mailing list<br class="">
<a href="mailto:llvm-commits@lists.llvm.org" target="_blank" class="">llvm-commits@lists.llvm.org</a><br class="">
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank" class="">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br class="">
</div></div></span></blockquote></div><br class=""></div></div>
</blockquote></div><br class=""></div>
</div></div></blockquote></div><br class=""></div></div>
</div></blockquote></div><br class=""></body></html>