<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">2017-06-07 11:06 GMT-07:00 David Blaikie <span dir="ltr"><<a href="mailto:dblaikie@gmail.com" target="_blank">dblaikie@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_quote"><span class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div>I don't think this represent my position. I mentioned earlier in the thread that we should have "llvm-dis | llvm-as" being able to round-trip bitcode, including summaries when present.<br></div></div></div></div></blockquote></span><div><br>OK, then I think there's been a lot of confusion, so maybe focussing on these comments might be more useful.<br><br>How do you envision that happening? That the summary would be written in the textual representation?</div></div></div></blockquote><div><br></div><div>Yes, I don't think anyone in the thread argued against this. The original proposal was not accounting for reading them back though. </div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_quote"><div> (or it could be reconstructed, as you mention, by having a single bit/flag/something in the textual representation that says "this has a summary" & then a summary could be generated from the Module and written out to the bitcode)<br></div></div></div></blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_quote"><div><br>That's all I'm really interested in in this discussion. That summaries seem like they should be as well represented in .ll files as they are in .bc files.<br></div></div></div></blockquote><div><br></div><div>Right.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_quote"><div><br>And if that's the case, it seems weird for them to be YAML - YAML in a .ll file would seem out of place/inconsistent with the rest of what's in a .ll file, to me. Not impossible, but a bit 'off'.<br></div></div></div></blockquote><div><br></div><div>I agree, and this was raised as a concern in the first place when the YAML format was introduced. But IIRC Peter pushed for the YAML as an intermediate easy step to get results, and advocated for punting nailing down an IR format to later.</div><div>Now the proposal in this thread is to dump summaries with llvm-dis, which I agree with, but what I raised in this thread is that we should be able to read them back. I also mentioned that we shouldn't keep *two* separate textual formats. </div><div>As a first step, having `llvm-dis | llvm-as` using the YAML format seems like a pragmatic way of getting it done. I'd be happy if anyone wants to replace the YAML format with a more "integrated way" in the textual IR format, I didn't feel like it was worth blocking getting the feature in `llvm-dis` though.<br></div><div><br></div><div>-- </div><div>Mehdi</div><div><br></div></div></div></div>