[llvm-dev] [RFC] A new multidimensional array indexing intrinsic

[Jeff Hammond via llvm-dev]

On Wed, Jul 24, 2019 at 1:14 PM Tim Northover via llvm-dev <
llvm-dev at lists.llvm.org> wrote:

> Hi all,
>
> On Wed, 24 Jul 2019 at 16:14, Michael Kruse via llvm-dev
> <llvm-dev at lists.llvm.org> wrote:
> > Mmmh, looks like Tim Northover is actively working on typeless/opaque
> > pointers, e.g. https://reviews.llvm.org/D64203
>
> Yep, I'm spending as much time as I can on the project. I think
> there's not really much chance that it'll be required in this cycle
> (i.e. when we fork in ~Jan pointers will be distinct IMO).
>
> On intrinsics as they affect opaque pointers, I took a look earlier
> and didn't notice any target-independent ones that would need a
> separate type parameter, but a couple of target-specific ones did.
> Unless they were particularly anomalous and implementable by other
> means, intrinsics will need to develop the ability to specify an
> abstract "notable type" anyway.
>
> Apart from all that, I'm pretty disappointed to see this as an
> intrinsic though. GEP is such a fundamental part of addressing in LLVM
> that bifurcating it into an intrinsic for either a language or an
> analysis seems like we'd be papering over a language deficiency.
>

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.

Jeff


> Cheers.
>
> Tim.
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>


-- 
Jeff Hammond
jeff.science at gmail.com
http://jeffhammond.github.io/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190724/d4a92524/attachment.html>