<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><br><div><div>On Jun 12, 2014, at 9:41 AM, Chandler Carruth <<a href="mailto:chandlerc@google.com">chandlerc@google.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jun 12, 2014 at 5:23 PM, John Criswell <span dir="ltr"><<a href="mailto:criswell@illinois.edu" target="_blank">criswell@illinois.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class=""><div>On 6/12/14, 11:03 AM, Chandler Carruth
wrote:<br>
</div>
<blockquote type="cite">
<div dir="ltr">
<div class="gmail_extra"><br>
<div class="gmail_quote">On Thu, Jun 12, 2014 at 4:45 PM,
Hanbing Li <span dir="ltr"><<a href="mailto:hanbing.li@inria.fr" target="_blank">hanbing.li@inria.fr</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div>Hi,</div>
<div><br>
</div>
<div>I know when a pass needs other passes, it will use
something like this:
"AU.addRequired<LoopInfo>();". But this is usually
used for the analysis passes.</div>
<div>When a pass needs another transform pass, can it call
it automatically?</div>
<div>For example:</div>
<div>Some loop optimizations may need loop-simplify, I
need add -loop-simplify before calling these passes
manually, or they can call the pass -loop-simplify
automatically?</div>
</blockquote>
</div>
<br>
Currently, the pass manager allows you (somewhat) to use the
addRequired mechanism even with analyses. However, I strongly
encourage you to not leverage it as it will eventually go
away.</div>
</div>
</blockquote>
<br></div>
Just out of curiosity, why is this feature going away?</blockquote></div><br>Because it makes understanding the actual pass sequence horribly complex.</div><div class="gmail_extra"><br></div><div class="gmail_extra">
With analyses, things are simple. Whatever order you run the analyses in doesn't matter because they don't mutate anything. Each analysis can depend on other analyses and you either have a cycle (fast to detect and error on) or you have a DAG and there is a natural walk that produces the set of desired analyses.</div>
<div class="gmail_extra"><br></div><div class="gmail_extra">Now consider when these passes are *transformations*. Now, the relative order in which you run them can dramatically change the results in unpredictable ways. There is no way for multiple "required" transformation passes to be ordered cleanly without a tremendous amount of machinery. All this is what led to LoopSimplify being run 4x as many times as was necessary for a long time. =/</div>
<div class="gmail_extra"><br></div><div class="gmail_extra">Instead, everyone I've discussed this with (there have bene several email threads about this) prefers that there is a single place (the builder) which spells out the exact sequence of transforms applied.</div>
</div></blockquote><br></div><div>Yes. Thank you!</div><div><br></div><div>As for the Analysis passes, why do they need to be “passes”? I don’t think it should be required for a PassManager to schedule them. The static dependence between Analysis->Pass is often not what you want. A pass should be able to conditionally ask for an Analysis only if and when it’s needed. As a compiler matures, these conceptually stand-alone Analysis end up becoming utilities that can be invoked on-the-fly anyway. Furthermore, Analysis results can be built up incrementally as needed, and only valid within some scope.</div><div><br></div><div>An Analysis “result” just needs to be registered with the PassManager for reuse. The hard part of the problem is managing invalidation of the Analysis. I think it’s a bit crazy for example that when a pass currently invalidates an Analysis, the analysis remains valid until the pass completes and control returns to the PassManager. It would be nice to have a better framework for Analysis invalidation some day.</div><div><br></div><div>To be clear, there’s nothing wrong with having an AnalysisPass that can be explicitly scheduled. That’s useful for testing passes that only use an analysis “if available”. However, an Analysis should not need to be a pass in order to register its result with the PassManager.</div><div><br></div><div>-Andy</div><br></body></html>