<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Sep 10, 2019 at 1:40 PM David Greene 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-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">Renato Golin via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>> writes:<br>
<br>
> But perhaps more importantly, as Hal states clearly, is the need for<br>
> an official specification, similar to the one for LLVM IR, as well as<br>
> a formal document with the expected semantics into LLVM IR. Sooner,<br>
> indeed.<br>
<br>
+1.  There are all kinds of scattered documents on the TensorFlow site<br>
talking about MLIR, the affine dialect, etc. but nothing of the quality<br>
and approachability of LLVM's language reference.  I find it difficult<br>
to pull all the pieces together.<br></blockquote><div><br></div><div>One of the main reason we haven't invested in a proper website and documentation was in anticipation of a possible integration in LLVM, so we didn't prioritize what I saw as throw-away work.</div><div>We're looking forward to have a space on <a href="http://llvm.org">llvm.org</a> for MLIR and build great online docs there!</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">
Of course by its nature, MLIR doesn't lend itself to concrete semantic<br>
descriptions, though I would expect the affine dialect (and others) to<br>
have documentation on par with the LLVM IR.</blockquote><div><br></div><div>Just last week I had to scout through the affine dialect "<a href="https://github.com/tensorflow/mlir/blob/master/g3doc/Dialects/Affine.md">LangRef</a>" for something, and I also felt that it is due for a refresh! It seemed a bit more than just BNF though, do you have example of what you would like to see expanded there?</div><div><br></div><div>And to be clear: the ambition should be that the dialects included in-tree (in MLIR/LLVM) get some level of documentation on-par with LLVM LangRef.</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">  For MLIR itself, I would<br>
want documentation somewhat less dense than the current BNF-style<br>
specification.<br>
<br>
Does the current proposal only cover adding the base MLIR to the LLVM<br>
project, or also the affine dialect and possibly others?  The affine<br>
dialect could certainly be quite useful for many projects.<br></blockquote><div><br></div><div>The current proposal includes all the content of <a href="https://github.com/tensorflow/mlir/">https://github.com/tensorflow/mlir/</a> as-is.</div><div>It does <b>not</b> include the TensorFlow specific dialects and other pieces here: <a href="https://github.com/tensorflow/tensorflow/tree/master/tensorflow/compiler/mlir/">https://github.com/tensorflow/tensorflow/tree/master/tensorflow/compiler/mlir/</a></div><div><br></div><div>Best,</div><div><br></div><div>-- </div><div>Mehdi</div></div></div></div></div>