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

[Doerfert, Johannes via llvm-dev]

On 07/24, Tim Northover via llvm-dev wrote:
> 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.

Agreed. I included some non-intrinsic solutions in the other mail for
this reason. Personally, I would prefer a type-system extension to make
multi-dimensional "inrange" GEPs for symbolic sized arrays a natural GEP
extension. However, that solution is be the hardest to get right. If we
have enough dedicated people and no strong objections, we should give it
a try.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 228 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190725/504de17c/attachment.sig>