<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Jul 24, 2019 at 1:14 PM Tim Northover via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi all,<br>
<br>
On Wed, 24 Jul 2019 at 16:14, Michael Kruse via llvm-dev<br>
<<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>> wrote:<br>
> Mmmh, looks like Tim Northover is actively working on typeless/opaque<br>
> pointers, e.g. <a href="https://reviews.llvm.org/D64203" rel="noreferrer" target="_blank">https://reviews.llvm.org/D64203</a><br>
<br>
Yep, I'm spending as much time as I can on the project. I think<br>
there's not really much chance that it'll be required in this cycle<br>
(i.e. when we fork in ~Jan pointers will be distinct IMO).<br>
<br>
On intrinsics as they affect opaque pointers, I took a look earlier<br>
and didn't notice any target-independent ones that would need a<br>
separate type parameter, but a couple of target-specific ones did.<br>
Unless they were particularly anomalous and implementable by other<br>
means, intrinsics will need to develop the ability to specify an<br>
abstract "notable type" anyway.<br>
<br>
Apart from all that, I'm pretty disappointed to see this as an<br>
intrinsic though. GEP is such a fundamental part of addressing in LLVM<br>
that bifurcating it into an intrinsic for either a language or an<br>
analysis seems like we'd be papering over a language deficiency.<br></blockquote><div><br></div><div>I'm sorry if I am missing the joke, but multidimensional array support is a profound and well-known deficiency in the C and C++ languages.</div><div><br></div><div>Jeff</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Cheers.<br>
<br>
Tim.<br>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature">Jeff Hammond<br><a href="mailto:jeff.science@gmail.com" target="_blank">jeff.science@gmail.com</a><br><a href="http://jeffhammond.github.io/" target="_blank">http://jeffhammond.github.io/</a></div></div>