<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Feb 8, 2013 at 12:10 AM, Barry Smith <span dir="ltr"><<a href="mailto:bsmith@mcs.anl.gov" target="_blank">bsmith@mcs.anl.gov</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">> How would they specify what they want to use? Hopefully using the options database.<br>
<br>
</div>  Of course.<br>
<div class="im">><br>
> Inlining could then be thought of as an extreme case of profile-guided optimization, in the sense that you run an instrumented instance of the code to determine which decisions have been made, then recompile (mostly just fusing the right things) and<br>

<br>
</div>  Yup.</blockquote></div><br>Did we just converge?</div><div class="gmail_extra"><br></div><div class="gmail_extra" style>I was just getting in the groove. ;-)</div></div>