<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">On Jul 25, 2019, at 7:20 AM, Michael Kruse via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" class="">llvm-dev@lists.llvm.org</a>> wrote:<div><blockquote type="cite" class=""><div class=""><div class="">Am Mi., 24. Juli 2019 um 16:13 Uhr schrieb Tim Northover<br class=""><<a href="mailto:t.p.northover@gmail.com" class="">t.p.northover@gmail.com</a>>:<br class=""></div></div></blockquote>…</div><div><a href="https://github.com/bollu/llvm-multidim-array-indexing-proposal/blob/master/RFC.md" class="">Siddharth’s original RFC</a></div><div>...<br class=""><blockquote type="cite" class=""><div class=""><div class=""><blockquote type="cite" class="">Apart from all that, I'm pretty disappointed to see this as an<br class="">intrinsic though. GEP is such a fundamental part of addressing in LLVM<br class="">that bifurcating it into an intrinsic for either a language or an<br class="">analysis seems like we'd be papering over a language deficiency.<br class=""></blockquote><br class="">What is your preferred approach?<br class=""></div></div></blockquote></div><div class=""><br class=""></div><div class="">+mlir mailing list, even though I generally hate cross posting.</div><div class=""><br class=""></div>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. <a href="https://github.com/tensorflow/mlir/blob/master/g3doc/LangRef.md#load-operation" class="">load</a>, <a href="https://github.com/tensorflow/mlir/blob/master/g3doc/LangRef.md#store-operation" class="">store</a>, and <a href="https://github.com/tensorflow/mlir/blob/master/g3doc/LangRef.md#dma_start-operation" class="">DMA</a> operations). It is specifically focused on solving these sorts of problems, and is the current proposed direction for the <a href="https://github.com/flang-compiler/f18/blob/master/documentation/Investigating-FIR-as-an-MLIR-dialect.md" class="">flang compiler IR</a> (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.<div class=""><br class=""></div><div class="">-Chris</div><div class=""><br class=""></div></body></html>