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

[Chris Lattner via llvm-dev]

On Jul 25, 2019, at 7:20 AM, Michael Kruse via llvm-dev <llvm-dev at lists.llvm.org> wrote:
> Am Mi., 24. Juli 2019 um 16:13 Uhr schrieb Tim Northover
> <t.p.northover at gmail.com>:
…
Siddharth’s original RFC <https://github.com/bollu/llvm-multidim-array-indexing-proposal/blob/master/RFC.md>
...
>> 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.
> 
> What is your preferred approach?


+mlir mailing list, even though I generally hate cross posting.

Have you been following what is happening on the MLIR side of the world?  It directly supports multi-dimensional arrays with both value and buffer semantics (e.g. load <https://github.com/tensorflow/mlir/blob/master/g3doc/LangRef.md#load-operation>, store <https://github.com/tensorflow/mlir/blob/master/g3doc/LangRef.md#store-operation>, and DMA <https://github.com/tensorflow/mlir/blob/master/g3doc/LangRef.md#dma_start-operation> operations).  It is specifically focused on solving these sorts of problems, and is the current proposed direction for the flang compiler IR <https://github.com/flang-compiler/f18/blob/master/documentation/Investigating-FIR-as-an-MLIR-dialect.md> (as well as a bunch of HPC applications that haven’t gone public yet).  Even if it isn’t directly relevant to this work, it is worth checking out to see if some of the ideas can be borrowed.

-Chris

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190728/a236bdd4/attachment.html>