<div dir="ltr">That's a transitionary step I hadn't considered - implementing typeless pointers just as "another pointer type" in the interim.<br><br>Possible, but the complication of supporting this new pointer type in the rest of the IR might make it impractical - not sure. I'll certainly keep it in mind.</div><br><div class="gmail_quote"><div dir="ltr">On Mon, Oct 3, 2016 at 7:53 AM Philip Reames <<a href="mailto:listmail@philipreames.com">listmail@philipreames.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000" class="gmail_msg">
<p class="gmail_msg">One possibility here would be to add the syntax for typeless
pointers and use them for intrinsics without using them globally
yet. Not sure how practical that is, but if it could be made to
work it would be both a nice cleanup of a bunch of intrinsic code
and a nice proof of concept for the typeless pointer work. This
would require that we allow a bitcast to/from the typeless pointer
type. <br class="gmail_msg">
</p>
<p class="gmail_msg">Philip<br class="gmail_msg">
</p></div><div bgcolor="#FFFFFF" text="#000000" class="gmail_msg">
<br class="gmail_msg">
<div class="m_-5016933769214833537moz-cite-prefix gmail_msg">On 10/03/2016 07:38 AM, David Blaikie
via llvm-commits wrote:<br class="gmail_msg">
</div>
</div><div bgcolor="#FFFFFF" text="#000000" class="gmail_msg"><blockquote type="cite" class="gmail_msg">
<div dir="ltr" class="gmail_msg">Yep, agreed on all counts - and would be happy to
find some volunteers to help out with the typeless pointer work,
but I do intend to get back around to it (probably need to do
some inventorying myself so I can point others to the right
places/direction/overall approach at the very least).<br class="gmail_msg">
<br class="gmail_msg">
- Dave</div>
<br class="gmail_msg">
<div class="gmail_quote gmail_msg">
<div dir="ltr" class="gmail_msg">On Mon, Oct 3, 2016 at 6:51 AM Rafael Espíndola
<<a href="mailto:rafael.espindola@gmail.com" class="gmail_msg" target="_blank">rafael.espindola@gmail.com</a>>
wrote:<br class="gmail_msg">
</div>
<blockquote class="gmail_quote gmail_msg" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 3 October
2016 at 06:46, Artur Pilipenko <<a href="mailto:apilipenko@azulsystems.com" class="gmail_msg" target="_blank">apilipenko@azulsystems.com</a>> wrote:<br class="gmail_msg">
> The only reason for intrinsic mangling is the way to get
a unique symbolic<br class="gmail_msg">
> name. One we have typeless pointers I expect that pointer
arguments are<br class="gmail_msg">
> mangled as ‘p’ and we won’t have any headache with
remangling. But now we<br class="gmail_msg">
> still can have two overloaded intrinsics which only
differ by pointer type:<br class="gmail_msg">
> declare @llvm.intrinsic(i8* p)<br class="gmail_msg">
> declare @llvm.intrinsic(i32* p)<br class="gmail_msg">
<br class="gmail_msg">
My thought was to allow overloading such that the above would
be legal<br class="gmail_msg">
IR, but I can see the annoyance in supporting that. Given that
the<br class="gmail_msg">
mangling becomes trivial once we have typeless pointers (and
therefore<br class="gmail_msg">
non-cyclic types), I guess there is nothing do to about it for
now.<br class="gmail_msg">
<br class="gmail_msg">
Thanks,<br class="gmail_msg">
Rafael<br class="gmail_msg">
</blockquote>
</div>
<br class="gmail_msg">
<fieldset class="m_-5016933769214833537mimeAttachmentHeader gmail_msg"></fieldset>
<br class="gmail_msg">
</blockquote></div><div bgcolor="#FFFFFF" text="#000000" class="gmail_msg"><blockquote type="cite" class="gmail_msg"><pre class="gmail_msg">_______________________________________________
llvm-commits mailing list
<a class="m_-5016933769214833537moz-txt-link-abbreviated gmail_msg" href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a>
<a class="m_-5016933769214833537moz-txt-link-freetext gmail_msg" href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a>
</pre>
</blockquote>
<br class="gmail_msg">
</div>
</blockquote></div>